3156 search results - page 163 / 632 » An address translation simulator |
105
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
118
Voted
FDL
2011
IEEE
14 years 1 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
123
click to vote
ICCD
2008
IEEE
15 years 10 months ago
2008
IEEE
—One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that co...
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Urban simulation systems can be a powerful tool for helping to understand the complex, long-term consequences of urban planning decisions. Simulation results are summarized and re...
132
click to vote
ANSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Clusters of workstations have emerged as a costeffective solution to high performance computing problem. To take advantage of any opportunities, however, effective scheduling tech...