Sciweavers

717 search results - page 9 / 144
» Concurrent Engineering
Sort
View
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...
66
Voted
ICSE
2009
IEEE-ACM
15 years 6 months ago
Deconstructing concurrency heisenbugs
Thomas Ball, Sebastian Burckhardt, Jonathan de Hal...
124
Voted
CSSE
2008
IEEE
15 years 8 months ago
The Relation of Version Control to Concurrent Programming
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
Annette Bieniusa, Peter Thiemann, Stefan Wehr
SIGSOFT
2003
ACM
16 years 2 months ago
Context-sensitive slicing of concurrent programs
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
Jens Krinke