Sciweavers

2615 search results - page 21 / 523
» Analysis of Real Time Operating System Based Applications
Sort
View
113
Voted
ERSHOV
2003
Springer
15 years 7 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
PAMI
2000
260views more  PAMI 2000»
15 years 2 months ago
Robust Real-Time Periodic Motion Detection, Analysis, and Applications
We describe new techniques to detect and analyze periodic motion as seen from both a static and moving camera. By tracking objects of interest, we compute an object's self-si...
Ross Cutler, Larry S. Davis
RTAS
1999
IEEE
15 years 6 months ago
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa,...
131
Voted
EDOC
2006
IEEE
15 years 8 months ago
Scheduling Real-Time Components Using Jitter-Constrained Streams
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
Claude-Joachim Hamann, Steffen Zschaler
SNPD
2008
15 years 3 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky