12084 search results - page 2207 / 2417 » Effect Systems with Subtyping |
134
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
150
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
Simultaneous multithreading (SMT) represents a fundamental shift in processor capability. SMT's ability to execute multiple threads simultaneously within a single CPU offers ...
145
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
One of the most challenging objectives of mobile data management is the ubiquitous, any time, anywhere access. This objective is very difficult to meet due to several network and ...
141
click to vote
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes, while the remaining nodes stay active to provide cont...
133
click to vote
ICDT
2003
ACM
15 years 9 months ago
2003
ACM
Informatics has helped launch molecular biology into the genomic era. It appears certain that informatics will remain a major contributor to molecular biology in the post-genome er...