Sciweavers

4440 search results - page 518 / 888
» The space of design
Sort
View
DSD
2009
IEEE
111views Hardware» more  DSD 2009»
16 years 1 months ago
Robustness Check for Multiple Faults Using Formal Techniques
Feature sizes in VLSI circuits are steadily shrinking. This results in increasing susceptibility to soft errors, e.g. due to environmental radiation. Precautions against soft error...
Stefan Frehse, Görschwin Fey, André S&...
ICASSP
2009
IEEE
16 years 1 months ago
Transmit/receive beamforming for MIMO radar with colocated antennas
We propose a new technique for multiple-input multiple-output (MIMO) radar with colocated antennas. The essence of the proposed technique is to partition the transmitting array in...
Aboulnasr Hassanien, Sergiy A. Vorobyov
ICASSP
2009
IEEE
16 years 1 months ago
LSH banding for large-scale retrieval with memory and recall constraints
Locality Sensitive Hashing (LSH) is widely used for efficient retrieval of candidate matches in very large audio, video, and image systems. However, extremely large reference dat...
Michele Covell, Shumeet Baluja
ICRA
2009
IEEE
119views Robotics» more  ICRA 2009»
16 years 1 months ago
Survivability: Measuring and ensuring path diversity
— A novel criterion is introduced for assessing the diversity of a collection of paths or trajectories. The main idea is the notion of survivability, which measures the likelihoo...
Lawrence H. Erickson, Steven M. LaValle
SPIN
2009
Springer
16 years 1 months ago
Tool Presentation: Teaching Concurrency and Model Checking
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
Mordechai Ben-Ari