12453 search results - page 43 / 2491 » Concurrent Data Structures |
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
116
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
To take full advantage of the parallelism offered by a multicore machine, one must write parallel code. Writing parallel code is difficult. Even when one writes correct code, the...
105
click to vote
OSDI
1994
ACM
15 years 1 months ago
1994
ACM
We describe the lockingarchitecture of a new operating system, HURRICANE, designed for large scale shared-memory multiprocessors. Many papers already describe kernel lockingtechni...
100
click to vote
DEDS
2007
14 years 12 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...