Sciweavers

275 search results - page 3 / 55
» Using Randomized Caches in Probabilistic Real-Time Systems
Sort
View
ISORC
2007
IEEE
13 years 11 months ago
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
Raimund Kirner, Peter P. Puschner
ECRTS
2008
IEEE
13 years 11 months ago
Cache-Aware Real-Time Scheduling on Multicore Platforms: Heuristics and a Case Study
Multicore architectures, which have multiple processing units on a single chip, have been adopted by most chip manufacturers. Most such chips contain on-chip caches that are share...
John M. Calandrino, James H. Anderson
CAV
2012
Springer
251views Hardware» more  CAV 2012»
11 years 7 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
ISORC
2003
IEEE
13 years 10 months ago
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
Anders Wall, Johan Andersson, Christer Norströ...
ICCV
2007
IEEE
13 years 11 months ago
Real-Time Automatic Kinematic Model Building for Optical Motion Capture Using a Markov Random Field
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...
Stjepan Rajko, Gang Qian