4814 search results - page 872 / 963 » Combining abstract interpreters |
IV
2000
IEEE
14 years 2 months ago
2000
IEEE
“addiction” is defined as a pattern (abstract relationship). Such definition allows us to look in a new way at a number of cultural issues including the values, the lifestyl...
ECAL
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. This paper is concerned with arti cial evolution of neurocontrollers with adaptive synapses for autonomous mobile robots. The method consists of encoding on the genotype ...
EUROCRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. With computer networks spreading into a variety of new environments, the need to authenticate and secure communication grows. Many of these new environments have particul...
ASPDAC
2008
ACM
14 years 1 days ago
2008
ACM
Abstract-- Increasing delay and power variation are significant challenges to the designers as technology scales to the deep sub-micron (DSM) regime. Traditional module selection t...
CAV
2008
Springer
14 years 1 days ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...