198 search results - page 31 / 40 » Analyzing Partially-Implemented Real-Time Systems |
BIOSURVEILLANCE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The paper presents a description of the FMD BioPortal biosurveillance system (http://fmd.ucdavis.edu/bioportal/) that is currently operating to capture, analyze, and diss...
VR
2007
IEEE
14 years 1 months ago
2007
IEEE
A novel barrier strip autostereoscopic (AS) display is demonstrated using a solid-state dynamic parallax barrier. A dynamic barrier mitigates restrictions inherent in static barri...
ICDE
2012
IEEE
11 years 10 months ago
2012
IEEE
—“Big Data” in map-reduce (M-R) clusters is often fundamentally temporal in nature, as are many analytics tasks over such data. For instance, display advertising uses Behavio...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
IFIPTCS
2000
13 years 11 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...