2838 search results - page 351 / 568 » Verifying Controlled Components |
106
Voted
JHSN
2006
15 years 21 days ago
2006
With the rapid growth of the Internet into a global communication and commercial infrastructure, the need for Quality of Services (QoS) in the Internet becomes more and more import...
90
Voted
ET
2007
15 years 20 days ago
2007
Abstract In order to perform an on-chip test for characterizing both static and transmission parameters of embedded analog-to-digital converters (ADCs), this paper presents an osci...
99
Voted
IEICET
2007
15 years 20 days ago
2007
There have been many theoretical and experimental investigations on polarization diversity reception characteristics at base stations. The diversity gain was evaluated based on th...
109
click to vote
TCS
2008
15 years 19 days ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
105
click to vote
JLP
2007
15 years 19 days ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...