4438 search results - page 660 / 888 » The Case for Collaborative Programming |
151
click to vote
JASIS
2011
15 years 1 months ago
2011
This paper studies massive evidence about references made and citations received after a five-year citation window by 3.7 million articles published in 1998-2002 in 22 scientific ...
182
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we present the design, implementation, and deployment of a phone-based broadcasting system designed for reaching out to at-risk populations in urban India. We worke...
304
Voted
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
276
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
302
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...