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

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

来源：评论

学校读者我要写书评

暂无评论

Refinedc: Automating the Foundational Verification of c code with Refined Ownership Types 2021

RefinedC: Automating the Foundational Verification of C Code...

引用

42nd AcM SIGPLAN International conference on programming language Design and Implementation (PLDI)

作者： Sammler, Michael Lepigre, Rodolphe Krebbers, Robbert Memarian, Kayvan Dreyer, Derek Garg, Deepak MPI SWS Saarbrucken Germany Radboud Univ Nijmegen Nijmegen Netherlands Univ Cambridge Cambridge England

ISBN: (纸本)9781450383912

Given the central role that c continues to play in systems software, and the difficulty of writing safe and correct c code, it remains a grand challenge to develop effective formal methods for verifying c programs. In this paper, we propose a new approach to this problem: a type system we call Refinedc, which combines ownership types (for modular reasoning about shared state and concurrency) with refinement types (for encoding precise invariants on c data types and Hoare-style specifications for c functions). Refinedc is both automated (requiring minimal user intervention) and foundational (producing a proof of program correctness in coq), while at the same time handling a range of low-level programming idioms such as pointer arithmetic. In particular, following the approach of RustBelt, the soundness of the Refinedc type system is justified semantically by interpretation into the coq-based Iris framework for higherorder concurrent separation logic. However, the typing rules of Refinedc are also designed to be encodable in a new "separation logic programmingz language we call Lithium. By restricting to a carefully chosen (yet expressive) fragment of separation logic, Lithium supports predictable, automatic, goal-directed proof search without backtracking. We demonstrate the effectiveness of Refinedc on a range of representative examples of c code.

关键词： c programming language separation logic ownership types refinement types proof automation Iris coq

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A Simulation Authoring System for cooperation and conflict Situations

引用

Social Science computer Review 1988年第1期6卷 12-26页

作者： Oppenheimer, Joe Winer, Mark Department of Government and Politics University of Maryland United States University of Maryland United States

In the social sciences simulations have historically been used to test mathematically oriented models statistically. At least since Richardson tested his theory of arms races, they have been a respected research technique. Since Tucker's invention of the prisoner dilemma game, experimental methods have been used to develop controlled testing of game-theoretic hypotheses of social behavior. Yet experimental tests and simulations are rarely an integral part of the curriculum for social science undergraduates. Most recently, computers have been used to generate increasing control over the experimental environment. We report on software we are writing that permits students to author experiments and simulations. It is designed to generate pedagogically useful and fully operational social science laboratory experiments with great ease and without substantial constraints. We report on its pedagogic and research applications as well as its general technical structure Keywords: authoring system, laboratory experiment, pedagogy, political science, research, simulation, simulation design, social behavior, social science. © 1988, Sage Publications. All rights reserved.

关键词： Authoring Aids (Programing) computer Assisted Instruction computer Simulation Experiential Learning Higher Education Social Science ResearchIBM Personal computer c programming language

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A SAT2IP cLIENT SOFTWARE THAT IS BASED ON RTSP PROTOcOL 22

A SAT2IP CLIENT SOFTWARE THAT IS BASED ON RTSP PROTOCOL

引用

22nd Telecommunications Forum Telfor (TELFOR)

作者： Markovic, Stanislav Acanski, Milan Bako, Miroslav Mudri, Sasa Univ Novom Sadu Fak Tehn Nauka Trg Dositeja Obradov 6 Novi Sad 21000 Serbia Istrazivacki Inst RT RK Novi Sad 21000 Serbia

ISBN: (纸本)9781479961917

The paper presents an implementation of client software for reception of television program from a SAT2IP server. The client software is written in c programming language, for Linux operating system. RTSP protocol is used for command connection, and RTP-RTcP for transmission of media stream. Both unicast and multicast operation are supported. The client can be integrated in Set Top Box software stack, in order to support IP television.

关键词： c language IPTV Linux media streaming transport protocols c programming language IP television Linux operating system RTP-RTcP RTSP protocol SAT2IP client software SAT2IP server multicast operation television program unicast operation Digital video broadcasting IP networks Servers Software TV Unicast

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An Overview of the Julia programming language 18

An Overview of the Julia Programming Language

引用

International conference on computing and Big Data (IccBD)

作者： cabutto, Tyler A. Heeney, Sean P. Ault, Shaun V. Mao, Guifen Wang, Jin Valdosta State Univ Dept Comp Sci Valdosta GA 31698 USA Valdosta State Univ Dept Math Valdosta GA USA

ISBN: (纸本)9781450365406

The paper reviews what the Julia programming language is and its staying power relative to other popular programming languages. The following focuses on two popular programming languages (c programming and Python programming) to obtain a deeper understanding of what Julia derives from them, how Julia deviates from them, and what Julia leverages to be a more reasonable choice for performance.

关键词： Julia programming language c programming language Python programming language FORTRAN

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：