Search Sciweavers | Sciweavers

4604 search results - page 151 / 921

» Concurrency in Synchronous Systems

163

click to vote

TIME
2003
IEEE

81views Automated Reasoning» more TIME 2003»

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

15 years 11 months ago

Download www.csc.liv.ac.uk

Clare Dixon, Cláudia Nalon, Michael Fisher

claim paper

Read More »

125

click to vote

SAFECOMP
2001
Springer

89views Security Privacy» more SAFECOMP 2001»

About the Design of Distributed Control Systems: The Quasi-Synchronous Approach

15 years 10 months ago

Download www-verimag.imag.fr

Paul Caspi, Christine Mazuet, Natacha Reynaud Pali...

claim paper

Read More »

104

click to vote

SPAA
1999
ACM

100views Distributed And Parallel Com...» more SPAA 1999»

BOS is Boss: A Case for Bulk-Synchronous Object Systems

15 years 10 months ago

Download www.cs.cmu.edu

Mark W. Goudreau, Kevin Lang, Girija J. Narlikar, ...

claim paper

Read More »

108

click to vote

ICCAD
1999
IEEE

54views Hardware» more ICCAD 1999»

Synchronous equivalence for embedded systems: a tool for design exploration

15 years 10 months ago

Download bwrc.eecs.berkeley.edu

Harry Hsieh, Felice Balarin

claim paper

Read More »

128

click to vote

ISSS
1999
IEEE

94views Hardware» more ISSS 1999»

System Synthesis of Synchronous Multimedia Applications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers