181 search results - page 13 / 37 » It's About Time: Real-Time Logics Reviewed |
RTCSA
2008
IEEE
15 years 3 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
APCCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper proposes a new region extraction algorithm based on cellular automaton operation, which only utilizes the region boundary information of the image. A simple pixel circu...
RECSYS
2010
ACM
14 years 9 months ago
2010
ACM
The so-called real-time web (RTW) is a web of opinions, comments, and personal viewpoints, often expressed in the form of short, 140-character text messages providing abbreviated ...
75
Voted
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...