4107 search results - page 401 / 822 » The Generalized Lambda Test |
177
Voted
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Real-time scheduling theory has developed powerful tools for translating conditions on aggregate system utilization into per-task schedulability guarantees. The main breakthrough ...
174
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider the problem of distributed estimation of the poses of N cameras in a camera sensor network using image measurements only. The relative rotation and translation (up ...
171
Voted
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
188
click to vote
EH
2000
IEEE
15 years 11 months ago
2000
IEEE
Evolvable Hardware (EHW) has been proposed as a new technique to design complex systems. Often, complex systems turn out to be very difficult to evolve. The problem is that a gen...
170
click to vote
CP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...