7924 search results - page 969 / 1585 » Non-Malleable Functions and Their Applications |
170
click to vote
FLOPS
2001
Springer
15 years 12 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
175
click to vote
FPL
2001
Springer
15 years 12 months ago
2001
Springer
Although SRAM programmed Field Programmable Gate Arrays (FPGA's) have come to dominate the industry due to their density and performance advantages over non-volatile technolog...
212
click to vote
LCTRTS
2001
Springer
15 years 12 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
198
click to vote
ICMCS
2000
IEEE
15 years 12 months ago
2000
IEEE
Networking of MPEG-4 content is the topic of ongoing standardization efforts in the ISO MPEG and IETF. In this paper, we describe a complete architecture for the transport of MPEG...
196
click to vote
ICMCS
2000
IEEE
15 years 12 months ago
2000
IEEE
We describe a genetic segmentation algorithm for video. This algorithm operates on segments of a string representation. It is similar to both classical genetic algorithms that ope...