Sciweavers

3706 search results - page 146 / 742
» The Transformational Approach to Program Development
Sort
View
PTS
2008
109views Hardware» more  PTS 2008»
15 years 7 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
15 years 7 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
16 years 20 days 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»
16 years 16 days 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
16 years 15 days 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...