1307 search results - page 113 / 262 » Follow the intellectual property |
RECONFIG
2008
IEEE
15 years 8 months ago
2008
IEEE
In the context of the emergence of alternative computing resources to address the challenge of the upcoming end of Moore’s law, we consider the feasibility of gathering computat...
WCNC
2008
IEEE
15 years 8 months ago
2008
IEEE
A computer simulation model is proposed for discretetime doubly-selective compound-K fading channel. It first generates multiple independent mobile-to-mobile Rayleigh fading Chan...
113
click to vote
ISCAS
2007
IEEE
15 years 8 months 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...
105
click to vote
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
136
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...