Sciweavers

2019 search results - page 218 / 404
» Programming with Shared Data Abstractions
Sort
View
ICFP
2005
ACM
16 years 3 months ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
OOPSLA
2004
Springer
15 years 8 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
133
Voted
DSL
1997
15 years 4 months ago
Experience with a Language for Writing Coherence Protocols
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
Satish Chandra, James R. Larus, Michael Dahlin, Br...
117
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
Alternative Edge-Server Architectures for Enterprise JavaBeans Applications
Abstract. Edge-server architectures are widely used to improve webapplication performance for non-transactional data. However, their use with transactional data is complicated by t...
Avraham Leff, James T. Rayfield
129
Voted
ADHOCNETS
2009
Springer
15 years 10 months ago
Cooperative Localization in GPS-Limited Urban Environments
Abstract. Existing localization techniques such as GPS have fundamental limitations which preclude deployment in urban canyons or areas with inconsistent network availability. Augm...
Jeffrey Hemmes, Douglas Thain, Christian Poellabau...