3387 search results - page 634 / 678 » Model-Checking for Real-Time Systems |
ISLPED
2005
ACM
14 years 2 months ago
2005
ACM
The rate at which a digital signal processing (DSP) system operates depends on the highest frequency component in the input signal. DSP applications must sample their inputs at a ...
SNPD
2008
13 years 10 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
ICARCV
2006
IEEE
14 years 2 months ago
2006
IEEE
– Smart camera, or an intelligent camera, is an embedded vision system which captures and processes image to extract application-specific information in real time. Smart cameras ...
JIT
2004
Springer
14 years 2 months ago
2004
Springer
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...