2432 search results - page 430 / 487 » Cryptographic logical relations |
113
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
137
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
117
click to vote
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
127
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
108
Voted
ISCA
1999
IEEE
15 years 8 months ago
1999
IEEE
Several ILP limit studies indicate the presence of considerable ILP across dynamically far-apart instructions in program execution. This paper proposes a hardware mechanism, dynam...