Sciweavers

8582 search results - page 151 / 1717
» Here or There
Sort
View
FM
1999
Springer
126views Formal Methods» more  FM 1999»
15 years 10 months ago
Correctness Proof of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
Jean-François Monin, Francis Klay
FSE
1999
Springer
92views Cryptology» more  FSE 1999»
15 years 10 months ago
A New Characterization of Almost Bent Functions
We study the functions from Fm 2 into Fm 2 for odd m which oppose an optimal resistance to linear cryptanalysis. These functions are called almost bent. It is known that almost ben...
Anne Canteaut, Pascale Charpin, Hans Dobbertin
IH
1999
Springer
15 years 10 months ago
Attacks on Steganographic Systems
The majority of steganographic utilities for the camouflage of confidential communication suffers from fundamental weaknesses. On the way to more secure steganographic algorithm...
Andreas Westfeld, Andreas Pfitzmann
ICCAD
1998
IEEE
90views Hardware» more  ICCAD 1998»
15 years 10 months ago
Technology mapping for domino logic
Domino logic is a popular con guration for implementing high-speed circuits. An algorithm for domino logic mapping, under a parameterized library style, is presented here. Practic...
Min Zhao, Sachin S. Sapatnekar
ICCCN
1998
IEEE
15 years 10 months ago
A Low Bandwidth Broadcasting Protocol for Video on Demand
Broadcasting protocols can improve the efficiency of video on demand services by reducing the bandwidth required to transmit videos that are simultaneously watched by many viewers...
Jehan-François Pâris, Steven W. Carte...