Sciweavers

1458 search results - page 48 / 292
» The sequentially realizable functionals
Sort
View
CAV
2008
Springer
99views Hardware» more  CAV 2008»
15 years 4 months ago
Functional Verification of Power Gated Designs by Compositional Reasoning
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
Cindy Eisner, Amir Nahir, Karen Yorav
138
Voted
ICASSP
2011
IEEE
14 years 6 months ago
Ambiguity functions of compressively sensed and processed radar waveforms
Compressive sensing and processing delivers high resolution data using reduced sampling rates and computational effort compared to Nyquist sensing and processing. Compressive proc...
Ioannis Kyriakides
107
Voted
ICRA
2009
IEEE
94views Robotics» more  ICRA 2009»
15 years 9 months ago
Inferring a probability distribution function for the pose of a sensor network using a mobile robot
— In this paper we present an approach for localizing a sensor network augmented with a mobile robot which is capable of providing inter-sensor pose estimates through its odometr...
David Meger, Dimitri Marinakis, Ioannis M. Rekleit...
IDEAL
2005
Springer
15 years 8 months ago
Recursive Self-organizing Map as a Contractive Iterative Function System
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...
Peter Tiño, Igor Farkas, Jort van Mourik
ITCC
2002
IEEE
15 years 7 months ago
FSM Implementation in Embedded Memory Blocks of Programmable Logic Devices Using Functional Decomposition
: Since modern programmable devices contain embedded memory blocks, there exists a possibility to implement Finite State Machines (FSM) using such blocks. The size of the memory av...
Henry Selvaraj, Mariusz Rawski, Tadeusz Luba