Sciweavers

4747 search results - page 580 / 950
» Shuffle Memory System
Sort
View
SIBGRAPI
1999
IEEE
15 years 11 months ago
A Framework for Attention and Object Categorization Using a Stereo Head Robot
This work describes a framework for dealing with attention and categorization using a robot platform consisting of an articulated stereo-head with four degrees of freedom (pan, til...
Luiz M. G. Gonçalves, Antonio A. F. Oliveir...
IPPS
1998
IEEE
15 years 11 months ago
Synchronizing Operations on Multiple Objects
Parallel programming on distributed memory systems is one of the most challenging research areas in parallel computingtoday. Objectbased parallel programming languages are an impor...
Tim Rühl, Henri E. Bal
SCCC
1997
IEEE
15 years 11 months ago
Reliable Processing on the Seljuk-Amoeba Operating Environment
Processing on the Amoeba distributed operating system is not fault-tolerant. The only concern of its processing service is to perform load balancing on the existing processors, tr...
Érica de Lima Gallindo, Francisco Vilar Bra...
ICCAD
1996
IEEE
119views Hardware» more  ICCAD 1996»
15 years 11 months ago
An algorithm for synthesis of system-level interface circuits
We describe an algorithm for the synthesis and optimization of interface circuits for embedded system components such as microprocessors, memory ASIC, and network subsystems with ...
Ki-Seok Chung, Rajesh K. Gupta, C. L. Liu
DAC
1996
ACM
15 years 11 months ago
Integrating Formal Verification Methods with A Conventional Project Design Flow
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
Ásgeir Th. Eiríksson