8766 search results - page 1262 / 1754 » Functional logic programming |
134
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
137
Voted
LISP
2008
15 years 5 months ago
2008
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
134
Voted
JPDC
2006
15 years 5 months ago
2006
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...
151
click to vote
PRL
2008
15 years 5 months ago
2008
This paper proposes a new approach for classifying multivariate time-series with applications to the problem of writer independent online handwritten character recognition. Each t...
156
click to vote
COR
2004
15 years 4 months ago
2004
Fair bandwidth allocation is an important issue in the multicast network to serve each multicast traffic at a fair rate commensurate with the receiver's capabilities and the ...