4647 search results - page 312 / 930 » Analysis and design of OFDM-IDMA systems |
167
Voted
WOTUG
2007
15 years 8 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
214
Voted
ECRTS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper explores timing anomalies in WCET analysis. Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify ...
184
click to vote
DOCENG
2009
ACM
16 years 1 months ago
2009
ACM
The PDF format is commonly used for the exchange of documents on the Web and there is a growing need to understand and extract or repurpose data held in PDF documents. Many system...
265
Voted
ECEASST
2010
15 years 4 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
329
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...