Sciweavers

115
Voted
ICPADS
2010
IEEE
14 years 11 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
14 years 11 months ago
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska