1301 search results - page 110 / 261 » Specifications via Realizability |
144
click to vote
ICC
2009
IEEE
15 years 1 months ago
2009
IEEE
In the OFDMA downlink, obtaining Channel State Information (CSI) from users is necessary for the Base Station (BS) to optimize network performance by intelligently allocating resou...
118
Voted
JMLR
2010
14 years 10 months ago
2010
In this study, we combined the ChIP-seq and the transcriptome data and integrated these data into signaling cascades. Integration was realized through a framework based on data- a...
224
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
132
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
121
Voted
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...