Sciweavers

13 search results - page 2 / 3
» Error Diagnosis for Transistor-Level Verification
Sort
View
DKE
2010
112views more  DKE 2010»
13 years 4 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
DAC
2010
ACM
13 years 8 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
MM
2005
ACM
78views Multimedia» more  MM 2005»
13 years 10 months ago
Validating cardiac echo diagnosis through video similarity
Video data is increasingly being used in medical diagnosis. Due to the quality of the video and the complexities of underlying motion captured, it is difficult for an in-experienc...
Tanveer Fathima Syeda-Mahmood, Dulce B. Ponceleon,...
GLVLSI
2008
IEEE
150views VLSI» more  GLVLSI 2008»
13 years 4 months ago
Using unsatisfiable cores to debug multiple design errors
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
André Sülflow, Görschwin Fey, Rod...
APN
2000
Springer
13 years 8 months ago
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst