908 search results - page 94 / 182 » Temporal Analysis of Time Bounded Digital Systems |
CIKM
2008
Springer
14 years 12 months ago
2008
Springer
In history and the other humanities, events and narrative sequences of events are often of primary interest. Yet while named events sometimes appear as subject headings, systems f...
NCA
2009
IEEE
15 years 4 months ago
2009
IEEE
—It has been observed in recent years that in many applications service time demands are highly variable. Without foreknowledge of exact service times of individual jobs, process...
TACAS
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
IDEAL
2004
Springer
15 years 3 months ago
2004
Springer
Many time series exhibit dynamics over vastly different time scales. The standard way to capture this behavior is to assume that the slow dynamics are a “trend”, to de-trend t...