Sciweavers

967 search results - page 85 / 194
» Automated benchmarking and analysis tool
Sort
View
DAC
2002
ACM
14 years 11 months ago
Hole analysis for functional coverage data
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
SAFECOMP
2009
Springer
14 years 4 months ago
Probabilistic Failure Propagation and Transformation Analysis
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
Xiaocheng Ge, Richard F. Paige, John A. McDermid
IAT
2006
IEEE
14 years 4 months ago
Semantic Grid Services for Video Analysis
Employing the power of Semantic Grid services into pervasive problem domains such as video analysis would allow for more effective distributed processing. A vast amount of ecologi...
Gayathri Nadarajan, Yun-Heh Chen-Burger, James Mal...
ISBI
2004
IEEE
14 years 11 months ago
Image Analysis of Doppler Echocardiography for Patients with Atrial Fibrillation
Image analysis tools are used for the extraction of clinical data from Doppler Echocardiography images. Currently, manual methods are subject to large inter- and intraobserver var...
Oron Shechner, Hayit Greenspan, Mickey Sheinovitz,...
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 4 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...