Sciweavers

6404 search results - page 25 / 1281
» Blocks
Sort
View
FM
2005
Springer
89views Formal Methods» more  FM 2005»
14 years 1 months ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
ICPP
2000
IEEE
14 years 4 days ago
A Parallel Architecture for Quadtree-based Fractal Image Coding
This paper proposes a parallel architecture for quadtreebased fractal image coding. This architecture is capable of performing the fractal image coding based on quadtree partition...
Shinhaeng Lee, Shinichiro Omachi, Hirotomo Aso
FSE
1997
Springer
112views Cryptology» more  FSE 1997»
13 years 12 months ago
A Family of Trapdoor Ciphers
This paper presents several methods to construct trapdoor block ciphers. A trapdoor cipher contains some hidden structure; knowledge of this structure allows an attacker to obtain ...
Vincent Rijmen, Bart Preneel
VTC
2010
IEEE
150views Communications» more  VTC 2010»
13 years 6 months ago
Optimizing Training-Based MIMO Systems: How Much Time is Needed for Actual Transmission?
—We study the design of training-based multiple-input multiple-output systems in two block-wise transmission schemes. The conventional transmission scheme has a fixed amount of ...
Xiangyun Zhou, Parastoo Sadeghi, Tharaka A. Lamahe...
TIT
2011
97views more  TIT 2011»
13 years 2 months ago
Error Exponents for the Gaussian Channel With Active Noisy Feedback
We study the best exponential decay in the blocklength of the probability of error that can be achieved in the transmission of a single bit over the Gaussian channel with an activ...
Young-Han Kim, Amos Lapidoth, Tsachy Weissman