403 search results - page 6 / 81 » Contracts for higher-order functions |
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
103
click to vote
WSCG
2003
15 years 1 months ago
2003
The computation of global illumination in a dynamic scene constitutes a real challenge in computer graphics. In radiosity algorithms, this problem is far from being easy, especial...
AMCS
2008
14 years 11 months ago
2008
122
click to vote
INDOCRYPT
2010
Springer
14 years 9 months ago
2010
Springer
In the recent years, Higher-order Side Channel attacks have been widely investigated. In particular, 2nd-order DPA have been improved and successfully applied to break several mask...
116
click to vote
IFL
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...