High-level modeling language
High-Level Modeling of Component-Based CSPs
... constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinato- rial optimization ...oriented language constructs to manipulate hierarchical problems, for ...
11
High-level energy characterization, modeling and estimation for OS-based platforms
... for modeling the system functional/non functional properties [ 70 ...Design Language (AADL) [ 77 ], developed by the Society of Automotive Engineers (SAE), has received increasing interest from ...
147
Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks
... for modeling and control of circuit dynamics might be adapted to allow automated design of biological circuits with complex dynamic behavior, such as oscillators or sequential developmental ...
14
On the Development and Optimization of HEVC Video Decoders Using High-Level Dataflow Modeling
... Actually, defining several implementations of video processing algorithms using elementary components is very easy and fast with RVC since the internal state of every actor is completely independent from the rest of the ...
10
xMAML: a Modeling Language for Dynamically Reconfigurable Architectures
... on high-level architecture description lan- guages ...description language dedicated to the instantiation of dynamically recongurable heterogeneous computing ...
9
Dynamic causal modeling of subcortical connectivity of language.: DCM of a language network
... affects high and low level cortical ...the level of HG and ...auditory language processing, both hemispheres work in parallel, with the left hemisphere being primarily responsible for ...
23
HPCML: A Modeling Language Dedicated to High-Performance Scientific Computing
... of modeling techniques in our context was aimed at easing development and maintenance ...the modeling community, but are not used these days by the HPC ...model level time analysis for existing ...
7
Probe-level linear model fitting and mixture modeling results in high accuracy detection of differential gene expression
... The PL-LM method still carries a few drawbacks. The most limiting aspect is the manual nature of the mixture mod- eling step: deciding on the number of components and which component(s) is (are) modeling the DEGs ...
9
Custom Operator Identification for High-level Synthesis
... constraints like area budget are expressed with an equivalent linear equations. The se- lection objective is represented by a linear objective function. The ILP solver optimize the objective function and gives the ...
148
A Memory Aware High Level Synthesis Tool
... Abstract We introduce a new approach to take into account the memory architecture and the memory mapping in High- Level Synthesis for data intensive applications. We formalize the memory mapping as a set of ...
3
A Novel Security Architecture Based on Multi-level Rule Expression Language
... In [7], Dasgupta & Gonzalez describe a decision support for IDS system that uses multi-level parameter monitoring. The system observes user, system and process in- formation levels using them in a Genetic ...
11
Efficient cloud tracing: From very high level to very low level
... Fig. 3. Services log output This level performs memory abstraction and achieves the mapping of the guest memory to the physical one. In such environments, the guest does not have direct access to the host memory. ...
7
Visual question answering with modules and language modeling
... In Chapter 4, we address the issue of learning the internal structure of modules used in Neural Module Networks (NMNs) and its variants. This is important because hand-specifying modules can work well for certain ...
101
Usage Scenarios for a Common Feature Modeling Language
... Kconfig and CDL [13, 14] are languages to describe the variability of systems. They are developed fully independently of the research community, by practitioners who were likely not aware of the ex- isting ...
9
Interoperability/Reusability of high level WebAudio components
... b. Oli Larkin (Developer of VirtrualCZ, Endless Series, WDL-OL/iPlug, iPlug2) ● 2 - Bringing low level DSP developers to the Web a. Stéphane Letz (senior researcher at GRAME, Lyon, co-author of the FAUST ...
19
High-Level Energy Estimation for DSP Systems
... Fig. 5. FIR16 Energy Estimations and Measures 5 Conclusion We propose a new approach to estimate the energy consumption of a DSP’s applica- tion. It relies on a set of rules that permit, given specific parameters ...
11
Modeling Long and Short-term prosody for language identification
... 6. Experiments All the experiments are made on the MULTEXT corpus [19] (a subset of EUROM1), which contains 5 languages (English, French, German, Italian and Spanish), and 10 speakers per language, balanced ...
5
Specification and Proof of High-Level Functional Properties of Bit-Level Programs
... added to help provers. 3.3 Strategy for Isolating Bit-Level Reasoning The set of operators that we defined so far is expressive enough to formally specify pro- grams. In order to discharge VCs a first idea would ...
16
Task Level Parallelization for Seismic Modeling and Inversion
... Unité de recherche Inria Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 Villers Lès Nancy Unité de recherche Inria Rennes, Irisa, [r] ...
17
Common Pattern Modeling Language for Object and Component Architectures
... pattern modeling language as a new representation of patterns to ease their application and categorization in software ...pattern modeling language for software ...
17