检索结果-内蒙古大学图书馆

MemExplorer: From c code to Memory Allocation

JOURNAL OF LOW POWER ELEcTRONIcS 2012年第4期8卷 394-402页

作者： Laurent, Johann Rossi, Andre Sevaux, Marc Univ South Brittany Lab Lab STICC F-56100 Lorient France

In this paper, we propose to address the memory mapping problems in the software development context. Indeed, the software designers do not have both efficient methodology and tools that allow us to determine the optimum memory mapping for their applications directly from their c code program. Here, we propose mathematical model that is able to represent both all the memory conflicts generated by a given application and the memory constraints due to the memory hierarchy. Indeed in this paper, only the sub problem of optimum memory mapping for a given hierarchy is treated and not the whole problem of optimum mapping and hierarchy one. Our results, on classical digital signal processing applications, show that our methodology always generates the optimum mapping memory in reasonable time (less than 30 seconds) and that these mappings are always optimum in energy consumption point of view (energy improvement up to 75%). Our methodology is automatic since we have developed a too, MemExplorer, that generates the optimum mapping from c code and that this tool can be used by SoftExplorer (power/energy consumption estimation tool) so, this work is very user friendly for non expert engineers.

关键词： Memory Mapping Energy consumption c code Integer Linear Program Signal Processing Applications

来源：评论

学校读者我要写书评

暂无评论

Towards Recovering and Exploiting Domain Knowledge from c code: A case Study on Automotive Software

Towards Recovering and Exploiting Domain Knowledge from C Co...

引用

Software Evolution Week / IEEE conference on Software Maintenance, Reengineering, and Reverse Engineering (cSMR-WcRE)

作者： Quante, Jochen Tarabain, Mohammed Siegmund, Janet Robert Bosch GmbH Corp Res Stuttgart Germany Univ Magdeburg Magdeburg Germany Univ Passau Passau Germany

ISBN: (纸本)9781479937523

To create a software system, a lot of knowledge about the domain that it deals with is needed. This is particularly true for embedded control software, which is in close contact with physical machinery, relationships, and effects. In this paper, we investigate if and how this knowledge that was once built into the software can be recovered from the source code - and what it can be used for. We apply approaches from previous research to an engine control software and adapt it to our setting. In particular, we are constrained to pure c code with limited structure, whereas previous work has mainly dealt with object-oriented software. Despite these limiting conditions, our study shows promising results.

关键词： automobiles control engineering computing embedded systems internal combustion engines object-oriented programming ontologies (artificial intelligence) c code automotive software domain knowledge exploitation domain knowledge recovery embedded control software engine control software object-oriented software source code Automotive engineering Data mining Dictionaries Engines Ontologies Software systems

来源：评论

学校读者我要写书评

暂无评论

Asserting Functional Equivalence between c code and ScADE Models in code-to-Model Transformations 20

Asserting Functional Equivalence between C Code and SCADE Mo...

引用

5th Brazilian Symposium on Systematic and Automated Software Testing (SAST)

作者： Toennemann, Jan Aniculaesei, Adina Rausch, Andreas Tech Univ Clausthal Inst Software & Syst Engn Clausthal Zellerfeld Germany

ISBN: (纸本)9781450387552

Model-based development is on the rise and tool chains employing automated code generation from models using certified code generators are getting increasingly common. We present an approach which enables the reverse operation and creates an ANSYS ScADE model that is functionally equivalent to the c code. The main motivation behind this development is to enable original equipment manufacturers (OEMs) to further use and maintain legacy code in new development environments, rather than having to re-develop the respective functionality from scratch. While the model transformation itself is performed manually, the testing process is fully automated and enabled the transfer of existing test cases for the c function to the ScADE Test Environment. The presented approach enables white-box testing of the model, requiring the original c implementation and its original test cases as well as a bi-directional mapping of variable names between c code and ScADE model. This is done by extending the original code in a way that generates ScADE test scenarios during runtime, allowing to use these white-box test scenarios to assert functional equivalence of code and model using empirical validation.

关键词： equivalence testing code-to-model transformation test case generation c code ANSYS ScADE model white-box testing model-driven engineering test automation embedded software

来源：评论

学校读者我要写书评

暂无评论

Yet another application of the Monte carlo method for modeling in the field of biomedicine

引用

cOMPUTER METHODS AND PROGRAMS IN BIOMEDIcINE 2005年第3期78卷 223-235页

作者： cassia-Moura, R Sousa, cS Ramos, AD coelho, LcBB Valenca, MM Univ Pernambuco Inst Ciencias Biol DCF Biofis BR-50670000 Recife PE Brazil Univ Fed Pernambuco Dept Fis BR-50740540 Recife PE Brazil Univ Fed Pernambuco Dept Bioquim BR-50740540 Recife PE Brazil Univ Fed Pernambuco Dept Neuropsiquiatria BR-50740540 Recife PE Brazil

By means of Monte carlo simulations performed in the c programming language, an example of scientific programming for the generation of pseudorandom numbers relevant to both teaching and research in the field of biomedicine is presented. The relatively simple algorithm proposed makes possible the statistical analysis of sequences of random numbers. The following three generators of pseudorandom numbers were used: the rand function contained in the stdlib.h library of the c programming language, Marsaglia's generator, and a chaotic function. The statistical properties of the sequences generated were compared, identical parameter values being adopted for this purpose. The properties of two estimators in finite samples of the pseudorandom numbers were also evaluated and, under suitable conditions, both the maximum-likelihood and method of moments proved to be good estimators. The findings demonstrated that the proposed algorithm appears to be suitable for the analysis of data from random experiments, indicating that it has a large variety. of possible applications in the clinical practice. (c) 2005 Elsevier Ireland Ltd. All rights reserved.

关键词： biomedical applications c code Monte carlo calculation probabilistic model statistical analysis theoretical biophysics

来源：评论

学校读者我要写书评

暂无评论

Benchmarking static code analyzers

引用

RELIABILITY ENGINEERING & SYSTEM SAFETY 2019年 188卷 336-346页

作者： Herter, Joerg Kaestner, Daniel Mallon, christoph Wilhelm, Reinhard AbsInt GmbH Sci Pk 1 D-66123 Saarbrucken Germany Saarland Univ Saarland Informat Campus Saarbrucken Germany

We show that a widely used benchmark set for the comparison of static" = analysis tools exhibits an impressive number of weaknesses, and that the internationally accepted quantitative" = evaluation metrics may lead to useless results. The weaknesses in the benchmark set were identified by applying a sound static analysis to the programs in this set and carefully interpreting the results. We propose how to deal with weaknesses of the quantitative metrics and how to improve such benchmarks and the evaluation process, in particular for external evaluations, in which an ideally neutral institution does the evaluation, whose results potential clients can trust. We also show that sufficiently high quality of the test cases makes an automatic result evaluation possible.

关键词： Static code analysis Sound semantic analysis c code Safety-critical code Benchmarking Test case design Abstract interpretation Functional safety Tool evaluation

来源：评论

学校读者我要写书评

暂无评论

Hi Maintenance

引用

IEEE SOFTWARE 2016年第6期33卷 98-101页

作者： Holzmann, Gerard J. Jet Prop Lab Pasadena CA 91125 USA

High-maintenance code not only is verbose but also tends to rely on unstated, poorly stated, or incompletely stated assumptions. What are good ways to spot that type of code in reviews, and what are good ways to write... 详细信息

关键词： Maintenance Engineering Encoding Automata Software Algorithms Software Development code Bloat code Quality code Maintenance c code Token Expressions Thompsons Algorithm Software Maintenance

来源：评论

学校读者我要写书评

暂无评论

Effective c

引用

cOMPUTER 2020年第11期53卷 79-82页

作者： Seacord, Robert c. NCC Grp Manchester Lancs England

The world runs on code written in c, yet more can be done to help developers learn to write professional, secure, and effective c programs. This article describes why the c programming language has succeeded and what&... 详细信息

关键词： c Language Programming Security Of Data c Programming c Language c Program Security c code

来源：评论

学校读者我要写书评

暂无评论

DIBAFILL: a 3-D two-lithology diffusive model for basin infilling

引用

cOMPUTERS & GEOScIENcES 2000年第9-10期26卷 1029-1042页

作者： Quiquerez, A Allemand, P Dromart, G Ecole Normale Super Lyon Lab Sci Terre CNRS UMR 5570 F-69634 Lyon 07 France Univ Lyon 1 Lab Sci Terre CNRS UMR 5570 F-69622 Villeurbanne France Univ Lyon 1 Ctr Sci Terre CNRS ERA 2042 F-69622 Villeurbanne France

A c program based on the diffusion equation that simulates three-dimensional (3-D) basin infilling is described. The model solves the sets of non-linear differential equations by a fully implicit finite-difference method using a Newton's scheme. DIBAFILL (DIffusion BAsin inFILL) can be employed for the prediction of 3-D morphology, sediment accumulation maps, and fraction distributions, as well as for studying process-response systems in sedimentary basins. The sensitivity of the diffusion coefficient to the lithology, depositional environment and grain size, makes it possible to adapt the program for a wide range of shallow-water marine depositional systems, including siliciclastic, mixed siliciclastic/carbonate and carbonate environments. The program includes an option to run the model with a depth-dependent carbonate production law. Applications to idealized basins are presented to show the capabilities of the program at various spatial scales (reservoir and basin scales), and for different depositional environments (carbonate and siliciclastic). (c) 2000 Elsevier Science Ltd. All rights reserved.

关键词： c code diffusion model basin infill carbonate siliciclastic

来源：评论

学校读者我要写书评

暂无评论

controlling the cNc Machine using Microcontroller to Manufacture PcB

Controlling the CNC Machine using Microcontroller to Manufac...

引用

conference of Basic Sciences and Engineering Studies (SGcAc)

作者： Ali, Mohammed Abdalla. A. ELShaikh, Ahmed Mohamed. A. Babiker, Sharief F. Univ Khartoum Dept Elect & Elect Engn Khartoum Sudan

ISBN: (纸本)9781509018123

The Printed circuit Boards (PcB) has made an enormous contribution in the Electronic devices industry, this paper will present a robust cost effective method of controlling a specific designed machine to manufacture the PcBs. computer Numerical control (cNc) machine will be used and controlled by an innovative controlling method which converts the cNc machine language (G code) into a form of c programing language functions in addition to this there is an electronic circuit consisting of a microcontroller chip and motors drivers. The user just needs to draw the pattern of the circuit diagram using any available electronic circuit Simulation software and the machine will automatically respond and draw the desired circuit diagram on the PcB board. As a result of using this controlling method such machines will be affordable for electronics engineering students during project implementations as well as electronics entrepreneurs.

关键词： cNc PcB G code c code McU

来源：评论

学校读者我要写书评

暂无评论

Fast Simulation of Non-linear circuits using Semi-Analytical Solutions based on the Matrix Exponential 52

Fast Simulation of Non-linear Circuits using Semi-Analytical...

引用

IEEE International Symposium on circuits and Systems (IScAS)

作者： Serrano, J. A. Gines, A. J. Peralias, E. Univ Seville Inst Microelect Sevilla CNM CSIC Seville Spain

ISBN: (纸本)9781728133201

This paper presents a new simulation method for fast evaluation of non-linear circuits. The proposed approach solves the non-linear ordinary differential equation (ODE) set of the system using a semi-analytical solution based on the matrix exponential. The method is fully general and suitable for different circuits, including switched-capacitor (Sc) architectures, analog to digital converters (Pipeline, SAR, Sigma-Delta ADcs) or digital to analog converters. For illustration purpose in this paper, an analog signal processing front-end for discrete-time data acquisition system is considered as case study. The circuit comprises a Flip-Around Sample&Hold followed by a Programmable Gain Amplifier (PGA), based on a correlated Double-Sampling amplifier, and a back-end ADc. The model includes non-linearity associated to switches, capacitive parasitics, finite non-linear Dc-gain and non-linear settling behavior including slew-rate. comparison with traditional ODE numerical solvers shows a reduction of the computation time in almost two orders of magnitude with negligible difference in terms of accuracy.

关键词： Fast Simulation of Non-linear circuits Non-linear Ordinary Differential Equation (ODE) Matrix Exponential Switched-capacitor (Sc) Simulations Analog Front-End c code

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：