336 search results - page 61 / 68 » Program Speedups in Theory and Practice |
PPDP
2004
Springer
14 years 22 days 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...
UPP
2004
Springer
14 years 22 days 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...
HICSS
2003
IEEE
14 years 21 days 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...
EUROSYS
2007
ACM
13 years 11 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...
ICSE
2000
IEEE-ACM
13 years 11 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...