17680 search results - page 585 / 3536 » Simulation of Computer Systems and Applications |
193
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
198
click to vote
VECPAR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Matter in the universe mainly consists of plasma. The dynamics of plasmas is controlled by magnetic fields. To simulate the evolution of magnetised plasma, we solve the e...
204
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We present the results of gravitational direct N-body simulations using the commercial graphics processing units (GPU) NVIDIA Quadro FX1400 and GeForce 8800GTX, and compare the re...
236
click to vote
CODES
2010
IEEE
15 years 5 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
175
click to vote
CGF
1999
15 years 6 months ago
1999
Researchers in non-photorealistic rendering have investigated the display of three-dimensional worlds using various display models. In particular, recent work has focused on the m...