Sciweavers

841 search results - page 82 / 169
» Cell packing structures
Sort
View
ASAP
2000
IEEE
90views Hardware» more  ASAP 2000»
15 years 7 months ago
Subword Permutation Instructions for Two-Dimensional Multimedia Processing in MicroSIMD Architectures
MicroSIMD architectures incorporating subword parallelism are very efficient for application-specific media processors as well as for fast multimedia information processing in gen...
Ruby B. Lee
137
Voted
FPGA
1999
ACM
142views FPGA» more  FPGA 1999»
15 years 7 months ago
Multi-Terminal Net Routing for Partial Crossbar-Based Multi-FPGA Systems
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
Abdel Ejnioui, N. Ranganathan
115
Voted
ICRA
1998
IEEE
177views Robotics» more  ICRA 1998»
15 years 7 months ago
The Coulomb Pump: a Novel Parts Feeding Method Using a Horizontally-Vibrating Surface
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
Dan Reznik, John F. Canny
129
Voted
ESOP
2006
Springer
15 years 7 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
122
Voted
AAAI
2008
15 years 5 months ago
Lifted Probabilistic Inference with Counting Formulas
Lifted inference algorithms exploit repeated structure in probabilistic models to answer queries efficiently. Previous work such as de Salvo Braz et al.'s first-order variabl...
Brian Milch, Luke S. Zettlemoyer, Kristian Kerstin...