601 search results - page 77 / 121 » Simulation vs. Equivalence |
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--Sensors equipped with energy harvesting and cooperative communication capabilities are a viable solution to the power limitations of Wireless Sensor Networks (WSNs) assoc...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
ICASSP
2011
IEEE
13 years 28 days ago
2011
IEEE
Autofocus algorithms deal with image restoration in a nonideal synthetic aperture radar (SAR) imaging system. We propose a novel autofocus algorithm, denoted as MLA, that is based...
BIRTHDAY
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. We discuss theoretical aspects of the self-assembly of triangular tiles, in particular, right triangular tiles and equilateral triangular tiles, and the self-assembly of ...
ICCD
2006
IEEE
14 years 6 months ago
2006
IEEE
— We have entered an era where chip yields are decreasing with scaling. A new concept called intelligible testing has been previously proposed with the goal of reversing this tre...