4520 search results - page 323 / 904 » Algebraic Techniques for Timed Systems |
189
Voted
ASAP
2010
IEEE
15 years 9 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
189
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
With the continued scaling of CMOS technologies and reduced design margins, the reliability concerns induced by transient faults have become prominent. Moreover, the popular energ...
179
click to vote
IUI
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...
213
click to vote
JMLR
2006
15 years 7 months ago
2006
Parallel software for solving the quadratic program arising in training support vector machines for classification problems is introduced. The software implements an iterative dec...
205
Voted
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...