498 search results - page 66 / 100 » Generalized algebraic data types and object-oriented program... |
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
PLDI
2010
ACM
14 years 21 days ago
2010
ACM
Single thread performance remains an important consideration even for multicore, multiprocessor systems. As a result, techniques for improving single thread performance using mult...