3909 search results - page 214 / 782 » Extreme Model Checking |
111
click to vote
GLVLSI
2003
IEEE
15 years 8 months ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
130
click to vote
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
121
click to vote
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
134
click to vote
MTV
2003
IEEE
15 years 8 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
137
click to vote
SAINT
2002
IEEE
15 years 8 months ago
2002
IEEE
The Simple Mail Transfer Protocol (SMTP) based E-mail system is the most popular application in today’s Internet world, but there are many dark clouds at the edge of the sunshin...