Sciweavers

5009 search results - page 872 / 1002
» Value chain modelling using system dynamics
Sort
View
SPAA
1998
ACM
14 years 2 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...
CODES
2005
IEEE
14 years 3 months ago
Memory access optimizations in instruction-set simulators
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
Mehrdad Reshadi, Prabhat Mishra
ICPR
2006
IEEE
14 years 11 months ago
Direct Mapping of Visual Input to Motor Torques
Most methods for visual control of robots formulate the robot command in joint or Cartesian space. To move the robot these commands are remapped to motor torques usually requiring...
Jeremiah J. Neubert, Nicola J. Ferrier
ICPR
2002
IEEE
14 years 11 months ago
3D Real-Time Head Tracking Fusing Color Histograms and Stereovision
A system that performs the tracking of a human head in 3D in real time is presented. The head shape is modeled by an ellipse with a trained color histogram of skin and hair sample...
Francesc Moreno, Adrià Tarrida, Juan Andrad...
SAINT
2008
IEEE
14 years 4 months ago
Accuracy-Based Cache Consistency Management for Numerical Object Replication
Object replication and cache consistency have been one of major design issues in the recent Internet applications. In this paper, we forcus on accuracy-aware applications (i.e., s...
Hideya Ochiai, Hiroshi Esaki