AC
2005
Springer
13 years 11 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
AC
2005
Springer
13 years 11 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...
AC
2005
Springer
13 years 11 months ago
2005
Springer
AC
2005
Springer
13 years 11 months ago
2005
Springer
AC
2005
Springer
13 years 11 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...