878 search results - page 121 / 176 » Learning to Control in Operational Space |
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
ICFP
1998
ACM
15 years 4 months ago
1998
ACM
If the continuations in functional data-structure-generating programs are made explicit and represented as records, they can be recycled." Once they have served their purpose...
IPPS
1993
IEEE
15 years 4 months ago
1993
IEEE
The performance of threads is limited primarily by the overhead of two kinds of switching: vertical switching (user/kernel domain switching) and horizontal switching (context swit...
DBSEC
2000
15 years 1 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...