4434 search results - page 124 / 887 » On the Composition of Hybrid Systems |
139
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
193
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
148
click to vote
ECIR
2006
Springer
15 years 7 months ago
2006
Springer
In-place and merge-based index maintenance are the two main competing strategies for on-line index construction in dynamic information retrieval systems based on inverted lists. Mo...
255
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— An effective method is presented for position tracking of a moving mobile terminal (MT). The method is based on time/distance difference of arrival (TDOA) estimation an...
169
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...