9264 search results - page 1161 / 1853 » Space Between Languages |
209
click to vote
UML
2005
Springer
16 years 28 days ago
2005
Springer
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
203
click to vote
ASPLOS
2004
ACM
16 years 27 days ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
198
click to vote
PLDI
2004
ACM
16 years 27 days ago
2004
ACM
Instruction scheduling is a compiler optimization that can improve program speed, sometimes by 10% or more—but it can also be expensive. Furthermore, time spent optimizing is mo...
211
click to vote
PLDI
2004
ACM
16 years 27 days ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
194
click to vote
AMAI
2004
Springer
16 years 26 days ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...