366 search results - page 9 / 74 » Model-checking higher-order functions |
AMCS
2008
14 years 12 months ago
2008
124
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 4 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...
118
click to vote
TYPES
2000
Springer
15 years 3 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
IGARSS
2010
14 years 9 months ago
2010
Presented in this paper is a method of retrieving higher order statistical functions of the ocean wave surface from sunglint, or solar optical radiation specularly reflected from t...