1559 search results - page 190 / 312 » The Semantics of Future and Its Use in Program Optimizations |
183
click to vote
ECOOP
2007
Springer
16 years 7 days ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
157
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Arrays are the ubiquitous organization for indexed data. Throughout programming language evolution, implementations have laid out arrays contiguously in memory. This layout is pro...
158
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
193
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Modern database management systems (DBMS) answer a multitude of complex queries on increasingly larger datasets. Given the complexities of the queries and the numerous ...
180
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...