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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of a Syntax Directed Editor for a space constrained microcomputer.

The design and implementation of a Syntax Directed Editor fo...

引用

作者： Richbourg, Robert E. Naval Postgraduate School

学位级别：硕士

Syntax directed editors (SDE) have been built to support popular languages or subsets of those languages. Typically, these im- plementations require large amounts of computing resources. This work describes the design and implemtnat ion of a SDE which re- quires less than 58 thousand bytes of main memory and supports the full c programming language. Several extant SDE models are examined in an effort to define a basic set of SDE facilities. Design principles are combined with machine con- straints to produce a plan for the implementation of these facilities. A sample session with the resulting editor is provided The syntactic irregularities of the c programming language are examined. A discussion showing how language irregularities can hamper the implementation of a SDE follows. A grammatical definition of the c language is included.

关键词： Syntax directed editor programming environments c programming language design

来源：评论

学校读者我要写书评

暂无评论

Vícekamerový snímač biometrických vlastností lidského prstu

Vícekamerový snímač biometrických vlastností lidského...

引用

作者： Trhoň, Adam Brno University of Technology

Tato práce se zabývá návrhem konceptu platformy pro bezdotykové snímání otisku prstu a jeho realizací. Dále je popsán návrh, implementace a testován... 详细信息

Tato práce se zabývá návrhem konceptu platformy pro bezdotykové snímání otisku prstu a jeho realizací. Dále je popsán návrh, implementace a testování hardware implementovaného ve VHDL a programu implementovaného v c. Výstup práce lze použít jako základ při vývoji průmyslově použitelného řešení.

关键词： biometrie jazyk c VHDL Altera hardware-software codesign vícekamerový snímač otisku prstu biometrics c programming language VHDL Altera hardware-software codesign multi-camera fingerprint scanner Text

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：