290 search results - page 48 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
AMC
2005
13 years 10 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
DAC
2006
ACM
14 years 22 days ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
BIOINFORMATICS
2007
13 years 10 months ago
2007
Motivation: Clustering technique is used to find groups of genes that show similar expression patterns under multiple experimental conditions. Nonetheless, the results obtained by...