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

STRUCTURED programming IN COBOL - APPROACH FOR application PROGRAMMERS

COMMUNICATIONS OF THE ACM 1977年第1期20卷 2-12页

作者： VANGELDER, A 2230 Geary Boulevard San Francisco CA

Presents techniques for designing and writing Cobol programs. Definition of a well formed Cobol program; Implementation of top-down program design flowcharts, specifications and verification; Discussion of the proper ... 详细信息

关键词： Cobol GO TO statement application programming flowchart program verification repeat statement software reliability structured programming top-down well-formed program

来源：评论

学校读者我要写书评

暂无评论

Experience Report: Functional programming of mHealth applications 13

Experience Report: Functional Programming of mHealth Applica...

引用

18th ACM SIGPLAN International Conference on Functional programming

作者： Petersen, Christian L. Goerges, Matthias Dunsmuir, Dustin Ansermino, J. Mark Dumont, Guy A. Univ British Columbia Vancouver BC V5Z 1M9 Canada

ISBN: (纸本)9781450323260

A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. The system is based on the portable Gambit Scheme programming language and provides a flexible cross-platform environment for developing graphical applications on mobile devices as well as medical instrumentation interfaces running on embedded platforms. Real world applications of this framework for mobile diagnostics, telemonitoring and automated drug infusions are reported. The source code for the core framework is open source and available at: https://***/part-cw/lambdanative.

关键词： functional programming Scheme application programming medical systems cross-platform development

来源：评论

学校读者我要写书评

暂无评论

Investigation and implementation of a tree transformation system for user friendly programming

Investigation and implementation of a tree transformation sy...

引用

作者： Chok, Mohamed B. Naval Postgraduate School

学位级别：硕士

The programming system (TTPS) described in this thesis is based on tree transformatioc techniques, commonly known as abstract transformation. The objects manipulated by the user through "TTPS" are: the templates, the transformation rules, and the programs. The templates define the syntactic and semantic language framework which will be used to parse and unparse both the rules and the program trees. The rules define the semantic behavior of the transformation process. The program represents the source tree which describes the problem to solve, and will be interpreted by a successive application of the supplied rules until they no longer apply. "TTPS" provides an appropriate environment for a large class of applications (e. g. system programming, code genera- tion, structure transformation, simulation of syntax directed editors, and other conventional applications), and supports many programming styles such as functional program- ming, conventional programming, and user defined style.

关键词： template concrete transformation rule abstract transformation rule abstract tree tree transformation tree pattern matching interpreter synthesizat ion term rewriting system application programming functional programming

来源：评论

学校读者我要写书评

暂无评论

OSA-based service platform for all-IPv6 network environments

引用

IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS 2005年第11期23卷 2172-2181页

作者： Chang, YC Chen, JL Chao, HC Kuo, SY Natl Dong Hwa Univ Dept Comp Sci & Informat Engn Hualien 974 Taiwan Natl Ilan Univ Dept Elect Engn Ilan Taiwan Natl Taiwan Univ Dept Elect Engn Taipei 106 Taiwan

The use of IP (Internet protocol) technology in the information and communications industry constitutes a major global trend. A highly efficient service architecture, enabling technologies and advanced applications are essential to rapid multimedia services in an all-IPv6 network environment. This work presents an all-IPv6 service platform based on open service architecture (OSA) to support a set of standard interfaces and applications. The all-IPv6 network environment was integrated using a network-processor-based IPv4/IPv6 translator and a mobile router (MR) supported IPv6 network mobility. The feasibility of the open service platform for all-IPv6 network environments and of the designed application programming interfaces was examined using three applications: e-commerce, video-on-demand, and on-line gaming. The performance analysis indicates that the system throughput increased from 10.5 to 60.5 Mb/s as the number of users increased from 1 to 80;the mean response time increased from approximately 1 to 10.5 ins, and the delay time increased from 0.1 to 1 ms.

关键词： all-IPv6 networks application programming interface (API) IPv4/IPv6 translator Java APIs for integrated networks (JAIN) platform network mobility open service architecture (OSA)

来源：评论

学校读者我要写书评

暂无评论

application OBJECT MODEL FOR ENGINEERING INFORMATION-SYSTEMS

引用

COMPUTER STANDARDS & INTERFACES 1991年第1-3期13卷 79-87页

作者： KRUEGER, JW HONEYWELL INC CTR SYST & RESMINNEAPOLISMN 55418

An object model for application development is introduced in the context of Engineering Information Systems (EIS) 1. The model shares features with several popular models and offers some less common ideas. such as operation-dependent state closure. The model is also unique in its position within the environment: it acts as a portability view independent of the underlying storage servers. The view-mapping is made most efficient however, if the object model of the underlying servers matches the structure of the EIS application Object Model (AOM).

关键词： INFORMATION SYSTEM DATA MODEL OBJECT MODEL OBJECT MANAGEMENT TOOL INTEGRATION DATA INTEGRATION ENGINEERING SUPPORT STANDARDS application programming

来源：评论

学校读者我要写书评

暂无评论

CAFE - THE MIT COMPUTER-AIDED FABRICATION ENVIRONMENT

引用

IEEE TRANSACTIONS ON COMPONENTS HYBRIDS AND MANUFACTURING TECHNOLOGY 1992年第3期15卷 353-360页

作者： MCILRATH, MB TROXEL, DE HEYTENS, ML PENFIELD, P BONING, DS JAYAVANT, R HEWLETT PACKARD CO DIV GRAPH TECHNOLFT COLLINSCO 80525 TEXAS INSTRUMENTS INC CTR SEMICOND PROC & DESIGNDALLASTX 75230

The computer-aided fabrication environment (CAFE) is a software system being developed at MIT for use in the manufacture of integrated circuits. CAFE is intended to be used in all phases of process design, development, planning, and manufacturing of integrated circuit wafers. While still under active development, CAFE presently provides day-to-day support to research and production facilities at MIT with both standard and flexible product lines. CAFE provides a platform for work in several active research areas at MIT, including "technology" (process and device) computer-aided design (TCAD), process modeling, manufacturing quality control, and TCAD tool integration. The CAFE architectural framework supports a wide variety of software modules, including both development tools and on-line applications. The key components of the CAFE architecture are the data model and data base schema, the process flow and wafer representations, the user interface, and the application programming and data base interfaces. All CAFE application modules store and retrieve persistent data through a common data base interface layer. Interface "wrappers" provide seamless, transparent integration of external tools and packages which have their own internal data formats.

关键词： computer-assisted User Interface Device Component data models Software systems Manufacturing Facilities process flow MASSACHUSETTS INSTITUTE OF TECHNOLOGY Integrated circuits software module application programming

来源：评论

学校读者我要写书评

暂无评论

Experience Report: Functional programming of mHealth applications

引用

ACM SIGPLAN NOTICES 2013年第9期48卷 357-362页

作者： Petersen, Christian L. Goerges, Matthias Dunsmuir, Dustin Ansermino, J. Mark Dumont, Guy A. Univ British Columbia Vancouver BC V5Z 1M9 Canada

关键词： functional programming Scheme application programming medical systems cross-platform development

来源：评论

学校读者我要写书评

暂无评论

Ontology Development for Knowledge-driven Distributed Space Mission Systems Engineering

Ontology Development for Knowledge-driven Distributed Space ...

引用

AIAA Science and Technology (SciTech) Forum and Exposition

作者： Portelli, Lindsay Sabatini, Matthew Grogan, Paul T. Stevens Inst Technol Sch Syst & Enterprises Babbio Ctr Rm 501 Hoboken NJ 07030 USA Stevens Inst Technol Sch Syst & Enterprises Babbio Ctr Rm 517 Hoboken NJ 07030 USA

ISBN: (数字)9781624105784

ISBN: (纸本)9781624105784

This paper describes the development of a Knowledge Base (KB) as a software component to support design of Distributed Spacecraft Missions (DSMs) using the Trade-space Analysis Tool for Constellations (TAT-C). The KB provides a human- and machine-readable store of information with associated semantic meta-data and an application programming interface to access this data across multiple TAT-C components. Semantic web technologies, especially ontology, facilitate organization and querying of data products. Basic Formal Ontology and Common Core Ontologies are used as upper-level ontologies. Extending from an upper level ontology increases the ease of comparing information across domains. Formal ontology also allows for modeling measurements in different units, indicating data provenance and inferring new information based on existing connections.

关键词： Ontology ontology development data products astronautical mission Systems engineering and theory systems engineering model measurement application programming information distributed spacecraft

来源：评论

学校读者我要写书评

暂无评论

Typed Business Process Specification

Typed Business Process Specification

引用

14th IEEE International Enterprise Distributed Object Computing Conference (EDOCW)

作者： Atkinson, Colin Draheim, Dirk Geist, Verena Univ Mannheim Software Engn Grp Mannheim Germany Software Competence Ctr Hagenberg Enterprise Applicat & Proc Grp Hagenberg Austria

ISBN: (纸本)9780769541631

In this paper we propose a typed approach to business process specification based on typed workflow charts. These can be exploited as a domain-specific programming language and facilitate tight integration between workflow definition and system dialogue programming. The approach also supports the integration of business process modeling and business process automation. We discuss two ways of exploiting this potential for integration, one is the design of an integrated business process management suite and the other is a software artifact tracker based on a view-based, multidimensional software modeling tool.

关键词： business process management workflow definition application programming view-based modeling

来源：评论

学校读者我要写书评

暂无评论

Framework for Cloud based Open Source VLSI Design 5

Framework for Cloud based Open Source VLSI Design

引用

5th IEEE International Conference on Recent Trends in Electronics, Information and Communication Technology (RTEICT)

作者： Suresh, Arjun Reddy, Bhargava N. Nandi, Somesh RV Coll Engn Dept E & IE Bengaluru India PES Univ Dept CSE Bengaluru India RV Coll Engn Cisco CoE IoT Bengaluru India

ISBN: (纸本)9781728197722

VLSI design is an important process towards continued development in hardware technology. Adoption of open source technology for VLSI design is generating huge interest among research communities. Open source platforms provide inherent advantages of lower cost, scaled up development and enhanced collaborative integrated management. The paper proposes a novel cloud-based platform for VLSI design that is enabled through application programming Interfaces. The open source framework is called CloudFlow. The proposed framework enhances ease of access to VLSI design tools by eliminating need for system reservation and elaborate configuration. CloudFlow has been deployed on Amazon Web Services, tested with a sample design for Random Access Memory module and evaluated. Proposed methodology achieves reduction in latency and provides enhanced ease of access. Inferences drawn for proposed deployment indicate that cloud-based open source approaches to VLSI design ushers in huge benefits and holds potential for further exploitation.

关键词： Open Source Cloud Deployment VLSI Design application programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：