1466 search results - page 125 / 294 » Completeness of the Authentication Tests |
ASPDAC
2007
ACM
14 years 3 days ago
2007
ACM
Abstract-- A complementary ferroelectriccapacitor (CFC) logic-circuit style is proposed for a compact and standby-power-free content-addressable memory (CAM). Since the use of the ...
CAISE
2006
Springer
13 years 12 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...
ACSC
2005
IEEE
13 years 10 months ago
2005
IEEE
Gradiance On-Line Accelerated Learning GOAL is a system for creating and automatically grading homeworks, programming laboratories, and tests. Through the concept of root questi...
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...