7766 search results - page 75 / 1554 » Testing Nondeterminate Systems |
AICT
2006
IEEE
14 years 3 months ago
2006
IEEE
Computer aided tests replace traditional written answers on paper sheets with electronic records. For subjective tests, computers are not able to do all grading jobs, due to limit...
ISSTA
2010
ACM
14 years 29 days ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
ct This paper describes a general technique to test external memory/caches and memory interconnects using on-chip logic. Such a test methodology is expected to significantly reduc...
SOSP
2007
ACM
13 years 11 months ago
2007
ACM
ARCS
2004
Springer
14 years 2 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...