933 search results - page 104 / 187 » Extending Forward Checking |
83
Voted
ICFP
2006
ACM
16 years 24 days ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
84
Voted
ICFP
2005
ACM
16 years 24 days ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
CTRSA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...
79
Voted
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
92
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This article addresses the invertibility problem for switched nonlinear systems affine in controls. The problem is concerned with finding the input and switching signal uniqu...