1404 search results - page 23 / 281 » Increasing Concurrency in Databases Using Program Analysis |
113
click to vote
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
107
click to vote
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
119
Voted
RIDE
1998
IEEE
15 years 4 months ago
1998
IEEE
The Enhanced Pay-Per-View (EPPV) model for providing continuous-media services associates with each continuous-media clip a display frequency that depends on the clip's popula...
87
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
107
Voted
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...