932 search results - page 41 / 187 » Analysis and Optimization of CHR Programs |
107
Voted
IPPS
2007
IEEE
15 years 6 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...
106
click to vote
POS
1998
Springer
15 years 4 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 ...
101
click to vote
CORR
2010
Springer
15 years 20 days 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...
109
Voted
ESOP
2001
Springer
15 years 5 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...
129
Voted
ICS
1997
Tsinghua U.
15 years 4 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 ...