13489 search results - page 2588 / 2698 » Operating System |
171
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
144
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
190
click to vote
SIGOPS
2010
14 years 11 months ago
2010
Modern chip-level multiprocessors (CMPs) contain multiple processor cores sharing a common last-level cache, memory interconnects, and other hardware resources. Workloads running ...
168
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: High-throughput mass spectrometry (MS) proteomics data is increasingly being used to complement traditional structural genome annotation methods. To keep pace with the...
137
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...