1404 search results - page 122 / 281 » Increasing Concurrency in Databases Using Program Analysis |
84
Voted
ICSE
2003
IEEE-ACM
16 years 24 days 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 ...
101
click to vote
SBACPAD
2008
IEEE
15 years 7 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...
113
Voted
CCGRID
2010
IEEE
14 years 10 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...
100
Voted
ICRA
2002
IEEE
15 years 5 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...
211
Voted
SIGMOD
2007
ACM
16 years 26 days 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 ...