336 search results - page 61 / 68 » Program Speedups in Theory and Practice |
106
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
109
Voted
UPP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
161
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
108
Voted
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
99
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
The fundamental goal of all good design and engineering is to create maximal value added for any given investment. There are many dimensions in which value can be assessed, from m...