8094 search results - page 1499 / 1619 » Improvements in Formula Generalization |
143
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
117
click to vote
CF
2007
ACM
15 years 4 months ago
2007
ACM
This paper presents a novel architectural technique to hide fetch latency overhead of hardware encrypted and authenticated memory. A number of recent secure processor designs have...
130
click to vote
CF
2007
ACM
15 years 4 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
114
Voted
AFRIGRAPH
2009
ACM
15 years 4 months ago
2009
ACM
The generation of accurate Line of Sight (LOS) visibility information consumes significant resources in large scale synthetic environments such as many-on-many serious games and b...
110
Voted
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...