Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[PDF][PDF] A Newapproach To Query By Humming In Music Retrieval.
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 …
humming a tune. Since errors are inevitable in humming, tolerance should be considered. In …
Comparison of component frameworks for real-time embedded systems
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 …
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 …
longitudinal response by neutrino experiments. We discuss the kinematical conditions for …
From AADL architectural models to Petri Nets: Checking model viability
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 …
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.
Abstract Building Distributed Real-Time Embedded systems requires a stringent
methodology, from early requirements capture to full implementation. However, there is a …
methodology, from early requirements capture to full implementation. However, there is a …
AO4AADL: Aspect oriented extension for AADL
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 …
problems in software development. To better address this problem, it is very recommended …
Configuration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture
B Zalila - 2008 - pastel.hal.science
Building distributed real-time embedded systems (DRE) is a tedious task. In addition, real-
time applications must satisfy hard constraints to ensure they work correctly (meeting …
time applications must satisfy hard constraints to ensure they work correctly (meeting …
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 …
Space systems have been a long time user of models (synchronous or asynchronous …
Cost-driven selection of parity trees
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 …
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 …
verification, validation of system requirements. In this paper, we present how to integrate a …