403 search results - page 6 / 81 » Contracts for higher-order functions |
176
click to vote
WSCG
2003
15 years 7 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
15 years 6 months ago
2008
196
click to vote
INDOCRYPT
2010
Springer
15 years 3 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...
186
click to vote
IFL
1998
Springer
15 years 10 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...