Sciweavers

742 search results - page 9 / 149
» Set-based Concurrent Engineering
Sort
View
ICSE
1992
IEEE-ACM
15 years 1 months ago
Seeking Concurrency in Rule-Based Programming
Gruia-Catalin Roman, Rose F. Gamble, William E. Ba...
ICSE
2012
IEEE-ACM
13 years 10 hour ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
82
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
Refactoring sequential Java code for concurrency via concurrent libraries
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...
Danny Dig, John Marrero, Michael D. Ernst