Sciweavers

5246 search results - page 167 / 1050
» Sanitization models and their limitations
Sort
View
CONCUR
2005
Springer
15 years 5 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt
CGI
2004
IEEE
15 years 3 months ago
Efficient Hardware Voxelization
This paper presentes a novel algorithm for the voxelization of surface models of arbitrary topology. Our algorithm uses the depth and stencil buffers, available in most commercial...
Georgios Passalis, Ioannis A. Kakadiaris, Theohari...
WSC
2007
15 years 2 months ago
Non-linear control variates for regenerative steady-state simulation
We assume the existence of a parameterized family of control variates that could be used in a regenerative steady-state simulation. We show how such controls can be generated in t...
Sujin Kim, Shane G. Henderson
WSC
2007
15 years 2 months ago
An efficient algorithm in the HLA time management
The HLA time management is an important factor that limits the scalability of distributed simulations. An efficient algorithm of Greatest Available Logical Time (GALT) is thus muc...
Buquan Liu, Yiping Yao, Huaimin Wang
WSC
2008
15 years 2 months ago
Generic simulation for rail-road container terminals
Hinterland terminals enable the transshipment of containers between various modes of transport and play a significant role in intermodal freight transportation. In this paper we p...
Thouraya Benna, Manfred Gronalt