2231 search results - page 265 / 447 » Alternation as a programming paradigm |
188
click to vote
ASPLOS
1998
ACM
15 years 11 months ago
1998
ACM
Optimizations aimed at reducing the impact of memory operations on execution speed have long concentrated on improving cache performance. These efforts achieve a reasonable level...
217
click to vote
FPCA
1995
15 years 10 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
150
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...
198
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
Increasing demand for performance and efficiency has driven the computer industry toward multicore systems. These systems have become the industry standard in almost all segments...
235
click to vote
IWAN
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...