Sciweavers

742 search results - page 9 / 149
» Set-based Concurrent Engineering
Sort
View
ICSE
1992
IEEE-ACM
15 years 5 months ago
Seeking Concurrency in Rule-Based Programming
Gruia-Catalin Roman, Rose F. Gamble, William E. Ba...
ICSE
2012
IEEE-ACM
13 years 4 months 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
ICSE
2009
IEEE-ACM
16 years 2 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
88
Voted
KBSE
2005
IEEE
15 years 7 months ago
Application of design for verification with concurrency controllers to air traffic control software
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...