Sciweavers

967 search results - page 85 / 194
» Automated benchmarking and analysis tool
Sort
View
118
Voted
DAC
2002
ACM
16 years 4 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
118
Voted
SAFECOMP
2009
Springer
15 years 10 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
116
Voted
IAT
2006
IEEE
15 years 9 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...
115
Voted
ISBI
2004
IEEE
16 years 4 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,...
148
Voted
BPM
2007
Springer
201views Business» more  BPM 2007»
15 years 9 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...