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

8th Ph. D. Retreat of the HPI Research School on Service-oriented systems Engineering

作者： Felgentreff, Tim Software Architecture Group Hasso-Plattner-Institut Germany

ISBN: (纸本)9783869563206

Constraints provide a useful technique for ensuring that desired properties hold in an application. As a result, they have been used in a wide range of applications, including graphical layout, simulation, scheduling, and problem-solving. We have previously proposed a design, Babelsberg, for a family of object-constraint languages that cleanly integrates constraints with the underlying language in a way that respects encapsulation and standard object-oriented programming techniques. However, our work on Babelsberg has relied on modifying the underlying virtual machine, but that is not an option for web-based applications, which have become increasingly prominent. We thus present an approach to implementing Babelsberg without virtual machine support, along with an implementation as a JavaScript extension. We demonstrate the resulting language, Babelsberg/JS, on a number of applications and provide performance measurements. Programs without constraints in Babelsberg/JS run at the same speed as pure JavaScript versions, while programs that do have constraints can still be run efficiently. Our design and implementation also incorporate incremental re-solving to support interaction, as well as a novel cooperating solvers architecture that allows multiple solvers to work together to solve more difficult problems. © 2015 Universitatsverlag Potsdam. All rights reserved.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 38th Australasian Computer Science conference, ACSC 2015

Proceedings of the 38th Australasian Computer Science Confer...

引用

Proceedings of the 38th Australasian Computer Science conference, ACSC 2015

ISBN: (纸本)9781921770418

This proceedings contains 14 papers. ACSC 2015 focuses on all fields of Computer Science research and topics include: Algorithms Logic and Logic programming;Artificial Intelligence Mobile Computing;Communications and Networks Multimedia;Compilers Natural Language;Computer Architecture object-oriented systems;Computer Vision Operating systems;Computational Geometry Pattern Matching and Image Processing;Concurrency Persistence;Databases programming languages;Data Structures Real-time systems;Distributed systems;Reliability;E-Commerce;Robotics;Education Security;Embedded systems;Scientific Computing;Fault Tolerance Simulation;Forensic Computing Software Engineering;Formal Methods Speech;Functional programming Theory;Graphics Trusted systems;High Performance Computing Visualization;Human-Computer Interaction, etc. The key terms of this proceedings include compressive sensing, software engineering methods, cryptocurrency, generic entity, fusing polarity, directional bias, HMM modelling, SCADA network mapping, Botnet detection, pedagogical tool.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Approach to Problem-oriented Interfaces for applications in Distributed Computing systems 4th

An Approach to Problem-Oriented Interfaces for Applications ...

引用

4th International Young Scientists conference on Computational Science (YSC)

作者： Sorokin, Aleksei A. Korolev, Sergey P. Malkovsky, Sergey I. Tarasov, Alexei G. Mikhailov, Konstantin V. Russian Acad Sci Ctr Comp Far Eastern Branch Khabarovsk Russia

The paper describes the implementation of an efficient user interface for applied software in distributed computing systems. As part of this work, a software platform has been developed for the formation of problem-oriented interfaces for application software packages and components of distributed computing systems. The main purpose of the system is to simplify the input of technical settings, launch specific jobs if required and monitor all intermediate processes. Thus, it provides an intuitive user interface for working directly with an application system, and does not require knowledge of low-level operations. Using web services and modern information technology, the developed platform makes it possible to create a set of simple and convenient interfaces for researchers who use high-performance computer systems in their work. As an example, we describe the adaptation of the FHI98md code for a Grid system.

关键词： distributed computing systems problem-oriented interface database Representational State Transfer JavaScript object Notation application programming interface web services Grid FHI98md

来源：评论

学校读者我要写书评

暂无评论

Comparative Evaluation of the Stochastic Simplex Bisection Algorithm and the *** Module

Comparative Evaluation of the Stochastic Simplex Bisection A...

引用

3rd International conference on Innovative Network systems and applications (iNetSApp) held in conjunction with Federated conference on Computer Science and Information systems (FedCSIS)

作者： Samuelsson, Christer German Res Ctr Artificial Intelligence Osnabruck Germany

ISBN: (纸本)9788360810668

The stochastic simplex bisection (SSB) algorithm is evaluated against the collection of optimizers in the Python *** module on a prominent test set. The SSB algorithm greatly outperforms all SciPy optimizers, save one, in exactly half the cases. It does slightly worse on quadratic functions, but excels at trigonometric ones, highlighting its multimodal prowess. Unlike the SciPy optimizers, it sustains a high success rate. The SciPy optimizers would benefit from a more informed metaheuristic strategy and the SSB algorithm would profit from quicker local convergence and better multidimensional capabilities. Conversely, the local convergence of the SciPy optimizers is impressive and the multimodal capabilities of the SSB algorithm in separable dimensions are uncanny.

关键词： convergence genetic algorithms mathematics computing object-oriented languages Python SciPy-optimize module SSB algorithm quadratic function stochastic simplex bisection algorithm Algorithm design and analysis Amplitude modulation Convergence Linear programming Optimization Partitioning algorithms Presses

来源：评论

学校读者我要写书评

暂无评论

object oriented hardware-software test bench for OMTF diagnosis

Object oriented hardware-software test bench for OMTF diagno...

引用

conference on Photonics applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments

作者： Drabik, Pawel Pozniak, Krzysztof T. Bunkowski, Karol Zawistowski, Krystian Byszuk, Adrian Bluj, Michal Doroba, Krzysztof Gorski, Maciej Kalinowski, Artur Kierzkowski, Krzysztof Konecki, Marcin Krolikowski, Jan Oklinski, Wojciech Olszewski, Michal Skala, Aleksander Zabolotny, Wojciech M. Warsaw Univ Technol Fac Elect & Informat Technol Inst Elect Syst PL-00665 Warsaw Poland Univ Warsaw Inst Expt Phys Fac Phys PL-00681 Warsaw Poland Natl Ctr Nucl Res PL-05400 Otwock Swierk Poland AGH Univ Sci & Technol Fac Elect Engn Automat Comp Sci & Biomed Engn PL-30059 Krakow Poland

ISBN: (纸本)9781628418804

In this paper the object oriented hardware-software model and its sample implementation of diagnostics for the Overlap Muon Track Finder trigger for the CMS experiment in CERN is described. It presents realization of testbench for control and diagnosis class of multichannel, distributed measurement systems based on FPGA chips. The testbench fulfils requirements for system's rapid changes, configurability and efficiency. This ability is very significant and desirable by expanded electronic systems. The solution described is a software model based on a method of address space management called the Component Internal Interface (CII). Establishment of stable link between hardware and software, as a purpose of designed and realized programming environment, is presented. The testbench implementation and example of OMTF algorithm test is presented.

关键词： FPGA reconfigurable electronic diagnostic software model object oriented hardware gateware

来源：评论

学校读者我要写书评

暂无评论

Scrap Your Boilerplate with object Algebras

引用

ACM SIGPLAN NOTICES 2015年第10期50卷 127-146页

作者： Zhang, Haoyuan Chu, Zewei Oliveira, Bruno C. D. S. van der Storm, Tijs Univ Hong Kong Hong Kong Hong Kong Peoples R China CWI Amsterdam Netherlands

Traversing complex Abstract Syntax Trees (ASTs) typically requires large amounts of tedious boilerplate code. For many operations most of the code simply walks the structure, and only a small portion of the code implements the functionality that motivated the traversal in the first place. This paper presents a type-safe Java framework called Shy that removes much of this boilerplate code. In Shy object Algebras are used to describe complex and extensible AST structures. Using Java annotations Shy generates generic boilerplate code for various types of traversals. For a concrete traversal, users of Shy can then inherit from the generated code and override only the interesting cases. Consequently, the amount of code that users need to write is significantly smaller. Moreover, traversals using the Shy framework are also much more structure shy, becoming more adaptive to future changes or extensions to the AST structure. To prove the effectiveness of the approach, we applied Shy in the implementation of a domain-specific questionnaire language. Our results show that for a large number of traversals there was a significant reduction in the amount of user-defined code.

关键词： languages object algebras boilerplate code Java adaptive object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Java-Meets Eclipse: An IDE for teaching Java following the object-later approach 10

Java-Meets Eclipse: An IDE for teaching Java following the o...

引用

10th International conference on Software Paradigm Trends, ICSOFT-PT 2015

作者： Bettini, Lorenzo Crescenzi, Pierluigi Dipartimento di Informatica University of Turin Turin Italy Dipartimento di Ingegneria dell'Informazione University of Florence Florence Italy

ISBN: (纸本)9789897581151

In this paper, we introduce a new Eclipse-based IDE for teaching Java following the object-later approach. In particular, this IDE allows the programmer to write code in Java-, a smaller version of the Java language that does not include object-oriented features. For the implementation of this language we used Xtext, an Eclipse framework for implementing Domain Specific languages;besides the compiler mechanisms, Xtext also allows to easily implement all the IDE tooling mechanisms in Eclipse. By using Xtext we were able to provide an implementation of Java-with all the powerful features available when using an IDE like Eclipse (including debugging, automatic building, and project wizards). With our implementation, it is also straightforward to create self-assessment exercises for students, which are integrated in Eclipse and JUnit. Copyright © 2015 SCITEPRESS - Science and Technology Publications. All rights reserved.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Models@*** for object-relational mapping supporting schema evolution 10

Models@*** for object-relational mapping supporting schema e...

引用

10th International Workshop on Models@run.time, MRT 2015 - co-located with the 18th International conference on Model Driven Engineering languages and systems, MoDELS 2015

作者： Götz, Sebastian Kühn, Thomas Institut für Software- und Multimediatechnik Technische Universität Dresden Germany DresdenD-01062 Germany

Persistence of applications written in an object-oriented language using a relational storage system has been investigated for a long time [4]. In this paper, two problems of current approaches to objectrelation mapping are addressed. First, their high configuration effort, and second, their lacking support for continuous development. To address these problems, we introduce a novel object-relational mapping approach, that uses a runtime model of the system. The runtime model is utilized in two ways. First, to derive mapping information from the runtime state of the application, that usually has to be provided by developers. Second, to allow for lossless application schema evolution. That is, we present an approach, that reasons about design time and runtime information to relieve developers from configuration details of the objectrelational mapping and show how to utilize the same information to allow for continuous schema evolution of applications.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Analysis of Testing Metrics for object oriented applications

Analysis of Testing Metrics for Object Oriented Applications

引用

IEEE International conference on Computational Intelligence & Communication Technology (CICT)

作者： Rohit Beniwal Division of Computer Engineering Netaji Subhas Institute of Technology Delhi India

In today's era, most of the softwares are developed using object oriented programming languages. Testing is the integral part of development process for ensuring the quality and reliability of the software. However, testing is needed to be measured in some order to really know its effectiveness. For measuring the effectiveness of the testing, testing metrics are used. This paper empirically explains the role of testing metrics on the applications or softwares that are developed using object oriented programming languages. To do this, testing metrics are applied on various projects in order to determine their advantages and usefulness in managing the software development process, software product and software project.

关键词： Testing Measurement Software Availability object oriented programming Software reliability

来源：评论

学校读者我要写书评

暂无评论

Transparent object proxies for JavaScript 29

Transparent object proxies for JavaScript

引用

29th European conference on object-oriented programming, ECOOP 2015

作者： Keil, Matthias Guria, Sankha Narayan Schlegel, Andreas Geffken, Manuel Thiemann, Peter Institute for Computer Science University of Freiburg Freiburg Germany Indian Institute of Technology Jodhpur Jodhpur India

ISBN: (纸本)9783939897866

Proxies are the swiss army knives of object adaptation. They introduce a level of indirection to intercept select operations on a target object and divert them as method calls to a handler. Proxies have many uses like implementing access control, enforcing contracts, virtualizing resources. One important question in the design of a proxy API is whether a proxy object should inherit the identity of its target. Apparently proxies should have their own identity for security-related applications whereas other applications, in particular contract systems, require transparent proxies that compare equal to their target objects. We examine the issue with transparency in various use cases for proxies, discuss different approaches to obtain transparency, and propose two designs that require modest modifications in the JavaScript engine and cannot be bypassed by the programmer. We implement our designs in the SpiderMonkey JavaScript interpreter and bytecode compiler. Our evaluation shows that these modifications of have no statistically significant impact on the benchmark performance of the JavaScript engine. Furthermore, we demonstrate that contract systems based on wrappers require transparent proxies to avoid interference with program execution in realistic settings. © Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, and Peter Thiemann;.

关键词： Transparency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：