9888 search results - page 1888 / 1978 » compute 2009 |
215
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...
214
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
204
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
202
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
229
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...