123 search results - page 20 / 25 » Optimizing Bounded Model Checking for Linear Hybrid Systems |
124
click to vote
TWC
2010
14 years 7 months ago
2010
Wideband source localization using acoustic sensor networks has been drawing a lot of research interest recently in wireless communication applications, such as cellular handset lo...
94
Voted
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
129
click to vote
BMCBI
2010
15 years 16 days ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
122
Voted
AUTOMATICA
2008
15 years 17 days ago
2008
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
107
Voted
CORR
2008
Springer
15 years 15 days ago
2008
Springer
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. ...