Sciweavers

10585 search results - page 435 / 2117
» The Orc Programming Language
Sort
View
216
Voted
APLAS
2011
ACM
14 years 6 months ago
Soundness of Data Flow Analyses for Weak Memory Models
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
Jade Alglave, Daniel Kroening, John Lugton, Vincen...
ICFP
2006
ACM
16 years 6 months ago
Extensible programming with first-class cases
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
Matthias Blume, Umut A. Acar, Wonseok Chae

Book
460views
17 years 5 months ago
C++ Essentials
"This book serves as an introduction to the C++ language. It teaches how to program in C++ and how to properly use its features. It does not attempt to teach object-oriented...
Sharam Hekmat
ASPLOS
2009
ACM
16 years 7 months ago
PowerNap: eliminating server idle power
Data center power consumption is growing to unprecedented levels: the EPA estimates U.S. data centers will con
David Meisner, Brian T. Gold, Thomas F. Wenisch
PLPV
2009
ACM
16 years 3 months ago
Type invariants for Haskell
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
Tom Schrijvers, Louis-Julien Guillemette, Stefan M...