• Aucun résultat trouvé

[PDF] Top 20 Mathematical tools for automatic program analysis

Has 10000 "Mathematical tools for automatic program analysis" found on our website. Below are the top 20 most common "Mathematical tools for automatic program analysis".

Mathematical tools for automatic program analysis

Mathematical tools for automatic program analysis

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

23

Evaluation of two Software Tools Dedicated for an Automatic Analysis of the CT Scanner Image Spatial Resolution

Evaluation of two Software Tools Dedicated for an Automatic Analysis of the CT Scanner Image Spatial Resolution

... Abstract—An evaluation of two software tools dedicated for an automatic analysis of the CT scanner image spatial resolution is presented in this paper. The methods evaluated consist of ... Voir le document complet

5

Software Tools Dedicated for an Automatic Analysis of the CT Scanner Quality Control's Images

Software Tools Dedicated for an Automatic Analysis of the CT Scanner Quality Control's Images

... used for the quality control of the CT ...used for radiation therapy ...thickness for the CT examination of the phantom is 1mm or less and the slice distance is 1 ... Voir le document complet

14

An automatic parametric approach for WCET analysis of C programs

An automatic parametric approach for WCET analysis of C programs

... a program takes a symbolic state and a rule which corresponds to the block action of the sub-scope referred to by SP and returns the symbolic states resulting from the execution of the ...block for the ... Voir le document complet

9

Multivariate mathematical morphology for DCE-MRI image analysis in angiogenesis studies

Multivariate mathematical morphology for DCE-MRI image analysis in angiogenesis studies

... powerful tools for segmenting images and was introduced in Beucher and Lantuéjoul ...markers for each region of ...especially for generic images, is a difficult ... Voir le document complet

26

Sequence-to-sequence learning for machine translation and automatic differentiation for machine learning software tools

Sequence-to-sequence learning for machine translation and automatic differentiation for machine learning software tools

... of tools from which they can choose, particularly if they are using the Python language (Paszke et ...These tools can generally be characterized as trading off research or pro- duction use cases, and can be ... Voir le document complet

180

Mathematical Analysis of a System for Biological Network Formation

Mathematical Analysis of a System for Biological Network Formation

... ological tools use discrete models as in [4, 5, 12] to explain conductance ...more mathematical manner, see [3] and the references ...explanation for networks topological structures, purely local and ... Voir le document complet

35

Combining Static Analysis and Test Generation for {C} Program Debugging

Combining Static Analysis and Test Generation for {C} Program Debugging

... methods for program ...static analysis and structural testing of C ...existing tools: Frama- C, a framework for static analysis of C programs, and PathCrawler, a structural test ... Voir le document complet

3

Fast, Optimized Sun RPC Using Automatic Program Specialization

Fast, Optimized Sun RPC Using Automatic Program Specialization

... general program specialization ...designers. For instance, copy-on-write [12] was the technique which made message passing efficient enough to allow operating systems to be designed based on a micro-kernel ... Voir le document complet

23

Some mathematical tools for the Lenski experiment

Some mathematical tools for the Lenski experiment

... No mathematical theories can be accepted by biologists without a most careful experimental ...the mathematical theory of the struggle for existence developed by Vito Volterra: “This work is connected ... Voir le document complet

27

A mathematical model for automatic differentiation in machine learning

A mathematical model for automatic differentiation in machine learning

... process. For piecewise smooth functions which nonsmoothness can be described using the absolute value function (abs-normal form), [25] developped a piecewis linearisation formalism and local approximation related ... Voir le document complet

21

Performance analysis using automatic grouping

Performance analysis using automatic grouping

... The first tool, TraceCompare, was developed in the DORSAL laboratory [9]. It creates an enhanced Calling Context Tree to measure the metrics from specific segments of a trace. Those segments are defined by the user as ... Voir le document complet

8

Analysis Tools for Interconnected Boolean Networks With Biological Applications

Analysis Tools for Interconnected Boolean Networks With Biological Applications

... module, for each specific task (signaling, metabolic, physiological, ...context, mathematical tools are necessary to facilitate the analysis of the complex behavior obtained from the ... Voir le document complet

19

Initiating a Benchmark for UML and OCL Analysis Tools

Initiating a Benchmark for UML and OCL Analysis Tools

... and tools, similar to what other communities in Software Engineering are already ...OCL analysis technique should ...need for such a benchmark was one of the outcomes of the last OCL ...generally, ... Voir le document complet

17

Automatic Dream Sentiment Analysis

Automatic Dream Sentiment Analysis

... Abstract In this position paper, we propose a first step toward automatic analysis of sentiments in dreams. 100 dreams were sampled from a dream bank created for a normative study of dreams. Two ... Voir le document complet

6

Automatic facial action analysis

Automatic facial action analysis

... In the example above, each of the four datasets was illustrated using the same basic design. This was possible because the datasets were relatively similar. However, if one of the d[r] ... Voir le document complet

59

Automatic speech analysis for early Alzheimer's disease diagnosis

Automatic speech analysis for early Alzheimer's disease diagnosis

... speech for early diagnosis of these diseases by extracting features from voice of patients and using two classification ...perspective for future work in Section ... Voir le document complet

4

Automatic Program Repair with Condition Synthesis and Compound Mutations

Automatic Program Repair with Condition Synthesis and Compound Mutations

... Existing program repair tools [21, 28, 33] often destroy the structure of the original source by inlining all header files and renamining all local variables in their generated patched source ... Voir le document complet

16

Mathematical issues in mechanical tolerance analysis

Mathematical issues in mechanical tolerance analysis

... Tolerance analysis, Mathematical issues, Overview 1 Introduction As technology increases and performance requirements continually tighten, the cost and the required precision of assemblies increase as ... Voir le document complet

13

Mathematical issues in mechanical tolerance analysis

Mathematical issues in mechanical tolerance analysis

... tolerance analysis, the basic requirement becomes the maximum or minimum clearance on a required feature that would have an impact on the mechanism’s ...that for all the possible gap configurations of the ... Voir le document complet

13

Show all 10000 documents...