1404 search results - page 138 / 281 » Increasing Concurrency in Databases Using Program Analysis |
112
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
102
click to vote
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
123
Voted
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
130
click to vote
PPOPP
2011
ACM
14 years 3 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...