Sciweavers

767 search results - page 36 / 154
» Model-Based Development of Distributed Embedded Real-Time Sy...
Sort
View
140
Voted
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 4 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
125
Voted
ICANN
2005
Springer
15 years 6 months ago
A Hardware/Software Framework for Real-Time Spiking Systems
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
Matthias Oster, Adrian M. Whatley, Shih-Chii Liu, ...
CSREAESA
2010
14 years 10 months ago
An Approach for Efficient Real Time Moving Object Detection
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
Arnab Roy, Sanket Shinde, Kyoung-Don Kang
ECRTS
2006
IEEE
15 years 6 months ago
Real-Time Memory Management: Life and Times
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
Andrew Borg, Andy J. Wellings, Christopher D. Gill...
JSW
2007
98views more  JSW 2007»
15 years 11 days ago
Real Time Simulation of Medical Diagnosis with Confidence Levels on Distributed Knowledge Nodes
—Telemedicine has been researched to provide better care to people in the remote area via Internet. Enhancing the Telemedicine over Internet can be applied to multiple health-car...
Narongrit Waraporn