Search Sciweavers | Sciweavers

8141 search results - page 46 / 1629

» Higher Order Generalization

click to vote

CHES
2007
Springer

131views Cryptology» more CHES 2007»

Gaussian Mixture Models for Higher-Order Side Channel Analysis

14 years 4 months ago

Download www.iacr.org

Kerstin Lemke-Rust, Christof Paar

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

191views Software Engineering» more FOSSACS 2007»

Logical Reasoning for Higher-Order Functions with Local State

14 years 4 months ago

Download www.doc.ic.ac.uk

Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...

Nobuko Yoshida, Kohei Honda, Martin Berger

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

186views Software Engineering» more FOSSACS 2007»

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

14 years 4 months ago

Download www.comlab.ox.ac.uk

Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...

Matthew Hague, C.-H. Luke Ong

claim paper

Read More »

click to vote

HYBRID
2007
Springer

95views Control Systems» more HYBRID 2007»

Asymptotic Stability of Switched Higher Order Laplacians

14 years 4 months ago