1538 search results - page 121 / 308 » Programming with Patterns |
88
Voted
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
133
click to vote
SOCA
2008
IEEE
15 years 2 months ago
2008
IEEE
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
116
click to vote
JUCS
2002
15 years 1 months ago
2002
: JPlag is a web service that finds pairs of similar programs among a given set of programs. It has successfully been used in practice for detecting plagiarisms among student Java ...
151
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
118
Voted
CDC
2009
IEEE
15 years 3 days ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...