2911 search results - page 502 / 583 » A Logic of Graph Constraints |
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
102
Voted
DFT
2003
IEEE
15 years 5 months ago
2003
IEEE
Test scheduling and Test Access Mechanism (TAM) design are two important tasks in the development of a System-on-Chip (SOC) test solution. Previous test scheduling techniques assu...
89
Voted
ISCA
2003
IEEE
15 years 5 months ago
2003
IEEE
As quantum computing moves closer to reality the need for basic architectural studies becomes more pressing. Quantum wires, which transport quantum data, will be a fundamental com...
127
click to vote
AI
2003
Springer
15 years 5 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...