Sciweavers

309 search results - page 4 / 62
» A quantitative approach to functional debugging
Sort
View
ISCAS
2003
IEEE
129views Hardware» more  ISCAS 2003»
14 years 19 days ago
SONICmole: a debugging environment for the UltraSONIC reconfigurable computer
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...
Theerayod Wiangtong, Chun Te Ewe, Peter Y. K. Cheu...
ASPDAC
1998
ACM
105views Hardware» more  ASPDAC 1998»
13 years 11 months ago
Techniques for Functional Test Pattern Execution
Functional debugging often dominates the time and cost of the ASIC system development, mainly due to the limited controllability and observability of the storage elements in desig...
Inki Hong, Miodrag Potkonjak
CORR
2010
Springer
79views Education» more  CORR 2010»
13 years 7 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
ISBI
2002
IEEE
14 years 8 months ago
Quantitative 3D CT bronchography
In the framework of computer-aided diagnosis, this paper proposes a novel functionality for computerized tomography (CT)based investigation of pulmonary airways. It provides a spe...
Catalin I. Fetita, Françoise J. Prête...
ISMB
2000
13 years 8 months ago
Towards a Systematics for Protein Subcellular Location: Quantitative Description of Protein Localization Patterns and Automated
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
Robert F. Murphy, Michael V. Boland, Meel Velliste