4693 search results - page 332 / 939 » Verifying Hybrid Systems |
171
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
140
Voted
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we propose a methodology to perform a comparison between a legal document and its related handwritten summary. We thus describe the algorithms that verify when a hum...
143
Voted
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper addresses the problem of doubletalk detector calibration for acoustic echo cancellers in hands-free environments such as videoconferencing. A statistical model of a rec...
152
click to vote
DATE
2003
IEEE
16 years 17 hour ago
2003
IEEE
With the increasing use of Intellectual Property (IP) in the semiconductor industry, the demand to verify IP for quality is high. This paper describes ipscreen, a software tool th...
153
click to vote
LCN
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a model for the expected throughput in a Bluetooth network in presence of a number of other Bluetooth networks that cause radio interference. The analysis cons...