3775 search results - page 711 / 755 » The Expression Problem Revisited |
119
click to vote
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
119
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
149
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
114
click to vote
IMC
2006
ACM
15 years 6 months ago
2006
ACM
A number of previous measurement studies [10, 12, 17] have shown the existence of path exploration and slow convergence in the global Internet routing system, and a number of prot...
106
Voted
ISLPED
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...