5599 search results - page 889 / 1120 » Abstract State Services |
141
Voted
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Motivated by the problem of protecting cryptographic hardware, we continue the investigation of private circuits initiated in [16]. In this work, our aim is to construct ...
138
Voted
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The efficient design of multiplierless implementations of constant matrix multipliers is challenged by the huge solution search spaces even for small scale problems. Prev...
164
Voted
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
145
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
146
Voted
FTRTFT
2000
Springer
15 years 8 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...