1008 search results - page 150 / 202 » Canonicity! |
119
click to vote
ISQED
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
113
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
124
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Dynamic voltage scaling (DVS) algorithms save energy by scaling down the processor frequency when the processor is not fully loaded. Many algorithms have been proposed for periodi...
133
Voted
ECOOP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
128
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Visual Servoing has been a viable method of robot manipulator control for more than a decade. Image-Based Visual Servoing (IBVS), in particular, has seen considerable development ...