7430 search results - page 561 / 1486 » Programming Applications in CIFF |
278
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e....
271
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
186
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
212
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
216
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...