Sciweavers

438 search results - page 74 / 88
» Defending Critical Infrastructure
Sort
View
92
Voted
MICCAI
2006
Springer
16 years 1 months ago
Performance Evaluation of Grid-Enabled Registration Algorithms Using Bronze-Standards
Evaluating registration algorithms is difficult due to the lack of gold standard in most clinical procedures. The bronze standard is a real-data based statistical method providing ...
Tristan Glatard, Xavier Pennec, Johan Montagnat
SIGSOFT
2005
ACM
16 years 1 months ago
ASTEC: a new approach to refactoring C
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
Bill McCloskey, Eric A. Brewer
158
Voted
HPCA
2002
IEEE
16 years 24 days ago
Using Complete Machine Simulation for Software Power Estimation: The SoftWatt Approach
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
Sudhanva Gurumurthi, Anand Sivasubramaniam, Mary J...
184
Voted
POPL
2008
ACM
16 years 22 days ago
Engineering formal metatheory
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
Arthur Charguéraud, Benjamin C. Pierce, Bri...
110
Voted
MOBISYS
2008
ACM
16 years 18 hour ago
Micro power management of active 802.11 interfaces
Wireless interfaces are major power consumers on mobile systems. Considerable research has improved the energy efficiency of elongated idle periods or created more elongated idle ...
Jiayang Liu, Lin Zhong