601 search results - page 77 / 121 » Simulation vs. Equivalence |
116
click to vote
GLOBECOM
2010
IEEE
14 years 12 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...
133
click to vote
LPAR
2010
Springer
14 years 12 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...
126
click to vote
ICASSP
2011
IEEE
14 years 5 months 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...
104
click to vote
BIRTHDAY
2012
Springer
13 years 9 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 ...
102
click to vote
ICCD
2006
IEEE
15 years 11 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...