1114 search results - page 99 / 223 » Validating optimizations of concurrent C C programs |
115
Voted
FOCS
2010
IEEE
15 years 12 days ago
2010
IEEE
The Coin Problem is the following problem: a coin is given, which lands on head with probability either 1/2 + or 1/2 - . We are given the outcome of n independent tosses of this co...
115
Voted
CCR
2004
15 years 2 months ago
2004
Traditional application programming interfaces for transport protocols make a virtue of hiding most internal per-connection state. We argue that this informationhiding precludes m...
128
click to vote
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
Three-dimensional rotational angiography (3D-RA) is a relatively new and promising technique for imaging blood vessels. In this paper, we propose a novel 3D-RA vascular segmentati...
116
click to vote
DATE
2009
IEEE
15 years 9 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...
114
click to vote
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Research on Networks on Chips (NoCs) has spanned over a decade and its results are now visible in some products. Thus the seminal idea of using networking technology to address th...