Sciweavers

3706 search results - page 146 / 742
» The Transformational Approach to Program Development
Sort
View
PTS
2008
109views Hardware» more  PTS 2008»
14 years 11 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
CSREAESA
2004
14 years 11 months ago
Link-Time Compaction of MIPS Programs
Embedded systems often have limited amounts of available memory, thus encouraging the development of compact programs. This paper presents a link-time program compactor for the emb...
Matias Madou, Bjorn De Sutter, Bruno De Bus, Ludo ...
IJCNN
2007
IEEE
15 years 4 months ago
Limited receptive area neural classifier for recognition of swallowing sounds using short-time Fourier transform
— In this paper we propose a sound recognition technique based on the limited receptive area (LIRA) neural classifier and short-time Fourier transform (STFT). LIRA neural classif...
Oleksandr Makeyev, Edward Sazonov, Stephanie A. C....
BTW
2007
Springer
114views Database» more  BTW 2007»
15 years 4 months ago
Transformation of Models in(to) a Generic Metamodel
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...
David Kensche, Christoph Quix
LCTRTS
2007
Springer
15 years 4 months ago
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration o
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
Richard Vincent Bennett, Alastair Colin Murray, Bj...