3053 search results - page 268 / 611 » Performance of Generative Programming Based Protocol Impleme... |
98
Voted
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
127
click to vote
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
132
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
This work is motivated by the strong demand of reliability enhancement over flash memory. Our objective is to improve the endurance of flash memory with limited overhead and witho...
135
Voted
ICPADS
2002
IEEE
15 years 7 months ago
2002
IEEE
Network emulation systems are widely used to explore the behavior of network protocols and to test and evaluate protocol implementations and applications. The major problem of net...
142
Voted
ENTCS
2002
15 years 2 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...