# [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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

... 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

Sujets connexes