4767 search results - page 904 / 954 » Moving between Contexts |
PLSA
1994
15 years 3 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
121
click to vote
TACS
1994
Springer
15 years 3 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
104
click to vote
CLUSTER
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
138
click to vote
DIALM
2007
ACM
15 years 3 months ago
2007
ACM
Sketches--data structures for probabilistic, duplicate insensitive counting--are central building blocks of a number of recently proposed network protocols, for example in the con...
108
click to vote
DIALM
2007
ACM
15 years 3 months ago
2007
ACM
In the near future, mobile devices are expected to have a storage capacity comparable to today's desktop machines. As the amount of infomation grows, conventional search tool...