Sciweavers

1525 search results - page 173 / 305
» Matching with Regular Constraints
Sort
View
CORR
2006
Springer
121views Education» more  CORR 2006»
15 years 4 months ago
On Performance of Event-to-Sink Transport in Transmit-Only Sensor Networks
We consider a hybrid wireless sensor network with regular and transmit-only sensors. The transmit-only sensors do not have receiver circuit, hence are cheaper and less energy consu...
Bartlomiej Blaszczyszyn, Bozidar Radunovic
CLEIEJ
2010
15 years 1 months ago
3D-Via Driven Partitioning for 3D VLSI Integrated Circuits
A 3D circuit is the stacking of regular 2D circuits. The advances on the fabrication and packaging technologies allowed interconnecting stacked 2D circuits by using 3D vias. Howeve...
Sandro Sawicki, Gustavo Wilke, Marcelo O. Johann, ...
CAV
2011
Springer
253views Hardware» more  CAV 2011»
14 years 8 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...
ICPR
2006
IEEE
16 years 5 months ago
Robust Alignment of Transmission Electron Microscope Tilt Series
In this paper, we propose a novel method for automatic, feature-based alignment of transmission electron microscope images that is needed for computing 3D reconstructions in elect...
Sami S. Brandt, Ulrike Ziese
STACS
2010
Springer
15 years 11 months ago
Exact Covers via Determinants
Given a k-uniform hypergraph on n vertices, partitioned in k equal parts such that every hyperedge includes one vertex from each part, the k-Dimensional Matching problem asks wheth...
Andreas Björklund