6960 search results - page 1018 / 1392 » Continuity Analysis of Programs |
160
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
139
click to vote
LICS
1991
IEEE
15 years 8 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
144
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Extracting high-performance from the emerging Chip Multiprocessors (CMPs) requires that the application be divided into multiple threads. Each thread executes on a separate core t...
161
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...
132
click to vote
NSDI
2010
15 years 6 months ago
2010
: Making cloud services responsive is critical to providing a compelling user experience. Many largescale sites, including LinkedIn, Digg and Facebook, address this need by deployi...