Sciweavers

2111 search results - page 233 / 423
» How to Program Pervasive Systems
Sort
View
133
Voted
PADL
2012
Springer
13 years 11 months ago
Typing the Numeric Tower
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Fla...
154
Voted
ICDT
2011
ACM
187views Database» more  ICDT 2011»
14 years 7 months ago
The PADS project: an overview
The goal of the PADS project, which started in 2001, is to make it easier for data analysts to extract useful information from ad hoc data files. This paper does not report new r...
Kathleen Fisher, David Walker
ECOOP
2009
Springer
16 years 4 months ago
Checking Framework Interactions with Relationships
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
Ciera Jaspan, Jonathan Aldrich
121
Voted
CC
2005
Springer
134views System Software» more  CC 2005»
15 years 9 months ago
Age-Oriented Concurrent Garbage Collection
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
Harel Paz, Erez Petrank, Stephen M. Blackburn
129
Voted
VECPAR
2004
Springer
15 years 9 months ago
Message Strip-Mining Heuristics for High Speed Networks
In this work we investigate how the compiler technique of message strip mining performs in practice on contemporary high performance networks. Message strip mining attempts to redu...
Costin Iancu, Parry Husbands, Wei Chen