Sciweavers

Share
JOT
2008
100views more  JOT 2008»
8 years 4 months ago
Panda: a Pattern-based Programming System for Automatic Code Generation
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
Daniele Mazzeranghi
CORR
2007
Springer
60views Education» more  CORR 2007»
8 years 4 months ago
On Minimal Tree Realizations of Linear Codes
A tree decomposition of the coordinates of a code is a mapping from the coordinate set to the set of vertices of a tree. A tree decomposition can be extended to a tree realization,...
Navin Kashyap
IJFCS
2006
119views more  IJFCS 2006»
8 years 4 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
ENTCS
2006
133views more  ENTCS 2006»
8 years 4 months ago
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
Ando Saabas, Tarmo Uustalu
CORR
2006
Springer
114views Education» more  CORR 2006»
8 years 4 months ago
Quasi-Orthogonal STBC With Minimum Decoding Complexity
- A new class of Quasi-Orthogonal Space-Time Block Code (QO-STBC) namely Minimum-DecodingComplexity QO-STBC (MDC-QOSTBC) has recently been proposed in the literature. In this paper...
Chau Yuen, Yong Liang Guan, Tjeng Thiang Tjhung
CORR
2006
Springer
135views Education» more  CORR 2006»
8 years 4 months ago
On the MacWilliams Identity for Convolutional Codes
: The adjacency matrix associated with a convolutional code collects in a detailed manner information about the weight distribution of the code. A MacWilliams Identity Conjecture, ...
Heide Gluesing-Luerssen, Gert Schneider
CORR
2006
Springer
90views Education» more  CORR 2006»
8 years 4 months ago
Quaternary Constant-Amplitude Codes for Multicode CDMA
A constant-amplitude code is a code that reduces the peak-to-average power ratio (PAPR) in
Kai-Uwe Schmidt
CN
2006
58views more  CN 2006»
8 years 4 months ago
Dynamically extending the Corral with native code for high-speed packet processing
By combining the Open Kernel Environment, a Click-like software model known as Corral and basic concepts of active networking, we allow third-party code to control the code organi...
Herbert Bos, Bart Samwel, Ilja Booij
ENTCS
2008
114views more  ENTCS 2008»
8 years 4 months ago
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
Paolo Bottoni, Francesco Parisi-Presicce, Simone P...
ECCC
2010
91views more  ECCC 2010»
8 years 4 months ago
Limits on the rate of locally testable affine-invariant codes
A linear code is said to be affine-invariant if the coordinates of the code can be viewed as a vector space and the code is invariant under an affine transformation of the coordin...
Eli Ben-Sasson, Madhu Sudan
books