4716 search results - page 217 / 944 » Tangible functional programming |
175
click to vote
ECEASST
2008
15 years 6 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
180
Voted
DCC
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper introduces a linear programming (LP) technique that performs ratedistortion based optimization for constrained video coding. Given the assumption of piecewise linear an...
159
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
142
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
189
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...