12131 search results - page 2102 / 2427 » Introduction to Modeling and Simulation |
153
click to vote
NCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
145
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
152
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
134
click to vote
ROBIO
2006
IEEE
15 years 10 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
148
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...