2470 search results - page 22 / 494 » Liveness-Preserving Simulation Relations |
WSC
1998
13 years 11 months ago
1998
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...
WSC
2007
14 years 12 days 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...
SIGGRAPH
1987
ACM
14 years 1 months ago
1987
ACM
The aggregate motion of a flock of birds, a herd of land animals, or a school of fish is a beautiful and familiar part of the natural world. But this type of complex motion is rar...
WSC
1996
13 years 11 months ago
1996
Construction operations are often repetitive not only in terms of time (the same tasks are performed over and over) but also in terms of space (the same tasks are repeated at seve...
MASCOTS
2007
13 years 11 months ago
2007
—Modern micro-architecture simulators are many orders of magnitude slower than the hardware they simulate. The use of multiprocessor architectures for supporting future mobile an...