16725 search results - page 3003 / 3345 » Engineering Software Correctness |
161
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
171
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
193
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stoch...
177
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
In the Connected Dominating Set problem we are given as input a graph G and a positive integer k, and are asked if there is a set S of at most k vertices of G such that S is a dom...
152
click to vote
ISPASS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--On NVIDIA's many-core GPUs, there is no synchronization function among parallel thread blocks. When finegranularity of data communication and synchronization is requ...