Sciweavers

4278 search results - page 503 / 856
» Data prefetch mechanisms
Sort
View
IPPS
2006
IEEE
16 years 1 months ago
Workflow fine-grained concurrency with automatic continuation
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
Giancarlo Tretola, Eugenio Zimeo
LCN
2006
IEEE
16 years 1 months ago
Integration of Differentiated Services in Optical Burst Switching Metro Ring Networks
Optical Burst Switching (OBS) is not only cost-effective, but also provides high throughput, high bandwidth utilization, and low transmission latency. These benefits render OBS a ...
Hui-Tang Lin, Wang-Rong Chang
ROBIO
2006
IEEE
151views Robotics» more  ROBIO 2006»
16 years 1 months ago
Cooperative Mutual 3D Laser Mapping and Localization
— A 3D laser scanner is built by adding a rotating mirror to a conventional 2D scanner. The scanners are deployed on four robots to build full 3D representations of an indoor env...
Julian Ryde, Huosheng Hu
VLSID
2006
IEEE
71views VLSI» more  VLSID 2006»
16 years 1 months ago
Clockless Pipelining for Coarse Grain Datapaths
In this paper, we present two novel synchronization approaches to support data flow in clockless designs using single-rail encoding. Both approaches are based on self-resetting st...
Abdelhalim Alsharqawi, Abdel Ejnioui
ACL2
2006
ACM
16 years 1 months ago
Soundness of the simply typed lambda calculus in ACL2
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
Sol Swords, William R. Cook