5235 search results - page 14 / 1047 » Analysis of Multithreaded Programs |
222
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
120
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
STOC
2001
ACM
16 years 1 months ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
IEEEPACT
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
144
click to vote
EUROPAR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...