379 search results - page 35 / 76 » The AGEDIS Tools for Model Based Testing |
140
Voted
JUCS
2007
15 years 3 months ago
2007
: Collaborative learning environments require carefully crafted designs –both technical and social. This paper presents a model describing how to design socio-technical environme...
125
Voted
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
145
Voted
HPCN
1998
Springer
15 years 8 months ago
1998
Springer
Unstructured grids can represent the complex geometry of the ocean basin with high delity. The lack of development tools supporting irregular grid problems discourages the use of ...
166
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
120
Voted
DDECS
2007
IEEE
15 years 10 months ago
2007
IEEE
- As shown by previous studies, shorts between the interconnect wires should be considered as the predominant cause of failures in CMOS circuits. Fault models and tools for targeti...