5235 search results - page 381 / 1047 » Analysis of Multithreaded Programs |
151
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
183
click to vote
EUROMICRO
2003
IEEE
16 years 2 days ago
2003
IEEE
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...
190
click to vote
CHARME
2003
Springer
16 years 23 hour ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
179
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
176
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...