Sciweavers

5009 search results - page 872 / 1002
» Value chain modelling using system dynamics
Sort
View
136
Voted
SPAA
1998
ACM
15 years 8 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...
130
Voted
CODES
2005
IEEE
15 years 9 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
115
Voted
ICPR
2006
IEEE
16 years 4 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
130
Voted
ICPR
2002
IEEE
16 years 4 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...
138
Voted
SAINT
2008
IEEE
15 years 10 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