2637 search results - page 213 / 528 » Tool Supported Specification and Simulation of Distributed S... |
113
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
190
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
191
click to vote
USS
2004
15 years 7 months ago
2004
Today's Internet intrusion detection systems (IDSes) monitor edge networks' DMZs to identify and/or filter malicious flows. While an IDS helps protect the hosts on its l...
248
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
162
click to vote
ICCAD
2009
IEEE
15 years 3 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...