1157 search results - page 143 / 232 » Descriptive Complexity and Model Checking |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
CPHYSICS
2004
13 years 9 months ago
2004
The various aspects of plasma-edge physics are included in a comprehensive suite of codes having applications from industrial plasmas to fusion devices. Here the basic ideas, stat...
CSREASAM
2006
13 years 11 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
PDSE
1998
13 years 11 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...