2482 search results - page 279 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
126
click to vote
ISQED
2005
IEEE
15 years 8 months ago
2005
IEEE
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
100
Voted
PACT
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...
123
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
127
Voted
AAAI
2000
15 years 4 months ago
2000
As applications for artificially intelligent agents increase in complexity we can no longer rely on clever heuristics and hand-tuned behaviors to develop their programming. Even t...
114
click to vote
IJHPCA
2006
15 years 2 months ago
2006
Leasing computational resources for on-demand computing is now a viable option for providers of network services. Temporary spikes or lulls in demand for a service can be accommod...