Sciweavers

1469 search results - page 175 / 294
» Map operations and k-orbit maps
Sort
View
ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
14 years 2 months ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
LCPC
1995
Springer
14 years 2 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...
ARC
2010
Springer
186views Hardware» more  ARC 2010»
14 years 2 months ago
Application-Specific Signatures for Transactional Memory in Soft Processors
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...
Martin Labrecque, Mark Jeffrey, J. Gregory Steffan
FAST
2010
14 years 1 months ago
SRCMap: Energy Proportional Storage Using Dynamic Consolidation
We investigate the problem of creating an energy proportional storage system through power-aware dynamic storage consolidation. Our proposal, Sample-ReplicateConsolidate Mapping (...
Akshat Verma, Ricardo Koller, Luis Useche, Raju Ra...
USENIX
2007
14 years 1 months ago
A Comparison of Structured and Unstructured P2P Approaches to Heterogeneous Random Peer Selection
Random peer selection is used by numerous P2P applications; examples include application-level multicast, unstructured file sharing, and network location mapping. In most of thes...
Vivek Vishnumurthy, Paul Francis