Sciweavers

891 search results - page 154 / 179
» Implementation, Compilation, Optimization of Object-Oriented...
Sort
View
SIGSOFT
2004
ACM
14 years 2 months ago
Verifying aspect advice modularly
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
Shriram Krishnamurthi, Kathi Fisler, Michael Green...
LCPC
2005
Springer
14 years 2 months ago
Scalable Array SSA and Array Data Flow Analysis
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more eļ¬ƒcient data ļ¬‚o...
Silvius Rus, Guobin He, Lawrence Rauchwerger
IFIP
2004
Springer
14 years 2 months ago
Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...
Paola Flocchini, Antonio Mesa Enriques, Linda Pagl...
GECCO
2009
Springer
156views Optimization» more  GECCO 2009»
14 years 3 months ago
Characterizing the genetic programming environment for fifth (GPE5) on a high performance computing cluster
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
Kenneth Holladay
ACMMSP
2005
ACM
101views Hardware» more  ACMMSP 2005»
14 years 2 months ago
Transparent pointer compression for linked data structures
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the eļ¬€ective cache capacity and m...
Chris Lattner, Vikram S. Adve