Sciweavers

5639 search results - page 273 / 1128
» Timed Abstract Non-interference
Sort
View
SEUS
2009
IEEE
15 years 10 months ago
A Single-Path Chip-Multiprocessor System
Abstract. In this paper we explore the combination of a time-predictable chipmultiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main me...
Martin Schoeberl, Peter P. Puschner, Raimund Kirne...
ICTAC
2009
Springer
15 years 10 months ago
Regular Expressions with Numerical Constraints and Automata with Counters
Abstract. Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be m...
Dag Hovland
PCM
2009
Springer
145views Multimedia» more  PCM 2009»
15 years 10 months ago
A Movement Data Analysis and Synthesis Tool for Museum Visitors' Behaviors
Abstract. Achievement of museum guide systems, in physical and virtual worlds, providing the personalization and context awareness features requires the prior analysis and identiļ¬...
Kingkarn Sookhanaphibarn, Ruck Thawonmas
138
Voted
SAMOS
2009
Springer
15 years 10 months ago
Prediction in Dynamic SDRAM Controller Policies
Abstract. Memory access latency can limit microcontroller system performance. SDRAM access control policies impact latency through SDRAM device state. It is shown that execution ti...
Ying Xu, Aabhas S. Agarwal, Brian T. Davis
HAPTICS
2008
IEEE
15 years 10 months ago
Proposal of the Stretch Detection Hypothesis of the Meissner Corpuscle
Abstract. In order to realize artificial tactile sensation, we are researching the natural nerve activity timing of mechanoreceptors. Considering the energy conversion system of t...
Shinobu Kuroki, Hiroyuki Kajimoto, Hideaki Nii, Na...