46 search results - page 7 / 10 » A Prototype of a Concurrent Behavior Monitoring Tool for Tes... |
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
PLDI
2010
ACM
14 years 17 days ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
ERLANG
2004
ACM
14 years 27 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
ICCD
2006
IEEE
14 years 1 months ago
2006
IEEE
Microfluidics-based biochips offer exciting possibilities for highthroughput sequencing, parallel immunoassays, blood chemistry for clinical diagnostics, DNA sequencing, and envir...