1204 search results - page 149 / 241 » Termination of Polynomial Programs |
118
Voted
PPDP
2005
Springer
15 years 6 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...
103
click to vote
ECOOP
2006
Springer
15 years 4 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...
100
click to vote
EUROPAR
2006
Springer
15 years 4 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...
91
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
CONCURRENCY
2008
15 years 23 days ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...