Sciweavers

3373 search results - page 291 / 675
» Linear transformations on codes
Sort
View
ISSS
1995
IEEE
87views Hardware» more  ISSS 1995»
15 years 8 months ago
Industrial experience using rule-driven retargetable code generation for multimedia applications
The increasing usage of Application Specific Instruction Set Processors (ASIPs) in audio and video telecommunications has made strong demands on the rapid availability of dedicat...
Clifford Liem, Pierre G. Paulin, Marco Cornero, Ah...
ICPR
2004
IEEE
16 years 5 months ago
Efficient Coding of Stroke-Rendered Paintings
There are more and more applications of nonphotorealistic rendered images, sketches and drawings. Several techniques for generating such imagery are widely known. The stochastic p...
Levente Kovács, Tamás Szirány...
125
Voted
ISORC
2009
IEEE
15 years 11 months ago
From Requirements to Code Revisited
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
Tewfik Ziadi, Xavier Blanc, Amine Raji
GI
2004
Springer
15 years 10 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
ISCIS
2003
Springer
15 years 9 months ago
Multiple Description Coding for Image Data Hiding in the Spatial Domain
In this paper, we develop a robust image data hiding scheme based on multiple description coding of the signature image. At the transmitter, the signature image is encoded by balan...
Mohsen Ashourian, Yo-Sung Ho