2635 search results - page 347 / 527 » Computing multihomogeneous resultants using straight-line pr... |
IEEEPACT
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
ENTCS
2007
13 years 10 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
PRDC
2006
IEEE
14 years 4 months ago
2006
IEEE
Vulnerabilities such as buffer overflows exist in some programs, and such vulnerabilities are susceptible to address injection attacks. The input data tracking method, which was ...
SPAA
2010
ACM
14 years 3 months ago
2010
ACM
We explore the potential of hardware transactional memory (HTM) to improve concurrent algorithms. We illustrate a number of use cases in which HTM enables significantly simpler c...
VRML
1999
ACM
14 years 2 months ago
1999
ACM
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...