4520 search results - page 204 / 904 » Algebraic Techniques for Timed Systems |
210
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
135
click to vote
ISCAS
2003
IEEE
16 years 13 days ago
2003
IEEE
A new address-event coding technique for off chip communication in neuromorphic and other perceptual systems is presented. Unlike all known solutions for address-event communicati...
341
click to vote
ICDCS
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
204
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
202
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently a number of heuristic based system-level synthesis algorithms have been proposed. Though these algorithms quickly generate good solutions, how close these solutions are t...