Sciweavers

2419 search results - page 51 / 484
» A Simple DOCSIS Simulator
Sort
View
QEST
2009
IEEE
14 years 4 months ago
Simulation-Based CTMC Model Checking: An Empirical Evaluation
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
Joost-Pieter Katoen, Ivan S. Zapreev
PCI
2005
Springer
14 years 3 months ago
TSIC: Thermal Scheduling Simulator for Chip Multiprocessors
Abstract. Increased power density, hot-spots, and temperature gradients are severe limiting factors for today’s state-of-the-art microprocessors. However, the flexibility offer...
Kyriakos Stavrou, Pedro Trancoso
ICRA
2002
IEEE
117views Robotics» more  ICRA 2002»
14 years 2 months ago
Design of a 5-DOF Haptic Simulator for Urological Operations
A new haptic feedback mechanism with five active degrees of freedom (dof), part of a training simulator for urological operations, is presented. The mechanism consists of a 2-dof 5...
Evangelos Papadopoulos, Kostas Vlachos, Dionyssios...
DCC
2000
IEEE
14 years 2 months ago
Lossless Compression of High-Volume Numerical Data from Simulations
Applications in scientific computing operate with high-volume numerical data and the occupied space should be reduced. Traditional compression algorithms cannot provide sufficie...
Vadim Engelson, Dag Fritzson, Peter Fritzson
CA
1999
IEEE
14 years 2 months ago
A Behavioral Interface to Simulate Agent-Object Interactions in Real-Time
This paper shows a new approach to model and control interactive objects for simulations with virtual human agents when real time interactivity is essential. A general conceptuali...
Marcelo Kallmann, Daniel Thalmann