Sciweavers

2477 search results - page 328 / 496
» First-Order Interactive Programming
Sort
View
73
Voted
CGO
2009
IEEE
15 years 5 months ago
OptiScope: Performance Accountability for Optimizing Compilers
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
Tipp Moseley, Dirk Grunwald, Ramesh Peri
101
Voted
SC
2009
ACM
15 years 5 months ago
Scalable computing with parallel tasks
Recent and future parallel clusters and supercomputers use SMPs and multi-core processors as basic nodes, providing a huge amount of parallel resources. These systems often have h...
Jörg Dümmler, Thomas Rauber, Gudula R&uu...
88
Voted
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
15 years 5 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
ICAS
2009
IEEE
142views Robotics» more  ICAS 2009»
15 years 5 months ago
Semantic Approach to Dynamic Coordination in Autonomous Systems
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
Artem Katasonov, Vagan Y. Terziyan
91
Voted
CPAIOR
2009
Springer
15 years 4 months ago
Learning How to Propagate Using Random Probing
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
Efstathios Stamatatos, Kostas Stergiou