Search Sciweavers | Sciweavers

15840 search results - page 101 / 3168

» The Control of Synchronous Systems

166

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 »

108

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 »

129

click to vote

ISSS
1999
IEEE

94views Hardware» more ISSS 1999»

System Synthesis of Synchronous Multimedia Applications

15 years 10 months ago

Download www.cs.ucla.edu

Gang Qu, Malena R. Mesarina, Miodrag Potkonjak

claim paper

Read More »

144

click to vote

CAV
1998
Springer

106views Hardware» more CAV 1998»

Synchronous Programming of Reactive Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers