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,...
详细信息
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 ...
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-orientedsystems;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.
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-or...
详细信息
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.
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...
详细信息
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.
In this paper the objectoriented 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 ...
详细信息
ISBN:
(纸本)9781628418804
In this paper the objectoriented 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.
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 imple...
详细信息
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.
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 t...
详细信息
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 mappi...
详细信息
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.
In today's era, most of the softwares are developed using objectorientedprogramming languages. Testing is the integral part of development process for ensuring the quality and reliability of the software. Howeve...
详细信息
In today's era, most of the softwares are developed using objectorientedprogramming 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 objectorientedprogramming 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.
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...
详细信息
暂无评论