1356 search results - page 262 / 272 » The ideal of verified software |
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...
104
Voted
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
102
click to vote
SACMAT
2005
ACM
15 years 5 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
SI3D
2005
ACM
15 years 5 months ago
2005
ACM
It is difficult to obtain a specific region within unsegmented volume data (region of interest, ROI). The user must first segment the volume, a task which itself involves signi...
STORAGESS
2005
ACM
15 years 5 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...