613 search results - page 80 / 123 » Observability of Linear Hybrid Systems |
106
click to vote
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
163
click to vote
PDP
2011
IEEE
14 years 3 months ago
2011
IEEE
—Energy-efficiency is becoming one of the most critical issues in embedded system design. In Network-on-Chip (NoC) based heterogeneous Multiprocessor Systems, the energy consump...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— In cellular systems a large reuse distance reduces cochannel interference while a small reuse distance increases bandwidth allocated to each cell. The optimal reuse dis...
107
click to vote
DSD
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
101
click to vote
AUTOMATICA
2005
14 years 11 months ago
2005
In this paper we present a new method of interval fuzzy model identification. The method combines a fuzzy identification methodology with some ideas from linear programming theory...