Search Sciweavers | Sciweavers

15840 search results - page 101 / 3168

» The Control of Synchronous Systems

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

14 years 3 months ago

Download www.csc.liv.ac.uk

Clare Dixon, Cláudia Nalon, Michael Fisher

claim paper

Read More »

click to vote

SPAA
1999
ACM

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

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

14 years 2 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

click to vote

ICCAD
1999
IEEE

54views Hardware» more ICCAD 1999»

Synchronous equivalence for embedded systems: a tool for design exploration

14 years 2 months ago

Download bwrc.eecs.berkeley.edu

Harry Hsieh, Felice Balarin

claim paper

Read More »

click to vote

ISSS
1999
IEEE

94views Hardware» more ISSS 1999»

System Synthesis of Synchronous Multimedia Applications

14 years 2 months ago

Download www.cs.ucla.edu

Gang Qu, Malena R. Mesarina, Miodrag Potkonjak

claim paper

Read More »

click to vote

CAV
1998
Springer

106views Hardware» more CAV 1998»

Synchronous Programming of Reactive Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers