Sciweavers

19 search results - page 1 / 4

» fmcad 2006

11

FMCAD
2006
Springer

67views Formal Methods» more FMCAD 2006»

Assume-Guarantee Reasoning for Deadlock

13 years 8 months ago

Assume-Guarantee Reasoning for Deadlock

Download www.sei.cmu.edu

Sagar Chaki, Nishant Sinha

claim paper

Read More »

12

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

13 years 8 months ago

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

9

FMCAD
2006
Springer

144views Formal Methods» more FMCAD 2006»

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip

13 years 8 months ago

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip

Download www-verimag.imag.fr

Claude Helmstetter, Florence Maraninchi, Laurent M...

claim paper

Read More »

10

FMCAD
2006
Springer

77views Formal Methods» more FMCAD 2006»

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

13 years 8 months ago

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

Download www.cs.utah.edu

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Chi...

claim paper

Read More »

13

FMCAD
2006
Springer

89views Formal Methods» more FMCAD 2006»

Synchronous Elastic Networks

13 years 8 months ago

Synchronous Elastic Networks

Download www.lsi.upc.edu

We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...

Sava Krstic, Jordi Cortadella, Michael Kishinevsky...

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »