1262 search results - page 115 / 253 » Techniques for obtaining high performance in Java programs |
119
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Tracing garbage collectors traverse references from live program variables, transitively tracing out the closure of live objects. Memory accesses incurred during tracing are essen...
126
Voted
OOPSLA
2010
Springer
15 years 15 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
115
Voted
CEFP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
157
Voted
IWMM
2011
Springer
14 years 5 months ago
2011
Springer
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
123
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Classically, the inverse kinematics is performed by computing the singular value decomposition of the matrix to invert. This enables a very simple writing of the algorithm. How...