752 search results - page 127 / 151 » A Markov Chain Model Checker |
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
The widening gap between CPU and memory speed has made caches an integral feature of modern highperformance processors. The high degree of configurability of cache memory can requ...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper describes a method of probabilistic obstacle map building based on Bayesian estimation. Most active or passive obstacle sensors observe only the most frontal objects...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— Performance comparison of multiuser OFDM-TDMA and OFDMA systems by considering physical and link cross-layer behavior is conducted in this work. We provide a new framework for ...
ICMI
2003
Springer
14 years 1 months ago
2003
Springer
This paper presents a low-cost and practical approach to achieve basic input using a tactile cube-shaped object, augmented with a set of sensors, processor, batteries and wireless...