Sciweavers

1534 search results - page 37 / 307
» Error Reporting Logic
Sort
View
TSE
2010
161views more  TSE 2010»
14 years 8 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
DEXA
2010
Springer
180views Database» more  DEXA 2010»
14 years 11 months ago
Approximate Instance Retrieval on Ontologies
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzl...
ISCAS
2006
IEEE
148views Hardware» more  ISCAS 2006»
15 years 4 months ago
DF-DICE: a scalable solution for soft error tolerant circuit design
—The Delay Filtered Dual Interlocked storage Cell (DF-DICE) offers a scalable solution in different radiation environments for soft error mitigation. The area and speed performan...
Riaz Naseer, Jeff Draper
DFT
2003
IEEE
246views VLSI» more  DFT 2003»
15 years 3 months ago
Low Cost Convolutional Code Based Concurrent Error Detection in FSMs
We discuss the use of convolutional codes to perform concurrent error detection (CED) in finite state machines (FSMs). We examine a previously proposed methodology, we identify i...
Konstantinos Rokas, Yiorgos Makris, Dimitris Gizop...
DATE
2002
IEEE
79views Hardware» more  DATE 2002»
15 years 2 months ago
Incremental Diagnosis and Correction of Multiple Faults and Errors
An incremental simulation-based approach to fault diagnosis and logic debugging is presented. During each iteration of the algorithm, a single suspicious location is identified a...
Andreas G. Veneris, Jiang Brandon Liu, Mandana Ami...