1404 search results - page 46 / 281 » Increasing Concurrency in Databases Using Program Analysis |
140
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
102
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
109
click to vote
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
104
click to vote
ICPADS
1996
IEEE
15 years 4 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
81
Voted
BMCBI
2008
15 years 18 days ago
2008
Background: Slow-fast analysis is a simple and effective method to reduce the influence of substitution saturation, one of the causes of phylogenetic noise and long branch attract...