693 search results - page 5 / 139 » Test of Future System-on-Chips |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
IADIS
2008
14 years 11 months ago
2008
In this paper we analyze traditional testing methods and computerized adaptive testing. Some innovative features of the Lithuanian European Computer Driving Licence testing system...
VCIP
2000
14 years 11 months ago
2000
Subjective assessment methods have been used reliably for many years to evaluate video quality. They continue to provide the most reliable assessments compared to objective method...
ECOWS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In recent years a huge amount of effort and money has been invested in the area of semantic service discovery and presented approaches have become more sophisticated and...
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...