Sciweavers

36320 search results - page 30 / 7264
» From Code to Models
Sort
View
ARTS
1999
Springer
15 years 6 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge
ECBS
2008
IEEE
106views Hardware» more  ECBS 2008»
15 years 9 months ago
AMABULO - A Model Architecture for Business Logic
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
Tobias Brückmann, Volker Gruhn
ICC
2007
IEEE
114views Communications» more  ICC 2007»
15 years 6 months ago
Channel-Matched Spreading Codes for the Downlink of MC-CDMA
Abstract-- This paper concerns the multiple access performance of spreading codes used in the downlink of multicarrier code-division multiple-access (MC-CDMA). Complex-valued sprea...
Qinghua Shi, Yong Liang Guan, Choi Look Law
OSDI
2002
ACM
16 years 2 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
TASLP
2002
87views more  TASLP 2002»
15 years 2 months ago
A new audio coding scheme using a forward masking model and perceptually weighted vector quantization
This paper presents a new audio coder that includes two techniques to improve the sound quality of the audio coding system. First, a forward masking model is proposed. This model e...
Yuan-Hao Huang, Tzi-Dar Chiueh