4305 search results - page 245 / 861 » The Test of Time |
153
click to vote
FSKD
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...
150
click to vote
CAINE
2004
15 years 8 months ago
2004
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
167
click to vote
ECOOP
1997
Springer
15 years 10 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
174
click to vote
ISMVL
2000
IEEE
15 years 11 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
164
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
Low power design techniques have been employed for more than two decades, however an emerging problem is satisfying the test power constraints for avoiding destructive test and im...