1271 search results - page 54 / 255 » On Simulation-Checking with Sequential Systems |
INFORMATICALT
1998
13 years 9 months ago
1998
Abstract. More real systems have many components and their simulation requires significant execution times. The practical needs have conducted to distributed simulation rather tha...
DCC
2007
IEEE
14 years 9 months ago
2007
IEEE
We develop a simulated annealing technique to jointly optimize a distributed quantization structure meant to maximize the asymptotic error exponent of a downstream classifier or d...
ESAW
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we present the latest version of our dialogue games based agent communication language (DIAGAL) which allows the agents to manipulate the public layer of social comm...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
The paper presents a method to integrate parallelism in the DIPLIB sequential image processing library. The library contains several framework functions for di erent types of opera...
LCTRTS
2004
Springer
14 years 3 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...