722 search results - page 57 / 145 » The State Operator in Real Time Process Algebra |
111
click to vote
PVLDB
2008
14 years 10 months ago
2008
Ad-hoc data processing has proven to be a critical paradigm for Internet companies processing large volumes of unstructured data. However, the emergence of cloud-based computing, ...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
A new method for instantaneous phase tracking of oscillatory signals in a narrow band frequency range is proposed. Empirical mode decomposition (EMD), as an adaptive and data-driv...
ICALP
1992
Springer
15 years 3 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
LISA
2007
15 years 2 months ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
100
click to vote
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...