1796 search results - page 169 / 360 » An Approach to Compositional Model Checking |
134
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
101
click to vote
ECBS
2004
IEEE
15 years 4 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
118
Voted
WSC
2004
15 years 1 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
117
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
118
click to vote
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...