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

TOOLS FOR DISTRIBUTED APPLICATION MANAGEMENT

COMPUTER 1991年第8期24卷 42-51页

作者： MARZULLO, K COOPER, R WOOD, MD BIRMAN, KP Cornell Univ. Ithaca NY

The issues of managing distributed applications are discussed, and a set of tools, the meta system, that solves some longstanding problems is presented. The Meta model of a distributed application is described. To make the discussion concrete, it is shown how NuMon, a seismological analysis system for monitoring compliance with nuclear test-ban treaties is managed within the Meta framework. The three steps entailed in using Meta are described. First the programmer instruments the application and its environment with sensors and actuators. The programmer then describes the application structure using the object-oriented data modeling facilities of the authors' high-level control language, Lomita. Finally, the programmer writes a control program referencing the data model. Meta's performance and real-time behavior are examined

关键词： Lomita Meta model NuMon actuators application structure control program data structures distributed application management distributed processing geophysics computing high-level control language nuclear test-ban treaties object-oriented data modeling object-oriented databases object-oriented programming real-time behavior real-time systems seismological analysis system seismology sensors

来源：评论

学校读者我要写书评

暂无评论

COMPUTATIONAL IDENTIFICATION OF CONJUGATE PATHS FOR ESTIMATION OF PROPERTIES OF ORGANIC-COMPOUNDS

引用

MOLECULAR SIMULATION 1993年第2-4期11卷 205-228页

作者： PRICKETT, SE CONSTANTINOU, L MAVROVOUNIOTIS, ML UNIV MARYLAND DEPT CHEM ENGNCOLL PKMD 20742 UNIV MARYLAND INST SYST RESCOLL PKMD 20742

We have developed and implemented a computer-based method to generate and enumerate all conjugate forms of acyclic organic compounds. These algorithms are used in a new approach for the estimation of thermodynamic and physical properties of acyclic organic compounds from their molecular structure. The approach is based on the contributions of Atoms and Bonds in the properties of Conjugate forms (ABC) of a compound and has produced more accurate results than group-contribution methods. Generating all conjugate forms of the molecule whose properties we wish to estimate is necessary in the application of this technique. The use of symbolic computing environments allows the flexible representation and manipulation of molecular structures. Atoms, bonds, molecules, and other entities are represented as interconnected objects. The generation, comparison, and analysis of conjugates are carried out through computer-based manipulation of the objects and their interconnections.

关键词： PROPERTY ESTIMATION CONJUGATE FORM MOLECULAR STRUCTURE object-oriented programming CONJUGATION

来源：评论

学校读者我要写书评

暂无评论

Developing programming Tools to Reach a Deeper Understanding of Advanced programming Concepts

引用

COMPUTER APPLICATIONS IN ENGINEERING EDUCATION 2008年第4期16卷 305-314页

作者： Licea, Guillermo Juarez, J. Reyes Martinez, Luis G. Aguilar, Leocundo Univ Baja California Tijuana 14418 Baja California Mexico

This article describes the experience and results obtained teaching non-common lava features, in advanced undergraduate object-oriented programming courses. The teaching approach proposed helps students to reach a deeper level of programming expertise, while accomplishing specific assignments that integrate a class framework that supports implementation of medium size client-server applications. (C)2008 Wiley Periodicals. Inc. Comput Appl Eng Educ 16: 305-314, 2008: Published online in Wiley InterScience (***): DOI 10.1002/cae.20127

关键词： object-oriented programming Java teaching

来源：评论

学校读者我要写书评

暂无评论

Recent developments in the PHENIX software for automated crystallographic structure determination

引用

JOURNAL OF SYNCHROTRON RADIATION 2004年第1期11卷 53-55页

作者： Adams, PD Gopal, K Grosse-Kunstleve, RW Hung, LW Ioerger, TR McCoy, AJ Moriarty, NW Pai, RK Read, RJ Romo, TD Sacchettin, JC Sauter, NK Storoni, LC Terwilligerf, TC Univ Calif Berkeley Lawrence Berkeley Lab Berkeley CA 94720 USA Texas A&M Univ Dept Comp Sci College Stn TX 77843 USA Los Alamos Natl Lab Biophys Grp Los Alamos NM 87545 USA Univ Cambridge Dept Haematol Cambridge Inst Med Res Cambridge CB2 2XY England Texas A&M Univ Dept Biochem & Biophys College Stn TX 77843 USA

A new software system called PHENIX (Python-based Hierarchical ENvironment for Integrated Xtallography) is being developed for the automation of crystallographic structure solution. This will provide the necessary algorithms to proceed from reduced intensity data to a refined molecular model, and facilitate structure solution for both the novice and expert crystallographer. Here we review the features of PHENIX and briefly describe the recent advances in infrastructure and algorithms.

关键词： PHENIX Python object-oriented programming strategies

来源：评论

学校读者我要写书评

暂无评论

Scala and Lift - Functional Recipes for the Web

引用

IEEE INTERNET COMPUTING 2009年第3期13卷 88-92页

作者： Ghosh, Debasish Vinoski, Steve Anshinsoft Verivue

Today, there's significant interest in functional languages and frameworks that fit the Web better than imperative languages. We explore Scala, an OO-functional language on the Java virtual machine, and Lift, a framework implemented on Scala's functional features. The Scala language offers functional programming features and asynchronous message-passing concurrency alongside a statically typed model. Lift exploits this model to offer secure, higher-level abstractions to Web developers.

关键词： Internet Java concurrency control functional languages functional programming message passing object-oriented languages object-oriented programming virtual machines Java virtual machine Lift Scala World Wide Web asynchronous message-passing concurrency higher-level abstractions object-oriented-functional language actor closure functional Web functional language pattern match Pattern matching object oriented programming Functional programming World Wide Web Internets Concurrency control level of abstraction object oriented programming languages Java Virtual Machine (JVM) actor lift message passing

来源：评论

学校读者我要写书评

暂无评论

Supporting object accesses in a Java processor

引用

IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES 2000年第6期147卷 435-443页

作者： Vijaykrishnan, N Ranganathan, N Penn State Univ Dept Comp Sci & Engn University Pk PA 16802 USA Univ S Florida Dept Comp Sci & Engn Tampa FL 33620 USA

Due to Java's object-based nature and support for garbage collection, efficient object manipulation and relocation are critical to the execution speed of Java code. Java Virtual Machine implementations that utilise handle representation such as Sun's Java Development Kit 1.1 enable efficient object relocation at the cost of an additional indirection for each object access. The direct address object representations such as those used in CACAO and NET compiler eliminate the indirection overhead, but update during object relocation is complex. A virtual address object cache that reduces the indirection overhead while maintaining the efficiency of object relocation is proposed. The objects in the virtual address cache are addressed directly using the object reference and field offset pair. This eliminates the indirection overhead and off-set addition overhead associated with the handle representation model. A hardware object table that maintains the handles is used to obtain the actual object location on a virtual address cache miss. The performance of the virtual address cache is analysed using various Java programs, and is found to reduce 1.5 cycles per object access on an average as compared to the handle representation model for the various benchmarks studied.

关键词： object accesses direct address object representations Compilers, interpreters and other processors program processors object-based nature object-oriented programming virtual address object cache object relocation Java code hardware object table File organisation storage management garbage collection object-oriented programming object reference Java Java processor

来源：评论

学校读者我要写书评

暂无评论

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent object-oriented Software

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2014年第10期40卷 971-992页

作者： Araujo, Wladimir Briand, Lionel C. Labiche, Yvan Juniper Networks Sunnyvale CA 94089 USA Univ Luxembourg SnT Ctr L-1359 Luxembourg Luxembourg Carleton Univ Dept Syst & Comp Engn Ottawa ON K1S 5B6 Canada

Design by contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality object-oriented software. Though there exists ample support for DbC for sequential programs, applying DbC to concurrent programs presents several challenges. Using Java as the target programming language, we tackle such challenges by augmenting the Java Modelling Language (JML) and modifying the JML compiler (jmlc) to generate runtime assertion checking code to support DbC in concurrent programs. We applied our solution in a carefully designed case study on a highly concurrent industrial software system from the telecommunications domain to assess the effectiveness of contracts as test oracles in detecting and diagnosing functional faults in concurrent software. Based on these results, clear and objective requirements are defined for contracts to be effective test oracles for concurrent programs whilst balancing the effort to design them. Effort is measured indirectly through the contract complexity measure (CCM), a measure we define. Main results include that contracts of a realistic level of completeness and complexity can detect around 76 percent of faults and reduce the diagnosis effort for such faults tenfold. We, therefore, show that DbC can be applied to concurrent software and can be a valuable tool to improve the economics of software engineering.

关键词： Software/Program Verification-programming by contract Software Quality/SQA-Measurement applied to SQA and V&V Concurrent programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

An object-oriented Class Organization for Global-Local Generalized Finite Element Method

引用

LATIN AMERICAN JOURNAL OF SOLIDS AND STRUCTURES 2016年第13期13卷 2529-2551页

作者： Malekan, Mohammad Barros, Felicio B. Pitangueira, Roque L. S. Alves, Phillipe D. Univ Fed Minas Gerais Sch Engn Grad Program Struct Engn PROPEEs Belo Horizonte MG Brazil Univ Illinois Dept Civil & Environm Engn 205 North Mathews Ave Urbana IL USA

This paper shows and discusses a generic implementation of the global-local analysis toward generalized finite element method (GFEM(gl)). This implementation, performed into an academic computational platform, follows the object-oriented approach presented by the authors in a previous work for the standard version of GFEM in which the shape functions of finite elements are hierarchically enriched by analytical functions, according to the problem behavior. In global-local GFEM, however, the enrichment functions are constructed numerically from the solution of a local problem. This strategy allows the use of a coarse mesh even when the problem produces complex stress distributions. On the other hand, a local problem is defined where the stress field presents high gradients and it is discretized using a large number of elements. The results of the local problem are used to enrich the global problem which improves the approximate solution. The great advantage is allowing a well-refined description of the local problem, when necessary, avoiding an overburden for the computation of the global solution. Details of the implementation are presented and important aspects of using this strategy are highlighted in the numerical examples.

关键词： Generalized finite element method eXtended finite element method object-oriented programming Global-local Enrichment function

来源：评论

学校读者我要写书评

暂无评论

object-oriented HYBRID INTELLIGENT CAD SYSTEM

引用

COMPUTERS IN INDUSTRY 1992年第1期20卷 1-9页

作者： ZEILER, W KROPMAN BV MECH CONTRACTING2288 EK RIJSWIJKNETHERLANDS

In this paper we present the Kropman ICAD project, the development of a computer aided design system. Up to the present the use of the computer in the engineering phase of building services design is limited to automized drawing, assisted by a number of stand-alone applications. The future CAD system must be able to support the entire engineering process. This can be achieved by providing the CAD system with an amount of knowledge, which implies an intelligent CAD system. By means of a hierarchical, functional structuring of the installation, based on a metamodel, it is possible to consider the entire system from different views. The base of the ICAD concept is an object-oriented specification language, developed by Kropman B.V. With this language the model can be described and processed until it meets the functional specifications. object-oriented programming (OOP) is a new programming concept rapidly entering mainstream software development. The combination of artificial intelligence and OOP is being heralded as the technology that will lead to computer integrated manufacturing, which could improve competitiveness.

关键词： object-oriented programming CAD ARTIFICIAL INTELLIGENCE ICAD

来源：评论

学校读者我要写书评

暂无评论

An automatic class generation mechanism by using method integration

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2000年第5期26卷 425-440页

作者： Maruyama, K Shima, K NTT Commun Corp Media Technol Dev Ctr Shinjuku Ku Tokyo 1631421 Japan NTT Mobile Commun Network Inc Multimedia Labs Yokosuka Kanagawa 2398536 Japan

This paper presents a mechanism for automatically generating new classes from classes existing in a library by using their modification histories. To generate classes that are likely to meet programmer's requirements and that are consistent with the existing classes, we propose three actors, a Specifier, a Finder, and an Integrator. The Specifier records the history of modifications between methods with the same interface of a parent class and its heir. If the required method is not defined in the existing class which a programmer is referring to, the Finder retrieves classes similar to the referenced class and the Integrator applies the past modifications of similar classes to the referenced class. Classes are determined to be similar based on their positions in a class hierarchy tree. Both the Specifier and Integrator are achieved by using a method integration algorithm based on object-oriented bounded program slicing and class dependence graph matching. This mechanism enables programmers to reuse classes with little or no modification and, thus, easily create object-oriented programs.

关键词： object-oriented programming inheritance program integration program slicing program transformation dependency analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：