3053 search results - page 225 / 611 » Performance of Generative Programming Based Protocol Impleme... |
80
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
106
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
CONCURRENCY
2007
15 years 15 days ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
120
Voted
WOA
2010
14 years 10 months ago
2010
Wireless Sensor Networks (WSNs) are currently emerging as one of the most disruptive technologies enabling and supporting next generation ubiquitous and pervasive computing scenari...
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...