[PDF][PDF] A Newapproach To Query By Humming In Music Retrieval.

L Lu, H You, HJ Zhang - ICME, 2001 - scholar.archive.org
In this paper, we present a method for querying desired songs from music database by
humming a tune. Since errors are inevitable in humming, tolerance should be considered. In …

Comparison of component frameworks for real-time embedded systems

P Hošek, T Pop, T Bureš, P Hnětynka… - … on Component-Based …, 2010 - Springer
The usage of components brings significant help in development of real-time embedded
systems. There have been a number of component frameworks developed for this purpose …

Exploration of the spin-isospin nuclear response function by neutrinos

J Delorme, M Ericson - Physics Letters B, 1985 - Elsevier
We study the possibility of exploring the collective character of the nuclear spin-isospin
longitudinal response by neutrino experiments. We discuss the kinematical conditions for …

From AADL architectural models to Petri Nets: Checking model viability

X Renault, F Kordon, J Hugues - 2009 IEEE International …, 2009 - ieeexplore.ieee.org
Modeling of distributed real-time embedded (DRE) systems allows one to evaluate models
behavior or schedulability. However, assessing that a DRE system's behavior is correct in …

[PDF][PDF] Rapid Prototy** of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.

J Hugues, B Zalila, L Pautet… - … International Workshop on …, 2007 - pagesperso.lip6.fr
Abstract Building Distributed Real-Time Embedded systems requires a stringent
methodology, from early requirements capture to full implementation. However, there is a …

AO4AADL: Aspect oriented extension for AADL

S Loukil, S Kallel, B Zalila, M Jmaiel - Open Computer Science, 2013 - degruyter.com
Managing embedded system complexity and scalability is one of the most important
problems in software development. To better address this problem, it is very recommended …

Using MDE for the rapid prototy** of space critical systems

J Hugues, M Perrotin, T Tsiodras - 2008 The 19th IEEE/IFIP …, 2008 - ieeexplore.ieee.org
The reliability requirements for space-critical system call for specific tools and models.
Space systems have been a long time user of models (synchronous or asynchronous …

Cost-driven selection of parity trees

S Almukhaizim, P Drineas… - 22nd IEEE VLSI Test …, 2004 - ieeexplore.ieee.org
We discuss the problem of parity tree selection for lossless compaction of the output
responses of a circuit. Earlier methods assume off-chip storage of the correct compacted …

[PDF][PDF] Validating requirements at model-level

O Gilles, J Hugues - Proc. of the 4th workshop on Model-Oriented …, 2008 - researchgate.net
Designing an embedded real-time system is a complex process, which involves modeling,
verification, validation of system requirements. In this paper, we present how to integrate a …