1154 search results - page 175 / 231 » Mathematizing C concurrency |
SIGECOM
2003
ACM
14 years 2 months ago
2003
ACM
We analyze data from 52 online in-game sports betting markets (where betting is allowed continuously throughout a game), including 34 markets based on soccer (European football) g...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Our ability to simultaneously measure the expression levels of thousands of genes in biological samples is providing important new opportunities for improving the diagnos...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
LCN
2002
IEEE
14 years 2 months ago
2002
IEEE
Since TCP can only detect congestion after packet losses have already happened, various forms of Fast TCP (FTCP) have been proposed to notify congestion early and avoid packet los...
LACL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...