31387 search results - page 421 / 6278 » Abstracts |
206
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
207
click to vote
ISQED
2010
IEEE
15 years 9 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
162
click to vote
CTRSA
2008
Springer
15 years 9 months ago
2008
Springer
ended abstract appeared in Proceedings of the Cryptographers' Track at the RSA Conference (CT-RSA '08)
188
Voted
DELFI
2008
15 years 9 months ago
2008
Abstract: Dieser Artikel
192
click to vote
ECIR
2007
Springer
15 years 9 months ago
2007
Springer
This paper introduces the concept of a Parameterised Search System (PSS), which allows flexibility in user queries, and, more importantly, allows system engineers to easily defin...