932 search results - page 41 / 187 » Analysis and Optimization of CHR Programs |
124
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
With the increasing gap between processor speed and memory latency, the performance of data-dominated programs are becoming more reliant on fast data access, which can be improved...
118
click to vote
POS
1998
Springer
15 years 6 months ago
1998
Springer
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
115
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Existing value function approximation methods have been successfully used in many applications, but they often lack useful a priori error bounds. We propose a new approximate bili...
123
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
143
click to vote
ICS
1997
Tsinghua U.
15 years 6 months ago
1997
Tsinghua U.
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...