980 search results - page 74 / 196 » Logical Testing |
GLVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
ERCIMDL
2007
Springer
14 years 1 months ago
2007
Springer
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
GVD
2004
13 years 9 months ago
2004
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
WISES
2003
13 years 9 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...