14360 search results - page 472 / 2872 » Time Modeling in MARTE |
166
click to vote
WSC
2008
15 years 7 months ago
2008
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
143
click to vote
TKDE
2010
15 years 3 months ago
2010
—Accurate and timely detection of infectious disease outbreaks provides valuable information which can enable public health officials to respond to major public health threats in...
162
Voted
KDD
1998
ACM
15 years 9 months ago
1998
ACM
We consider the problem of nding rules relating patterns in a time series to other patterns in that series, or patterns in one series to patterns in another series. A simple examp...
143
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
138
Voted
DAC
2010
ACM
15 years 9 months ago
2010
ACM
As the geometry shrinking faces severe limitations, 3D wafer stacking with through silicon via (TSV) has gained interest for future SOC integration. Since TSV fill material and s...