109 search results - page 2 / 22 » Heuristics for Hierarchical Partitioning with Application to... |
ENTCS
2007
13 years 6 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
DSN
2000
IEEE
13 years 10 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
DAC
1999
ACM
14 years 7 months ago
1999
ACM
We illustrate how technical contributions in the VLSI CAD partitioning literature can fail to provide one or more of: (i) reproducible results and descriptions, (ii) an enabling a...
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...