16725 search results - page 3055 / 3345 » Engineering Software Correctness |
129
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
118
click to vote
ISCA
2005
IEEE
15 years 10 months ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...
163
click to vote
SP
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
162
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
We introduce a technique to visualize the gradual evolutionary change of the shapes of living things as a morph between known three-dimensional shapes. Given geometric computer mo...
129
Voted
STORAGESS
2005
ACM
15 years 10 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...