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

14th AcM SIGPLAN/SIGBED conference on languages, compilers and Tools for Embedded Systems

作者： Beemster, Marcel ACE Associated Compiler Experts bv Netherlands

ISBN: (纸本)9781450320856

contrary to predictions of its demise, c remains a dominant programming language, especially in embedded systems. Speed and transparency dictate that it will be so for the next decade, despite its supposed unsuitability for programming parallel architectures. A flexible compiler development system is a unique vehicle to bend the c language and its implementation to the developers' will. Using hard-won experience in applying extended versions of c to diverse parallel architectures, c's potential in the dark ages of multi-core programming is examined.

关键词： languages Performance c programming language multi-core mapping implementation efficiency

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Design and Practice of programming Teaching Platform Based on cloud computing and Streaming Media Technology 2

Design and Practice of Programming Teaching Platform Based o...

引用

2nd Asia-Pacific computer Technologies conference (APcT)

作者： Yan, Jingxiong Huang, Jia Pan, Liang Lu, Ying Tang, Richeng Nantong Inst Technol Sch Comp & Informat Engn Nantong Peoples R China Nantong Vocat Univ Technician Coll Nantong Peoples R China Dongguan City Coll Dongguan Peoples R China

ISBN: (纸本)9798350336115

In order to improve innovation, promote the combination of theoretical teaching and experimental teaching, and give full play to the practical application of cloud computing and streaming media technology in course teaching, a c language programming online teaching and experimental environment construction method based on cloud computing and streaming media technology was designed. Build Linux, FreeBSD, Windows and other operating systems on the basis of KVM virtual machine technology, extend the c language experimental environment from single-machine mode to the cloud with JupyterLab, and realize the data monitoring of teaching cloud platform experimental environment with Webservice and other technologies. RTMP protocol is used to transmit streaming media online video teaching data. This environment can meet the daily cloud learning needs of teachers and students, improve the teaching effect of c language programming, and realize the expansion of the experimental environment from single Pc to Android, iPad, iPhone and other mobile terminals, so as to facilitate students to practice in fragmented time in their spare time. This will help to achieve the goal of cultivating applied talents for computer majors.

关键词： Linux c programming language cloud computing KVM RTMP

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

calling chapel code: Interoperability Improvements 6

Calling Chapel Code: Interoperability Improvements

引用

6th Annual AcM SIGPLAN chapel Implementers and Users Workshop (cHIUW)

作者： Duncan, Lydia Iten, David Cray Inc Seattle WA 98164 USA Cray Inc Bloomington MN USA

Since cHIUW last year, the chapel team has undertaken an effort to improve the ability to call chapel code from other languages. This talk will cover a few areas of improvement: using chapel code as a library from c, ... 详细信息

ISBN: (纸本)9781450368001

关键词： c programming language Fortran Python Arrays chapel as a library

来源：评论

学校读者我要写书评

暂无评论

A Systemc-Based Framework for the Simulation of Appliances Networks in Energy-Aware Smart Spaces

A SystemC-Based Framework for the Simulation of Appliances N...

引用

1st IEEE World Forum on Internet of Things (WF-IoT)

作者： Nacci, A. A. Bettinazzi, G. Pilato, c. Rana, V. Santambrogio, M. D. Sciuto, D. Politecn Milan Milan Italy

ISBN: (纸本)9781479934591

The efficient energy management of buildings is nowadays a crucial point to move toward a sustainable planet. Unfortunately, the design of smart buildings able to optimize their energy consumption is a quite complex task. Since this exploration cannot be performed on the field, simulation methodologies are usually adopted to study the behavior of buildings and their energy sustainability during the design phase. This paper proposes a simulation framework based on Systemc to easily evaluate different policies to control the energy consumption of a smart space. In particular, Systemc makes it possible to obtain a flexible representation of the system, allowing the designer to easily evaluate different configurations of appliances and policies, and it directly works with the commonly-used c programming language.

关键词： c language building management systems domestic appliances energy conservation sustainable development c programming language Systemc-based framework appliances networks simulation energy consumption energy management energy sustainability energy-aware smart spaces smart buildings Aerospace electronics Batteries Energy consumption Generators Hardware Home appliances Sockets

来源：评论

学校读者我要写书评

暂无评论

Pc controlled toothbrush/dentifrice abrasion machine

引用

Journal of Medical Systems 1999年第1期23卷 27-33页

作者： Bal, Güngör Üçtaşli, Sadullah Bekiroǧlu, Erdal University of Gazi Electrical Education Beşevler 06500 Ankara Turkey University of Ankara Faculty of Dentistry Beşevler 06500 Ankara Turkey

A toothbrush/dentifrice abrasion machine was developed to use in dental research laboratory. The mechanism was designed as a hexagonal block driven by two stepping motors which move the mechanism in four directions. In order to control the stepping motors speed, position and direction commands or signals were generated by a software written in c programming language and then these commands were applied the stepping motor drives through parallel port of a personal computer. The toothbrush/dentifrice abrasion machine was finally used to measure different longevity of tooth brush. It was experimentally shown that the mechanism can be used for highly accurate position and speed applications.

关键词： c programming language Stepping motor Toothbrush/dentifrice

来源：评论

学校读者我要写书评

暂无评论

Improving the strong parallel scalability of cFD schemes via the swept domain decomposition rule 55

Improving the strong parallel scalability of CFD schemes via...

引用

55th AIAA Aerospace Sciences Meeting

作者： Alhubail, Maitham Wang, Qiqi 77 Massachusetts Ave CambridgeMA United States

ISBN: (数字)9781624104473

ISBN: (纸本)9781624104473

We demonstrate a novel method to facilitate the application of the swept decomposition rule to complex stencil update formulas typically used in computational fluid dynamics. The method decomposes an update formula into sub-stages that accesses only the nearest neighboring grid points. This decomposition can be computed automatically, given a high-level description of the stencil update formula. The decomposed stages are then algorithmically encoded in the c programming language, and inserted into a parallel solver using the swept decomposition rule. In the full paper, we will assess how much this approach improves the strong scalability of some popular schemes used in computational fluid dynamics. © 2017 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： computational Fluid Dynamics c programming language Heat Equations Euler Equations Finite Difference Scheme Parallel computing Gas Dynamics Scientific computing Parallel computers Midpoint Method

来源：评论

学校读者我要写书评

暂无评论

Preparing an Educational Module on File Pointer Exploitation in c

Preparing an Educational Module on File Pointer Exploitation...

引用

作者： Ratliff, Derek Michael Arizona State University

学位级别：M.S., Master of Science/Master of Surgery

As computing evolves and libraries are produced for developers to create efficient software at a faster rate, the security of a modern program is an area of great concern because complex software breeds vulnerabilities. Due to the criticality of computer systems security, cybersecurity education must maintain pace with the rapidly evolving technology industry. An example of growth in cybersecurity education can be seen in *** – a publicly available resource composed of modules that teach computer systems security. In reaction to the demand for the expansion of cybersecurity education, the *** developers designed a new set of modules for a course at Arizona State University and offered the same modules for public use. One of these modules, the “babyfile” module, was intended to focus on the exploitation of FILE structures in the c programming language. FILE structures allow for fast and efficient file operations. Unfortunately, FILE structures have severe vulnerabilities which can be exploited to attain elevated privileges for reading data, writing data, and executing instructions. By researching the applications of FILE structure vulnerabilities, the babyfile module was designed with twenty challenges that teach *** users how to exploit programs by misusing FILE structures. These challenges are sorted by increasing difficulty and the intended solutions utilize all the vulnerabilities discussed in this paper. In addition to introducing users to exploits against FILE structures, babyfile also showcases a novel attack against the virtual function table, which is located at the end of a FILE structure.

关键词： c programming language cybersecurity FILE structure Virtual function table Babyfile module

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：