1114 search results - page 186 / 223 » Validating optimizations of concurrent C C programs |
166
click to vote
CODES
2007
IEEE
16 years 9 days ago
2007
IEEE
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
162
click to vote
MM
2009
ACM
16 years 14 days ago
2009
ACM
We consider the problem of broadcasting multiple variable-bit-rate (VBR) video streams from a base station to many mobile devices over a wireless network, so that: (i) perceived q...
179
click to vote
ICS
2000
Tsinghua U.
15 years 9 months ago
2000
Tsinghua U.
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...
153
click to vote
NSDI
2008
15 years 8 months ago
2008
This paper presents Swift, a packet filter for high performance packet capture on commercial off-the-shelf hardware. The key features of Swift include (1) extremely low filter upd...
197
click to vote
SIAMREV
2010
15 years 21 days ago
2010
The affine rank minimization problem consists of finding a matrix of minimum rank that satisfies a given system of linear equality constraints. Such problems have appeared in the ...