162 search results - page 12 / 33 » Diagnosis Strategies for Hardware or Software Systems |
CCS
2004
ACM
14 years 2 months ago
2004
ACM
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the effectiveness of repeated applic...
DKE
2002
13 years 8 months ago
2002
In most companies two factors play a crucial role: managing the knowledge that is necessary for doing business and managing the hardware and software infrastructure that supports ...
AC
2005
Springer
13 years 8 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
platform and a suite of abstract components with which new developments in different application domains can be engineered with minimal effort [1]p.16. Generic platforms, or refere...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...