6800 search results - page 242 / 1360 » Testing with Functions as Specifications |
149
click to vote
VLSID
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
139
click to vote
FLAIRS
2010
15 years 7 months ago
2010
In this paper, we propose the application of standard decomposition approaches to find local correlations in multimodal data. In a test scenario, we apply these methods to correla...
128
click to vote
ICAD
2004
15 years 6 months ago
2004
Sonifications must be studied in order to match listener expectancies about data representation in the form of sound. In this study, a system was designed and implemented for dyna...
173
click to vote
CPHYSICS
2006
15 years 5 months ago
2006
State-of-the-art molecular dynamics (MD) simulations generate massive datasets involving billion-vertex chemical bond networks, which makes data mining based on graph algorithms s...
146
click to vote
OMER
2001
15 years 6 months ago
2001
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...