Sciweavers

544 search results - page 7 / 109
» Testing concurrent programs using value schedules
Sort
View
CONCURRENCY
2004
108views more  CONCURRENCY 2004»
14 years 9 months ago
Finding stale-value errors in concurrent programs
Concurrent programs can suffer from many types of errors, not just the wellstudied problems of deadlocks and simple race conditions on variables. This paper addresses a kind of ra...
Michael Burrows, K. Rustan M. Leino
97
Voted
PPOPP
2010
ACM
15 years 7 months ago
GAMBIT: effective unit testing for concurrency libraries
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
Katherine E. Coons, Sebastian Burckhardt, Madanlal...
79
Voted
ICPP
1994
IEEE
15 years 1 months ago
A New Approach to Scheduling Parallel Programs Using Task Duplication
1 In this paper, we explore the problem of scheduling parallel programs using task duplication for messagepassing multicomputers. Task duplication means scheduling a parallel progr...
Ishfaq Ahmad, Yu-Kwong Kwok
IPPS
2007
IEEE
15 years 4 months ago
Period-Dependent Initial Values for Exact Schedulability Test of Rate Monotonic Systems
Real-time systems using Rate Monotonic fixed priority scheduling can be checked for schedulability either by pessimistic schedulability conditions or exact testing. Exact testing ...
Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan ...
ECOOP
2004
Springer
15 years 3 months ago
Increasing Concurrency in Databases Using Program Analysis
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
Roman Vitenberg, Kristian Kvilekval, Ambuj K. Sing...