1404 search results - page 122 / 281 » Increasing Concurrency in Databases Using Program Analysis |
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
115
click to vote
SBACPAD
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
125
click to vote
CCGRID
2010
IEEE
14 years 11 months ago
2010
IEEE
Due to the strong increase of processing units available to the end user, expressing parallelism of an algorithm is a major challenge for many researchers. Parallel applications ar...
113
click to vote
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
234
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
Distributed Hash Tables (DHTs) provide a scalable solution for data sharing in P2P systems. To ensure high data availability, DHTs typically rely on data replication, yet without ...