Sciweavers

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