2255 search results - page 156 / 451 » High Assurance Software Systems |
187
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
Database storage managers have long been able to efficiently handle multiple concurrent requests. Until recently, however, a computer contained only a few single-core CPUs, and th...
145
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
A firm energy market for Colombia is presented. Firm energy—the ability to provide energy in a dry period—is the product needed for reliability in Colombia’s hydrodominated ...
200
click to vote
IJHPCA
2011
15 years 1 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
176
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
In today’s data centers, precisely controlling server power consumption is an essential way to avoid system failures caused by power capacity overload or overheating due to incr...
173
click to vote
FAC
2006
15 years 6 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...