7557 search results - page 262 / 1512 » Modeling Timed Concurrent Systems |
152
click to vote
ECRTS
2005
IEEE
16 years 6 days ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
209
click to vote
TDSC
2011
15 years 1 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
267
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
244
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
191
click to vote
TASLP
2008
15 years 6 months ago
2008
In this paper, we introduce cross-multiplicative transfer function (CMTF) approximation for modeling linear systems in the short-time Fourier transform (STFT) domain. We assume tha...