3221 search results - page 256 / 645 » Termination of Linear Programs |
164
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
164
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
189
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
163
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
172
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...