5015 search results - page 576 / 1003 » Model Checking a Path |
175
Voted
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Tendon-based transmission systems present many positive aspects and greatly simplify the mechanical design of small robotic devices, such as robotic fingers. On the other hand...
159
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
175
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We examine the statistical distribution of the interference produced by a cluster of very many co-channel interferers, e.g., a sensor network, or a city full of active w...
170
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Cooperative diversity is effectively used to combat the correlated fading. In the existing papers on cooperative diversity, the fading channels are idealistically assumed to be ...
187
Voted
DATE
2005
IEEE
16 years 14 days ago
2005
IEEE
— State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated due to global source of variations and path r...