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

2nd International Conference on Computing for Sustainable Global Development (INDIACom)

作者： Chandra, Tej Bahadur Dwivedi, Anuj Kumar MATS Univ Sch Informat Technol Raipur CG India Govt Vijay Bhusan Singh Deo Girls Degree Coll Jashpur Nagar CG India

ISBN: (纸本)9789380544168

Wireless Sensor Networks (WSNs) are highly coexisting, dynamic and application specific, as well as having resource constrained in nature, thus programming the sensor nodes is difficult when compared to traditional computer systems. It is most difficult task to build reliable and practical programming solutions or systems for distributed and resource-constrained wireless sensor devices. The objective of this research contribution is to present a comparative study in terms of programming approaches, its potentials and pitfalls.

关键词： Macro programming Micro programming modular programming programming Languages Wireless Sensor Network

来源：评论

学校读者我要写书评

暂无评论

Hippocampal Neurons Model Implementation on FPGA 4

Hippocampal Neurons Model Implementation on FPGA

引用

4th International Conference on Intelligent Green Building and Smart Grid (IGBSG)

作者： Li, Shuangshuang Zhang, Haiwei Zhao, Guihai Tianjin Univ Renai Coll Dept Informat Engn Tianjin Peoples R China

ISBN: (纸本)9781728121482

Hippocampus plays an important role in human cognitive function. In this paper, a modular idea is proposed. The modular implementation of hippocampal neurons model is described in detail, and the key problems of realizing hippocampal cortical neurons with FPGA (Field Programmable Gate Array) are explained. The proposed modeling algorithm based on the neuron model of FPGA is suitable for many channel models.

关键词： FPGA neurons model modular programming

来源：评论

学校读者我要写书评

暂无评论

Software engineering: tools of the profession.

Software engineering: tools of the profession.

引用

作者： Williams, Arrena Sue Naval Postgraduate School

学位级别：硕士

Software engineering is presented as a new branch of the engineering disciplines. The tools and techniques of the profession are examined in an attempt to resolve definitional ambiguities and describe the concepts or attitudes generally associated with three specific programming methodologies. Language properties supportive of the methodologies are investigated. The professional tools and language characteristics are evaluated in terms of their effect on DOD software.

关键词： software engineering modular programming structured programming top-down programming decision tables chief and programmer teams military software tactical software

来源：评论

学校读者我要写书评

暂无评论

Intel :: Isis II :: 121617-001 Utilities Users Guide for 8080 Based Development Systems Sep81

引用

2016年

[Auto Generated] PAGE RESTARTO ................................... 3-11 STACKSIZE .................................. 3-12 ORDER ...................................... 3-12 CODE ........................................ 3-12 DATA ........................................ 3-13 MEMORY .................................... 3-13 STACK ....................................... 3-13

关键词： base address based development error error messages external references file guide input file intel link locate locate command memory modular programming module modules object module program public symbols relative addresses segment segments start address

来源：评论

学校读者我要写书评

暂无评论

Function call interception techniques

引用

SOFTWARE-PRACTICE & EXPERIENCE 2018年第3期48卷 385-401页

作者： Kang, Pilsung Youngsan Univ Dept Comp Engn Junam Ro 288 Yangsan 50510 South Korea

Function call interception (FCI), or method call interception (MCI) in the object-oriented programming domain, is a technique of intercepting function calls at program runtime. Without directly modifying the original code, FCI enables to undertake certain operations before and/or after the called function or even to replace the intercepted call. Thanks to this capability, FCI has been typically used to profile programs, where functions of interest are dynamically intercepted by instrumentation code so that the execution control is transferred to an external module that performs execution time measurement or logging operations. In addition, FCI allows for manipulating the runtime behavior of program components at the fine-grained function level, which can be useful in changing an application's original behavior at runtime to meet certain execution requirements such as maintaining performance characteristics for different input problem sets. Due to this capability, however, some FCI techniques can be used as a basis of many security exploits for vulnerable systems. In this paper, we survey a variety of FCI techniques and tools along with their applications to diverse areas in the computing and software domains. We describe static and dynamic FCI techniques at large and discuss the strengths and weaknesses of different implementations in this category. In addition, we also discuss aspect-oriented programming implementation techniques for intercepting method calls.

关键词： function call interception modular programming program instrumentation

来源：评论

学校读者我要写书评

暂无评论

PCMSolver: An open-source library for solvation modeling

引用

INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY 2019年第1期119卷

作者： Di Remigio, Roberto Steindal, Arnfinn Hykkerud Mozgawa, Krzysztof Weijo, Ville Cao, Hui Frediani, Luca Arctic Univ Norway Univ Tromso Dept Chem Hylleraas Ctr Quantum Mol Sci N-9037 Tromso Norway Nanjing Univ Informat Sci & Technol Jiangsu Key Lab Atmospher Environm Monitoring & P Collaborat Ctr Atmospher Environm & Equipment Tec Sch Environm Sci & Engn Nanjing Jiangsu Peoples R China Virginia Tech Dept Chem Blacksburg VA 24061 USA

PCMSolver is an open-source library for continuum electrostatic solvation. It can be combined with any quantum chemistry code and requires a minimal interface with the host program, greatly reducing programming effort. As input, PCMSolver needs only the molecular geometry to generate the cavity and the expectation value of the molecular electrostatic potential on the cavity surface. It then returns the solvent polarization back to the host program. The design is powerful and versatile: minimal loss of performance is expected, and a standard single point self-consistent field implementation requires no more than 2 days of work. We provide a brief theoretical overview, followed by two tutorials: one aimed at quantum chemistry program developers wanting to interface their code with PCMSolver, the other aimed at contributors to the library. We finally illustrate past and ongoing work, showing the library's features, combined with several quantum chemistry programs.

关键词： continuum solvation modular programming open-source

来源：评论

学校读者我要写书评

暂无评论

Arbogast: Higher order automatic differentiation for special functions with modular C

引用

OPTIMIZATION METHODS & SOFTWARE 2018年第4-6期33卷 963-987页

作者： Charpentier, Isabelle Gustedt, Jens CNRS UMR 7357 ICube Strasbourg France Univ Strasbourg Strasbourg France INRIA Le Chesnay France

This high-level toolbox for the calculus with Taylor polynomials is named after L.F.A. Arbogast (1759-1803), a French mathematician from Strasbourg (Alsace), for his pioneering work in derivation calculus. Arbogast is based on a well-defined extension of the C programming language, modular C, and places itself between tools that proceed by operator overloading on one side and by rewriting, on the other. The approach is best described as contextualization of C code because it permits the programmer to place his code in different contexts-usual math or automatic differentiation (AD)-to reinterpret it as a usual C function or as a differential operator. Because of the type generic features of modern C, all specializations can be delegated to the compiler. The higher order AD with arbogast is exemplified on families of functions of mathematical physics and on models for complex dielectric functions used in optics.

关键词： automatic differentiation differential operators modular programming C contextualization functions of mathematical physics

来源：评论

学校读者我要写书评

暂无评论

J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2014年 300卷 71-87页

作者： Pouliasis, Konstantinos Primiero, Giuseppe CUNY Grad Ctr Dept Comp Sci New York NY USA Middlesex Univ Dept Comp Sci London England

In this paper we offer a system J-Calc that can be regarded as a typed lambda-calculus for the {->, perpendicular to} fragment of Intuitionistic Justification Logic. We offer different interpretations of J-Calc, in particular, as a two phase proof system in which we proof check the validity of deductions of a theory T based on deductions from a stronger theory T' and computationally as a type system for separate compilations. We establish some first metatheoretic results.

关键词： Typed lambda-calculus Justification Logic modular programming

来源：评论

学校读者我要写书评

暂无评论

Language Structures and Management Method in a Distributed Real-Time Environment

引用

IFAC Proceedings Volumes 1981年第1期14卷 103-113页

作者： M. Tsukamoto Electrotechnical Laboratory Tsukuba Ibaraki 305 Japan

Recent advances in hardware technology have made it economically feasible to construct micro computer controlled subsystems and to connect them to distributed real-time control systems. However it is difficult to integrate and develop the potential of subsystems without understanding or changing the existing systems. In this paper, we will introduce a new language concept and a management method to overcome the difficulties. Firstly, a concurrent programming concept, the guarding process (GP), is introduced. In the concept a program consists only of modules, each of which defines objects and servers. Using the concept, programs are described in a structured manner allowing the modules to detect incorrect sequences of interactions. Secondly, a management method that guarantees timing and response to modules, the deadline monitor (DM), is introduced. Servers may be specified with requirements of timing and response. DM fills these requirements and monitors servers' behavior. Finally, in order to deal with the exceptions raised by GP and DM, the exception handler is introduced. In the testing phase, GP reports to the handler why the algorithm is wrong nd how to use the module. The concepts are presented in a programming language and augmented by the implementation of a distributed robot system.

关键词： Distributed computing system distributed computer control concurrent programming distributed programming modular programming path expression error detection exception handling critical real-time deadline mechanism performance monitor robot

来源：评论

学校读者我要写书评

暂无评论

A COMPUTER-CONTROLLED DATA ACQUISITION-SYSTEM FOR COMBUSTION CALORIMETRIC EXPERIMENTS

引用

JOURNAL OF RESEARCH OF THE NATIONAL BUREAU OF STANDARDS 1988年第2期93卷 145-160页

作者： BUCKLEY, TJ RUKKERS, JM TWENTE UNIV TECHNOL DEPT INFORMAT ENSCHEDE NETHERLANDS

At NBS a data acquisition system for a flow calorimeter which accommodates large samples has been developed. The system is based on an instrument controller, scanners, and voltmeters, all available commercially. Detectors for temperature, gas flow rate, pressure, and gas chemical composition provide data on key operating parameters of the calorimeter. A real-time, multi-tasking, general-purpose, data acquisition program is described. Computer science concepts important to the design of the program are explained. The software is driven by tables of data loaded at the start of the experiment. Thus, program execution is changed by providing different tables of information for the data channels desired, data display, and data storage. Tasks for data acquisition, instrument control, data storage, calculations, data display, and run-time-parameter entry are activated or deactivated during the experiment by the operator. Sample results are presented to illustrate the use of the data acquisition system. The software developed for this system is well suited for the changing experiments commonly encountered in the research laboratory.

关键词： combustion computer application data acquisition flow calorimetry modular programming multiprogramming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：