6740 search results - page 1068 / 1348 » Using Classification as a Programming Language |
161
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
185
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
191
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Recent studies of irregular applications such as finite-element mesh generators and data-clustering codes have shown that these applications have a generalized data parallelism ar...
171
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
To make efficient use of CMPs with tens to hundreds of cores, it is often necessary to exploit fine-grain parallelism. However, managing tasks of a few thousand instructions is ...
167
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...