4520 search results - page 234 / 904 » Algebraic Techniques for Timed Systems |
229
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
We are interested in this paper to study scheduling problems in systems where many users compete to perform their respective jobs on shared parallel resources. Each user has speci...
289
click to vote
ARTDB
1997
Springer
15 years 11 months ago
1997
Springer
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
202
click to vote
LCTRTS
2007
Springer
16 years 1 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
152
click to vote
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— We investigate channel estimation for single-carrierfrequency domain equalization (SC-FDE) system using the techniques typically used for an orthogonal frequency domain...
213
click to vote
BIRTHDAY
2010
Springer
16 years 1 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...