173 search results - page 13 / 35 » Model Checking Communicative Agent-Based Systems |
IPL
2010
13 years 6 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
IAT
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
MEMOCODE
2003
IEEE
14 years 1 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
EUROCAST
2007
Springer
14 years 10 days ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...