5707 search results - page 134 / 1142 » Symbolic Simulation - Techniques and Applications |
180
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
146
click to vote
IMSCCS
2006
IEEE
16 years 16 days ago
2006
IEEE
The computer architecture of Single-chip multiprocessor (SCMP) is one of important research topics in developing the next-generation of computer hardware. A verification environme...
202
click to vote
DSRT
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper, we report on a series of experiments involving the speedups obtainable with time-parallel simulation of wireless ad hoc networks. A mobile ad hoc network scenario i...
146
click to vote
WSC
2007
15 years 8 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
181
click to vote
WSC
2007
15 years 8 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...