1975 search results - page 269 / 395 » Property analysis and design understanding |
171
click to vote
GLOBECOM
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—In this contribution we present a numerical approach to evaluate the bit error rate and mutual information of OFDM links affected by transmitter nonlinearities, phase no...
155
click to vote
FDL
2007
IEEE
16 years 26 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
178
click to vote
ISCAS
2007
IEEE
16 years 24 days ago
2007
IEEE
—CMOS radio receiver architectures, based on radio frequency (RF) sampling followed by discrete-time (D-T) signal processing via switched-capacitor circuits, have recently been p...
148
click to vote
TACAS
2007
Springer
16 years 19 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
183
click to vote
FDL
2006
IEEE
16 years 17 days ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...