3616 search results - page 545 / 724 » Conditional Memory Ordering |
171
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
139
click to vote
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Wireless sensor networks are increasingly being used for continuous monitoring of patients with chronic health conditions such as diabetes and heart problems. As biomedical sens...
199
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Compressive Sensing Microarrays (CSM) are DNAbased sensors that operate using group testing and compressive sensing (CS) principles. In contrast to conventional DNA micr...
179
click to vote
CISS
2008
IEEE
16 years 29 days ago
2008
IEEE
— We propose an implementable new universal lossy source coding algorithm. The new algorithm utilizes two wellknown tools from statistical physics and computer science: Gibbs sam...
149
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
Comparator-based switched capacitor (CBSC) circuits present an alternative approach to designing sampled data systems based on the principle of detecting a virtual ground conditio...