1404 search results - page 190 / 281 » Increasing Concurrency in Databases Using Program Analysis |
128
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
106
Voted
IPPS
1995
IEEE
15 years 5 months ago
1995
IEEE
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6 . In previous work we have introduced an algorithm calle...
113
click to vote
LCPC
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6]. In previous work we have introduced an algorithm calle...
127
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
120
click to vote
SIGMOD
1997
ACM
15 years 6 months ago
1997
ACM
: The read-mostly environment of data warehousing makes it possible to use more complex indexes to speed up queries than in situations where concurrent updatesare present. The curr...