3333 search results - page 114 / 667 » Abstract Proof Search |
151
click to vote
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
152
Voted
ASIACRYPT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. ESIGN is an efficient signature scheme that has been proposed in the early nineties (see [14]). Recently, an effort was made to lay ESIGN on firm foundations, using the...
111
Voted
MOC
2002
15 years 3 months ago
2002
Abstract. In the present paper we show how to speed up lattice parameter searches for Monte Carlo and quasi
113
Voted
EUROGP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we consider a new class of search and optimization algorithms inspired by molecular dynamics simulations in physics.
99
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We consider graph searching games on directed graphs and corresponding digraph decompositions. In particular we show that two important variants of these games