459 search results - page 57 / 92 » Specification and Analysis of Real-Time Systems Using Real-T... |
TCS
2002
14 years 9 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
An intrusion detection system (IDS) detects illegal manipulations of computer systems. In intrusion detection systems, feature reduction, including feature extraction and feature ...
68
Voted
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
109
click to vote
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
The depth perception in the objects of a scene can be useful for tracking or applying visual servoing in mobile systems. 3D time-of-flight (ToF) cameras provide range images which ...