Sciweavers

ICPADS
2010
IEEE
13 years 2 months ago
Fault Tolerant Network Routing through Software Overlays for Intelligent Power Grids
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...
Christopher Zimmer, Frank Mueller
ICPADS
2010
IEEE
13 years 2 months ago
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska