722 search results - page 46 / 145 » Organizational Abstractions for the Analysis and Design of M... |
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
WCNC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— The inter-modulation and cross-modulation products of interferences introduced by nonlinearities of the receiver could significantly degrade system performance, and sh...
TCAD
2008
13 years 9 months ago
2008
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— In this paper, a performance analysis of a dualbranch switched diversity system operating on identically distributed Nakagami-m fading channels is presented. An adaptiv...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...