8492 search results - page 270 / 1699 » Modelling and Design of Multi-Agent Systems |
147
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
141
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
162
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
128
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
142
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...