442 search results - page 89 / 89 » Proof Abstraction for Imperative Languages |
121
Voted
TASLP
2010
15 years 5 days ago
2010
Abstract—Several contributions have been made so far to develop optimal multichannel linear filtering approaches and show their ability to reduce the acoustic noise. However, th...
130
Voted
MEMOCODE
2010
IEEE
14 years 11 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...