Sciweavers

262 search results - page 4 / 53
» Real-time interfaces for composing real-time systems
Sort
View
ICCS
2007
Springer
15 years 3 months ago
Towards Real-Time Distributed Signal Modeling for Brain-Machine Interfaces
New architectures for Brain-Machine Interface communication and control use mixture models for expanding rehabilitation capabilities of disabled patients. Here we present and test ...
Jack DiGiovanna, Loris Marchal, Prapaporn Rattanat...
FM
2009
Springer
146views Formal Methods» more  FM 2009»
14 years 7 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
IPPS
1998
IEEE
15 years 1 months ago
Performance Analysis of Parallel Embedded Real Time Systems Based on Measurement and Visualization
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
Javier García, Jose Luis Díaz de Arr...
HICSS
1998
IEEE
159views Biometrics» more  HICSS 1998»
15 years 1 months ago
MPI/RT - An Emerging Standard for High-Performance Real-Time Systems
The last several years saw an emergence of standardization activities for real-time systems including standardization of operating systems series of POSIX standards 1 , of communi...
Arkady Kanevsky, Anthony Skjellum, Anna Rounbehler
ICMCS
1999
IEEE
155views Multimedia» more  ICMCS 1999»
15 years 1 months ago
Real-Time Composition of Stereo Images for Video See-Through Augmented Reality
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...
Masayuki Kanbara, Takashi Okuma, Haruo Takemura, N...