Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Titre (en) » - entrée « sequential »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
sequent < sequential < sequentiality  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
000861 (2010) Pontus Boström [Finlande]Creating Sequential Programs from Event-B Models
000B19 (2009) Stéphane Le RouxAcyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
001564 (2005) Olivier Bournez ; Felipe Cucker ; Paulin Jacobe De Naurois ; Jean-Yves MarionImplicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time
001A08 (2003) W. Reisig [États-Unis]On Gurevich's theorem on sequential algorithms
001A76 (2003) Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France]Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
001E94 (2001) Elias Dahlhaus [Allemagne] ; Jens Gustedt [France] ; Ross M. McconnellEfficient and Practical Algorithms for Sequential Modular Decomposition
002287 (1999) Julio Mari O [Espagne] ; Juan José Moreno-Navarro [Espagne]Using Static Analysis to Compile Non-sequential Functional Logic Programs?
002C95 (1994) Philippe De Groote [France]On the relation between the λ μ -calculus and the syntactic theory of sequential control
003944 (1981) P. Lecouffe [France]Sauge: How to use the parallelism of sequential programs
003995 (1980) Patrick Cousot [France] ; Radhia Cousot [Italie]Semantic analysis of communicating sequential processes

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "sequential" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "sequential" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    sequential
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022