Sciweavers

707 search results - page 81 / 142
» Some Comments on the Coding of Programs
Sort
View
94
Voted
EUROPAR
2005
Springer
15 years 6 months ago
Performance Modeling: Understanding the Past and Predicting the Future
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
David H. Bailey, Allan Snavely
72
Voted
EUROPAR
2004
Springer
15 years 6 months ago
Link-Time Optimization of IA64 Binaries
Abstract. The features of the IA64 architecture create new opportunities for link-time optimization. At the same time they complicate the design of a link-time optimizer. This pape...
Bertrand Anckaert, Frederik Vandeputte, Bruno De B...
102
Voted
AMC
2006
89views more  AMC 2006»
15 years 21 days ago
A functional computation model for the duality of two-variable Lambda-Boolean functions
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...
Tolga Güyer, Seref Mirasyedioglu
103
Voted
EMSOFT
2008
Springer
15 years 2 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
CC
2007
Springer
15 years 6 months ago
A Declarative Framework for Analysis and Optimization
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
Henry Falconer, Paul H. J. Kelly, David M. Ingram,...