Sciweavers

4880 search results - page 524 / 976
» Manuals as Structured Programs
Sort
View
ECOOP
2007
Springer
16 years 1 months ago
Generic Universe Types
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
Werner Dietl, Sophia Drossopoulou, Peter Müll...
IWOMP
2007
Springer
16 years 1 months ago
Support for Fine Grained Dependent Tasks in OpenMP
OpenMP is widely used for shared memory parallel programming and is especially useful for the parallelisation of loops. When it comes to task parallelism, however, OpenMP is less p...
Oliver Sinnen, Jsun Pe, Alexander Vladimirovich Ko...
TLCA
2007
Springer
16 years 1 months ago
Initial Algebra Semantics Is Enough!
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
Patricia Johann, Neil Ghani
AGILEDC
2006
IEEE
16 years 1 months ago
The Pairing Session as the Atomic Unit of Work
We have an Extreme Programming team at a small company dedicated to the Agile approach. Our team of 7 developers decided to use the pairing session as the fundamental unit of work...
Troy Frever, Paul Ingalls
323
Voted
ACMMSP
2006
ACM
278views Hardware» more  ACMMSP 2006»
16 years 1 months ago
Atomicity via source-to-source translation
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
Benjamin Hindman, Dan Grossman