Sciweavers

36320 search results - page 237 / 7264
» From Code to Models
Sort
View
DAC
1999
ACM
16 years 7 months ago
Constraint Driven Code Selection for Fixed-Point DSPs
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...
Steven Bashford, Rainer Leupers
ICMCS
2008
IEEE
136views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Wyner-Ziv video coding: A review of the early architectures and further developments
∗∗∗∗ In 2002, the video coding community faced the emergence of a new video coding paradigm, the so-called Wyner-Ziv video coding, which was represented by two early soluti...
Fernando Pereira, Catarina Brites, João Asc...
ICC
2007
IEEE
125views Communications» more  ICC 2007»
16 years 26 days ago
On Bit Error Robustness of Trellis Source Codes
— Trellis codes based on linear congruential recursions have recently been introduced as powerful source codes. For a modest computational complexity they offer excellent rate di...
Tomas Eriksson, Norbert Goertz
EUROPKI
2007
Springer
16 years 21 days ago
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka...
GG
2004
Springer
15 years 12 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...