2153 search results - page 366 / 431 » From Requirements Models to Formal Specifications in B |
EUROCRYPT
2007
Springer
14 years 4 months ago
2007
Springer
We study an adaptive variant of oblivious transfer in which a sender has N messages, of which a receiver can adaptively choose to receive k one-after-the-other, in such a way that ...
ACMMSP
2005
ACM
14 years 3 months ago
2005
ACM
Combining ideas from several previous proposals, such as Active Pages, DIVA, and ULMT, we present the Memory Arithmetic Unit and Interface (MAUI) architecture. Because the “inte...
GLVLSI
2010
IEEE
14 years 3 months ago
2010
IEEE
Researchers are looking for alternatives to overcome the upcoming limits of conventional hardware technologies. Reversible logic thereby established itself as a promising directio...
VL
2002
IEEE
14 years 3 months ago
2002
IEEE
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
ISCA
1998
IEEE
14 years 2 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...