29172 search results - page 252 / 5835 » Modeling Systems in CLP |
198
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
195
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
176
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
The concept of a SOC platform architecture introduces the concept of a communication infrastructure. In the transaction-level a finite set of architecture components (memories, ar...
144
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
187
click to vote
ISQED
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract— As the semiconductor technology continues its marching toward the deep sub-micron domain, the strong relation between leakage current and temperature becomes critical i...