238 search results - page 14 / 48 » Model Checking DSL-Generated C Source Code |
FASE
2004
Springer
14 years 1 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We study codes on graphs combined with an iterative message passing algorithm for quantization. Specifically, we consider the binary erasure quantization (BEQ) problem which is th...
DSN
2002
IEEE
14 years 26 days ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
EUROPAR
2010
Springer
13 years 9 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
APN
2007
Springer
14 years 2 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...