955 search results - page 124 / 191 » A System for Solving Constraint Satisfaction Problems with S... |
CDC
2009
IEEE
14 years 28 days ago
2009
IEEE
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
CDC
2009
IEEE
14 years 28 days ago
2009
IEEE
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
ESORICS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The design and implementation of security threat mitigation mechanisms in RFID systems, specially in low-cost RFID tags, are gaining great attention in both industry and ...
RTCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...