8190 search results - page 57 / 1638 » From Timed to Hybrid Systems |
ISCAS
2005
IEEE
14 years 1 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...
CAV
2004
Springer
14 years 1 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...
KDD
2004
ACM
14 years 1 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...
SRDS
2006
IEEE
14 years 1 months ago
2006
IEEE
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
BMCBI
2005
13 years 7 months ago
2005
Background: Periodic phenomena are widespread in biology. The problem of finding periodicity in biological time series can be viewed as a multiple hypothesis testing of the spectr...