1282 search results - page 35 / 257 » Practical Loss-Resilient Codes |
121
Voted
TPHOL
2009
IEEE
15 years 12 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
154
click to vote
AVBPA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we show the feasibility of template protecting biometric authentication systems. In particular, we apply template protection schemes to fingerprint data. T...
108
click to vote
ISLPED
1999
ACM
15 years 9 months ago
1999
ACM
The charge recovery databus is a scheme which reduces energy consumption through the application of adiabatic circuit techniques. Previous work 2 gives a solid theoretical analysi...
132
click to vote
TCOM
2008
15 years 5 months ago
2008
Driven by applications in data-hiding, MIMO broadcast channel coding, precoding for interference cancellation, and transmitter cooperation in wireless networks, Costa coding has la...
145
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
The authors employ multiple crossovers as a novel natural extension to crossovers as a mixing operator. They use this as a framework to explore the ideas of code growth. Empirical...