5109 search results - page 764 / 1022 » On Learning Limiting Programs |
174
Voted
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
137
click to vote
CD
2004
Springer
15 years 10 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
130
click to vote
ISCA
2010
IEEE
15 years 10 months ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...
138
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
150
click to vote
IWMM
2010
Springer
15 years 9 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...