Sciweavers

2811 search results - page 157 / 563
» Real-Time Component-Based Systems
Sort
View
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 9 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
153
Voted
JTRES
2009
ACM
15 years 8 months ago
Real time Java on resource-constrained platforms with Fiji VM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
Filip Pizlo, Lukasz Ziarek, Jan Vitek
AUSAI
2004
Springer
15 years 7 months ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham
CMMR
2003
Springer
94views Music» more  CMMR 2003»
15 years 7 months ago
Real-Time Beat Estimation Using Feature Extraction
This paper presents a novel method for the estimation of beat interval from audio files. As a first step, a feature extracted from the waveform is used to identify note onsets. T...
Kristoffer Jensen, Tue Haste Andersen
MICCAI
2001
Springer
15 years 6 months ago
Real-Time Visual Tracking of the Surgeon's Face for Laparoscopic Surgery
We have developed an image-based human-machine interface that tracks the surgeon’s face robustly in real-time(30Hz) and does not require to use any body-contacted sensing devices...
Atsushi Nishikawa, Toshinori Hosoi, Kengo Koara, D...