4520 search results - page 42 / 904 » Algebraic Techniques for Timed Systems |
135
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
125
click to vote
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...
116
click to vote
AI
2000
Springer
15 years 1 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
139
click to vote
AC
2005
Springer
15 years 1 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
FSE
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we define small scale variants of the AES. These variants inherit the design features of the AES and provide a suitable framework for comparing different cryptanaly...