Sciweavers

10055 search results - page 242 / 2011
» Structured programming using processes
Sort
View
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
14 years 4 months ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson
ASP
2003
Springer
14 years 4 months ago
Mappings Between Domain Models in Answer Set Programming
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
Stefania Costantini, Andrea Formisano, Eugenio G. ...
AMAI
2006
Springer
13 years 10 months ago
Symmetric approximate linear programming for factored MDPs with application to constrained problems
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
Dmitri A. Dolgov, Edmund H. Durfee
PC
2002
131views Management» more  PC 2002»
13 years 10 months ago
From patterns to frameworks to parallel programs
riented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming. This paper describes our ap...
Steve MacDonald, John Anvik, Steven Bromling, Jona...
ACMMSP
2006
ACM
226views Hardware» more  ACMMSP 2006»
14 years 2 months ago
Smarter garbage collection with simplifiers
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
Melissa E. O'Neill, F. Warren Burton