Yazar

Claude Jard

20 cilt bulundu.

Cilt sonuçları

CiltBDL, a Language of Distributed Reactive ObjectsJean-Pierre Talpin, Hubert Canon, Zakariae Bouziane, Albert Benveniste, Benoît Caillaud, Claude Jard

BDL, a Language of Distributed Reactive Objects

Jean-Pierre Talpin, Hubert Canon, Zakariae Bouziane, Albert Benveniste, Benoît Caillaud, Claude Jard · Yayınevi bilinmiyor

37 sayfa · 1998

Kategori yok

CiltDependency Tracking and Filtering in Distributed ComputationsClaude Jard, Guy-Vincent Jourdan

Dependency Tracking and Filtering in Distributed Computations

Claude Jard, Guy-Vincent Jourdan · Yayınevi bilinmiyor

15 sayfa · 1994

Kategori yok

CiltEvent Structure Semantics of OrcSidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar, Claude Jard

Event Structure Semantics of Orc

Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar, Claude Jard · Yayınevi bilinmiyor

32 sayfa · 2007

Kategori yok

CiltComputing On-line the Lattice of Maximal Antichains of PosetsGuy-Vincent Jourdan, Claude Jard, Jean-Xavier Rampon

Computing On-line the Lattice of Maximal Antichains of Posets

Guy-Vincent Jourdan, Claude Jard, Jean-Xavier Rampon · Yayınevi bilinmiyor

21 sayfa · 1994

Kategori yok

CiltAn Effective Equivalence for Sets of Scenarios Represented by HMSCsLoic Héloue͏̈t, Benoît Caillaud, Claude Jard

An Effective Equivalence for Sets of Scenarios Represented by HMSCs

Loic Héloue͏̈t, Benoît Caillaud, Claude Jard · Yayınevi bilinmiyor

Sayfa sayısı yok · 1998

Kategori yok

Computer network protocolsOn-the-fly Verification of Finite Transition SystemsInstitut National de Recherche en Informatique et en Automatique, Claude Jard, Thierry Jéron, Laurent Mounier, J.-C. Fernandez

On-the-fly Verification of Finite Transition Systems

Institut National de Recherche en Informatique et en Automatique, Claude Jard, Thierry Jéron, Laurent Mounier, J.-C. Fernandez · Yayınevi bilinmiyor

26 sayfa · 1993

Computer network protocols

Utilities (Computer programs)Compiling Temporal Logic Specifications Into ObserversOmar Drissi-Kaitouni, Claude Jard

Compiling Temporal Logic Specifications Into Observers

Omar Drissi-Kaitouni, Claude Jard · Yayınevi bilinmiyor

19 sayfa · 1988

Utilities (Computer programs)

Logic programmingOn-line Model-checking for Finite Linear Temporal Logic SpecificationsClaude Jard, Thierry Jeron

On-line Model-checking for Finite Linear Temporal Logic Specifications

Claude Jard, Thierry Jeron · Yayınevi bilinmiyor

14 sayfa · 1989

Logic programming

Distributed parameter systemsInterval Approximations of Message Causality in Distributed Execution. Observation D'executions Reparties Datation Par IntervallesInstitut National de Recherche en Informatique et en Automatique, Claire Diehl, Claude Jard

Interval Approximations of Message Causality in Distributed Execution. Observation D'executions Reparties Datation Par Intervalles

Institut National de Recherche en Informatique et en Automatique, Claire Diehl, Claude Jard · Yayınevi bilinmiyor

41 sayfa · 1991

Distributed parameter systems

Computer programsBounded-memory Algorithms for Verification On-the-flyClaude Jard, Thierry Jéron

Bounded-memory Algorithms for Verification On-the-fly

Claude Jard, Thierry Jéron · Yayınevi bilinmiyor

14 sayfa · 1991

Computer programs

Electronic data processingDeriving Trace Checkers for Distributed SystemsClaude Jard, Omar Drissi-Kaitouni

Deriving Trace Checkers for Distributed Systems

Claude Jard, Omar Drissi-Kaitouni · Yayınevi bilinmiyor

17 sayfa · 1987

Electronic data processing

EngineeringCommunicating Embedded SystemsClaude Jard, Olivier Roux

Communicating Embedded Systems

Claude Jard, Olivier Roux · Yayınevi bilinmiyor

288 sayfa · 2009

Engineering

CiltSome "one-line" Computations of the Ideal of PosetsGuy-Vincent Jourdan, Jean-Xavier Rampon

Some "one-line" Computations of the Ideal of Posets

Guy-Vincent Jourdan, Jean-Xavier Rampon · Yayınevi bilinmiyor

20 sayfa · 1993

Kategori yok

CiltA General Approach to Trace-checking in Distributed Computing SystemsClaude Jard, Jean-Xavier Rampon, Guy-Vincent Jourdan, Thierry Jéron

A General Approach to Trace-checking in Distributed Computing Systems

Claude Jard, Jean-Xavier Rampon, Guy-Vincent Jourdan, Thierry Jéron · Yayınevi bilinmiyor

17 sayfa · 1994

Kategori yok

CiltAn Approach to Integarte Formal Validation in an OO Life-cycle of ProtocolsJean-Marc Jézéquel, Laurence Nédelka

An Approach to Integarte Formal Validation in an OO Life-cycle of Protocols

Jean-Marc Jézéquel, Laurence Nédelka · Yayınevi bilinmiyor

23 sayfa · 1996

Kategori yok

CiltSome "one-line" Computations of the Ideal Lattice of PosetsClaude Jard, Jean-Xavier Rampon, Guy-Vincent Jourdan

Some "one-line" Computations of the Ideal Lattice of Posets

Claude Jard, Jean-Xavier Rampon, Guy-Vincent Jourdan · Yayınevi bilinmiyor

20 sayfa · 1993

Kategori yok

Debugging in computer scienceComputing On-line the Covering Graph of the Ideal Lattice of PosetsInstitut National de Recherche en Informatique et en Automatique, Claire Diehl, Claude Jard, Jean-Xavier Rampon

Computing On-line the Covering Graph of the Ideal Lattice of Posets

Institut National de Recherche en Informatique et en Automatique, Claire Diehl, Claude Jard, Jean-Xavier Rampon · Yayınevi bilinmiyor

28 sayfa · 1993

Debugging in computer science

CiltReachability Analysis on Distributed ExecutionsClaire Diehl, Institut national de recherche en informatique et en automatique (France), Claude Jard, Jean-Xavier Rampon

Reachability Analysis on Distributed Executions

Claire Diehl, Institut national de recherche en informatique et en automatique (France), Claude Jard, Jean-Xavier Rampon · Yayınevi bilinmiyor

17 sayfa · 1992

Kategori yok

AlgorithmsDevelopment of Véda, a Prototyping Tool for Distributed AlgorithmsClaude Jard, Jean-François Monin, Roland Groz

Development of Véda, a Prototyping Tool for Distributed Algorithms

Claude Jard, Jean-François Monin, Roland Groz · Yayınevi bilinmiyor

41 sayfa · 1987

Algorithms

CiltOn the Use of Unfoldings to Abstract Communicating Automata Into Sets of ScenariosThomas Chatain, Loïc Hélouët, Claude Jard

On the Use of Unfoldings to Abstract Communicating Automata Into Sets of Scenarios

Thomas Chatain, Loïc Hélouët, Claude Jard · Yayınevi bilinmiyor

23 sayfa · 2005

Kategori yok