3221 search results - page 317 / 645 » Termination of Linear Programs |
184
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
200
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
211
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
People often use computers other than their own to access web content, but blind users are restricted to using computers equipped with expensive, special-purpose screen reading pr...
179
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we develop a beamforming algorithm for multiuser MIMO-relaying wireless systems. We consider a relaying scenario with multiple sources transmitting to one or more d...
182
Voted
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
An asynchronous work-stealing implementation of dynamic load balance is implemented using Unified Parallel C (UPC) and evaluated using the Unbalanced Tree Search (UTS) benchmark ...