7209 search results - page 652 / 1442 » Software Engineering for Multi-Agent Systems |
163
click to vote
ISSTA
1998
ACM
15 years 9 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
179
click to vote
CODES
1996
IEEE
15 years 9 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
122
click to vote
TACS
1997
Springer
15 years 9 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
158
click to vote
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
155
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
This corresponds to the material in the invited keynote presentation by H. J. Siegel, summarizing the research in [2, 23]. Resource allocation decisions in heterogeneous parallel a...