Sciweavers

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