6762 search results - page 663 / 1353 » Multiple drafts model |
209
click to vote
ICS
2009
Tsinghua U.
16 years 2 months ago
2009
Tsinghua U.
With the current trend toward multicore architectures, improved execution performance can no longer be obtained via traditional single-thread instruction level parallelism (ILP), ...
198
click to vote
SODA
2003
ACM
15 years 8 months ago
2003
ACM
We consider packet scheduling in a network providing differentiated services, where each packet is assigned a value. We study various queueing models for supporting QoS (Quality ...
192
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
179
click to vote
WDAG
1989
Springer
15 years 11 months ago
1989
Springer
We focus on unreliable asynchronous shared memory model which support only atomic read and write operations. For such a model we provide a necessary condition for the solvability ...
198
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Cancer is a complex disease where various types of molecular aberrations drive the development and progression of malignancies. Large-scale screenings of multiple type...