632 search results - page 104 / 127 » Proving Invariants of Functional Programs |
ISCAPDCS
2004
15 years 1 months ago
2004
A promising anti-spam technique consists in collecting users opinions that given email messages are spam and using this collective judgment to block message propagation to other u...
88
Voted
PDPTA
2004
15 years 1 months ago
2004
Abstract One of the goals envisioned by Grid computing is to make the execution of both computational and data-intensive problems possible. A key problem is finding the optimal set...
111
Voted
ENTCS
2008
15 years 15 days ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
109
Voted
JDA
2006
15 years 12 days ago
2006
Abstract. Sreedhar et al. [SGL98, Sre95] have presented an eliminationbased algorithm to solve data flow problems. A thorough analysis of the algorithm shows that the worst-case pe...
80
Voted
CORR
2004
Springer
15 years 9 days ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...