2520 search results - page 185 / 504 » Model-checking behavioral programs |
142
click to vote
TOOLS
1997
IEEE
15 years 10 months ago
1997
IEEE
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
170
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
Domestic and real world robotics requires continuous learning of new skills and behaviors to interact with humans. Auto-supervised learning, a compromise between supervised and co...
177
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Here we present a first study of search spaces and fitness landscapes in the context of the evolution of quantum programs. We consider small instances of the Deutsch-Jozsa proble...
162
Voted
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
152
click to vote
PPSC
2001
15 years 7 months ago
2001
As the gap between processor and memory performance widens, careful analyses and optimizations of cache memory behavior become increasingly important. While analysis of regular lo...