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

30th AcM Symposium on Applied computing (SAc)

作者： Bispo, Joao Reis, Luis cardoso, Joao M. P. Univ Porto Fac Engn FEUP Oporto Portugal Univ Porto INESC TEC FEUP Oporto Portugal

ISBN: (纸本)9781450331968

In many engineering and science areas, models are developed and validated using high-level programing languages and environments as is the case with MATLAB. In order to target the multicore heterogeneous architectures being used on embedded systems to provide high performance computing with acceptable energy/power envelops, developers manually migrate critical code sections to lower-level languages such as c and OpencL, a time consuming and error prone process. Thus, automatic source-to-source approaches are highly desirable. We present an approach to compile MATLAB and output equivalent c/OpencL code to target architectures, such as GPU based hardware accelerators. We evaluate our approach on an existing MATLAB compiler framework named MATISSE. The OpencL generation relies on the manual insertion of directives to guide the compilation and is also capable of generating c wrapper code to interface and synchronize with the OpencL code. We evaluated the compiler with a number of benchmarks from different domains and the results are very encouraging.

关键词： MATLAB source-to-source compiler c programming language embedded systems GPUs OpencL

来源：评论

学校读者我要写书评

暂无评论

Statically-Directed Assertion Recommendation for c Programs 43

Statically-Directed Assertion Recommendation for C Programs

引用

43rd IEEE-computer-Society Annual International computers, Software and Applications conference (cOMPSAc)

作者： Wang, cong Kang, Le Zhang, Renwei Yin, Weiliang Tsinghua Univ Sch Software Beijing Peoples R China Chinese Acad Sci Beijing Peoples R China Huawei Technol Chengdu Peoples R China

ISBN: (纸本)9781728126074

Assertions are helpful in program analysis, such as software testing and verification. The oracles encoded in the assertions help detect potential flaws and release engineers from the manually check of the reported weaknesses, which is error-prone, burdensome and time-consuming. While in practice, few engineers would write assertions during programming, and it is challenging to generate assert statements, and insert them into proper locations automatically. In this paper, we propose a statically directed assertion recommendation approach for c programs. It combines static analysis, dynamic testing, and program verification to automatically recommend and validate weakness-oriented assertions, which is defined as an assert statement used to detect program weaknesses. Firstly, we integrate a static analysis tool such as FlawFinder and some learned patterns about cWE (common Weakness Enumeration) to report potential program flaws. Secondly, we insert the corresponding assertions into the suspicious locations of those flaws. Then, we validate the program inserted with the assertions through two methods, the first is to execute the code with some test cases generated by automatic test-case generators such as Klee and Dart, and the second is to verify the program with some automatic verifier such as cPA-checker and Smack. Finally, we report on whether those flaws could be a real weakness. Experimental results show that our approach helps to find 125 real weaknesses in open source software from Github. Furthermore, our performance in detecting static analysis' true positives can reach 81.42%.

关键词： software testing static analysis assertion recommendation c programming language

来源：评论

学校读者我要写书评

暂无评论

A "Laboratory" as an Approach to Foster Writing Skills at Software Engineering Studies Learning Software Engineering is Easier When Writing courses Are Directly Applied to Lecture's content and the Problems and Examples Enrolled in

A "Laboratory" as an Approach to Foster Writing Skills at So...

引用

IEEE Global Engineering Education conference (EDUcON) - Emerging Trends and challenges of Engineering Education

作者： Kampmann, Matthias Mottok, Juergen Ostbayer TH D-93025 Regensburg Germany

ISBN: (纸本)9781538629574

Writing, with no doubt, is besides reading a core competency which allows us to "exploit" knowledge in general. It also makes possible the exploration of software engineering's core issues. Especially within this context it is necessary to master the reading of complex texts as well as to be able to write in an appropriate academic expression. With regard to studies in software engineering this seems to be obvious, but in fact the opposite is the reality. Therefore measures to improve these skills seemed to be necessarily applied. At the Ostbayerische Technische Hochschule (OTH, University of Applied Sciences, Regensburg) a new format, the so called c*lab, was installed during the winter semester 2017. This was a course which followed the principle of "Writing Across the curriculum" (WAc). Organized parallel to a lecture of learning how to program the language c, and addressing students of the first semester, the course was a complete voluntary offer in addition to the general standard courses and lectures of the faculty. Students who participated not only reflected on c and its principles, nor only on writing as a self purpose, but they also learned to express technical thoughts and ideas by the use of didactic methods. The idea to transfer also basic LATEX concepts to write a paper based on the IEEE bare_***-template were also planned. The course followed the idea of student's-centred learning This paper presents the main structure, goals, and means of the c*lab, and the theory behind. It also embeds the course within the horizon of experiences of teaching writing skills at the Laboratory for Safe and Secure Systems (LaS3) at the faculty of electronic and information engineering at the OTH Regensburg. First experiences have shown that participants increase writing skills and their idea of the importance of writing.

关键词： Writing reading writing across the curriculum WAc LATEX c programming language

来源：评论

学校读者我要写书评

暂无评论

Static Analysis of Endian Portability by Abstract Interpretation 1

引用

28th International Static Analysis Symposium (SAS)

作者： Delmas, David Ouadjaout, Abdelraouf Mine, Antoine Airbus Operat SAS 316 Route Bayonne F-31060 Toulouse 9 France Sorbonne Univ LIP6 CNRS F-75005 Paris France Inst Univ France 1 Rue Descartes F-75231 Paris 5 France

ISBN: (数字)9783030888060

ISBN: (纸本)9783030888060;9783030888053

We present a static analysis of endian portability for c programs. Our analysis can infer that a given program, or two syntactically close versions thereof, compute the same outputs when run with the same inputs on platforms with different byte-orders, a.k.a. endiannesses. We target low-level c programs that abuse c pointers and unions, hence rely on implementation-specific behaviors undefined in the c standard. Our method is based on abstract interpretation, and parametric in the choice of a numerical abstract domain. We first present a novel concrete collecting semantics, relating the behaviors of two versions of a program, running on platforms with different endiannesses. We propose a joint memory abstraction, able to infer equivalence relations between little- and big-endian memories. We introduce a novel symbolic predicate domain to infer relations between individual bytes of the variables in the two programs, which has near-linear cost, and the right amount of relationality to express (bitwise) arithmetic properties relevant to endian portability. We implemented a prototype static analyzer, able to scale to large real-world industrial software, with zero false alarms.

关键词： Formal methods Abstract interpretation Abstract domains Static analysis c programming language Portability Endianness Industrial application

来源：评论

学校读者我要写书评

暂无评论

Follow the River and You Will Find the c 11

Follow the River and You Will Find the C

引用

42nd AcM Technical Symposium on computer Science Education

作者： Lee, Jae Woo Kester, Michael S. Schulzrinne, Henning Columbia Univ Dept Comp Sci New York NY 10027 USA

ISBN: (纸本)9781450305006

We present a one-semester transition course intended to bridge the gap between a Java-based introductory sequence and advanced systems courses. We chose to structure our course as a series of lab assignments that, while independent, are also milestones in a single main project, writing a web server from scratch. By anchoring the course on a single real-world application, we were able to provide depth, instill good programming practices, give insight into systems, and generate excitement.

关键词： unix systems programming operating systems objects-first networking curriculum design cc2001 c programming language computer science education

来源：评论

学校读者我要写书评

暂无评论

Study and Application of curve Fitting to Automatic control

Study and Application of Curve Fitting to Automatic Control

引用

International conference on Future BioMedical Information Engineering

作者： Zhang, Peijun Li, Xiaoxia Wei, Hongjun Hebei Univ Engn Morern Educ Technol Ctr Handan Peoples R China Hebei Univ Engn Informat & Elect Engn Handan Peoples R China

on the basis of the basic principles of curve fitting this paper explains how to select function and solve some problems in industrial control under no mathematic model and evaluates mathematic analysis formula by usi... 详细信息

ISBN: (纸本)9781424446902

关键词： multinomial curve fitting c programming language fitting precision

来源：评论

学校读者我要写书评

暂无评论

Empirical Study of Multimedia Learning Object to Enhance Introductory programming Learning 2017

Empirical Study of Multimedia Learning Object to Enhance Int...

引用

International conference on Information Technology (IcIT)

作者： Matthews, R. Hew, S. H. Koo, A. c. Univ Nottingham Malaysia Campus Fac Engn Semenyih Selangor Malaysia Multimedia Univ Fac Creat Multimedia Cyberjaya Selangor Malaysia

ISBN: (纸本)9781450363518

Learning to write computer program for the first time is tough. The predominant focus on Multimedia Learning Object (MLO) is to explore the effectiveness in developing novice learners program writing skills. MLO is a small piece of information incorporated with media elements and interactivity to accomplish a single learning outcome. Three types of MLO namely content object (cO), example object (EO) and self-assessment object (SAO) created as programming learning tool to support three cognitive activities: learn, practice and assess. These MLO incorporated in an instructional learning setting for introductory c programming learners. A pretest-posttest two treatment experiment carried out with sample size of hundred and four. control group received non-digital learning material (review question, sample program and self-test question), treatment group1 received mixed condition (non-digital learning material;sample program and micro-level MLO;cO and SAO) and treatment group2 received macro level MLO;cO, EO, SAO in a similar instructional learning setting. The result of the study shows micro-level (MLO) are effective when cO used to activate prior knowledge and SAO to improve declarative knowledge. The EO embedded with screencast to support worked example principle seems to be less effective compared to sample program in assisting participants to write computer program. The outcome this study provides strategies to integrate several types of MLO for c programming course.

关键词： Multimedia learning object novice learners c programming language content design

来源：评论

学校读者我要写书评

暂无评论

coPTIc: constraint programming Translated Into c 29th

CoPTIC: Constraint Programming Translated Into C

引用

29th International conference on Tools and Algorithms for the construction and Analysis of Systems (TAcAS)

作者： Lester, Martin Mariusz Univ Reading Reading Berks England

ISBN: (纸本)9783031308192;9783031308208

constraint programming systems allow a diverse range of problems to be modelled and solved. Most systems require the user to learn a new constraint programming language, which presents a barrier to novice and casual users. To address this problem, we present the coPTIc constraint programming system, which allows the user to write a model in the well-known programming language c, augmented with a simple API to support using a guess-and-check paradigm. The resulting model is at most as complex as an ordinary c program that uses naive brute force to solve the same problem. coPTIc uses the bounded model checker cBMc to translate the model into a SAT instance, which is solved using the SAT solver caDicaL. We show that, while this is less efficient than a direct translation from a dedicated constraint language into SAT, performance remains adequate for casual users. coPTIc supports constraint satisfaction and optimisation problems, as well as enumeration of multiple solutions. After a solution has been found, coPTIc allows the model to be run with the solution;this makes it easy to debug a model, or to print the solution in any desired format.

关键词： constraint programming bounded model checking c programming language

来源：评论

学校读者我要写书评

暂无评论

Development of Ac Voltage Stabilizer with Microcontroller-Based control System 17

Development of AC Voltage Stabilizer with Microcontroller-Ba...

引用

IEEE 17th International conference on computer Sciences and Information Technologies (cSIT)

作者： Holovatyy, Andriy Lukaszewicz, Andrzej Teslyuk, Vasyl Ripak, Nazariy Lviv Polytech Natl Univ Dept Comp Aided Design Syst Lvov Ukraine Bialystok Tech Univ Fac Mech Engn Dept Machinery Design & Operat Bialystok Poland Lviv Polytech Natl Univ Dept Automated Control Syst Lvov Ukraine

ISBN: (纸本)9798350334319

In the paper, the model and prototype of the Ac stabilizer have been developed based on the AVR ATmega328P microcontroller. The block diagram of the device, the electronic circuit and the algorithms of the system operation have been developed. In particular, the algorithm includes software in c in the Arduino IDE. The Ac voltage stabilizer is designed using the modular principle, which makes it possible to quickly upgrade. The Ac voltage stabilizer makes it possible to maintain the supply voltage on the load within acceptable limits with significant deviations, has the ability to adjust the voltage range of the network to operate the stabilizer, manual adjustment potentiometers.

关键词： AVR ATmega328P microcontroller c programming language Arduino IDE Ac voltage stabilizer

来源：评论

学校读者我要写书评

暂无评论

Econometric and Statistical computing Using Ox

引用

computational Economics 2003年第3期21卷 277-295页

作者： cribari-Neto, Francisco Zarkos, Spyros G. Departamento de Estatística CCEN Universidade Federal de Pernambuco Recife/PE 50740-540 Brazil National Bank of Greece Athens 102 32 86 Eolou str. Greece

This paper reviews the matrix programming lanician/statistician. We focus on scientific programming using Ox and discuss examples of possible interest to econometricians and statisticians, such as random number generation, maximum likelihood estimation, and Monte carlo simulation. Ox is a remarkable matrix programming language which is well suited to research and teaching in econometrics and statistics. © 2003 Kluwer Academic Publishers.

关键词： c programming language graphics matrix programming language maximum likelihood estimation Monte carlo simulation Ox

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：