Sciweavers

7827 search results - page 43 / 1566
» time 2007
Sort
View
ATVA
2007
Springer
98views Hardware» more  ATVA 2007»
15 years 9 months ago
Model Checking Bounded Prioritized Time Petri Nets
Bernard Berthomieu, Florent Peres, François...
VMV
2007
158views Visualization» more  VMV 2007»
15 years 6 months ago
Image-Space GPU Metaballs for Time-Dependent Particle Data Sets
Christoph Müller, Sebastian Grottel, Thomas E...