Syntactic parsing requires a fine balance between expressivity and complexity, so that naturally occurring structures can be accurately parsed without compromising efficiency. In dependency-based parsing, several cons...
详细信息
We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle t...
详细信息
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that ...
详细信息
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represents a different aspect of natural langua...
详细信息
This article consists of a collection of slides from the author's conference presentation on software transactional memory (STM). Some of the specific topics discussed include: how to translate a language construc...
详细信息
This article consists of a collection of slides from the author's conference presentation on software transactional memory (STM). Some of the specific topics discussed include: how to translate a language construct via STM, including runtime and compiler support; example of hybrid TM; and the outlook for the future development STM and the applications to be supported.
Presents a collection of slides covering the following topics: Transactional Memory language construct; synchronised HashMap; transactional HashMap; Java; failure recovery; and parallel programming.
Presents a collection of slides covering the following topics: Transactional Memory language construct; synchronised HashMap; transactional HashMap; Java; failure recovery; and parallel programming.
In this paper we present the FormulaBuilder, a flexible tool for graph-based modelling and generation of formulae. The FormulaBuilder allows easy and intuitive creation of formulae by using basic components called For...
详细信息
ISBN:
(纸本)1595933751
In this paper we present the FormulaBuilder, a flexible tool for graph-based modelling and generation of formulae. The FormulaBuilder allows easy and intuitive creation of formulae by using basic components called Formula Building Blocks (FBBs) and arranging them as graphs according to the syntactic structure of a formula. Such a graph can then be validated and used to generate the corresponding formula on the basis of a specific syntax which is chosen from a list of syntaxes supported by the FormulaBuilder. An important application of the FormulaBuilder is the formal specification of properties that describe the requirements of a system. Such property specifications are usually needed by verification tools like model checkers, that help software engineers to detect errors in a specified system. The FormulaBuilder allows users to model property specifications as formula graphs by using commonly-occurring specification patterns.
Today formalisms with graphical representations are used to model structure, behavior, and other views on software and systems. The UML is just one example for modeling languages with graphical representation of its m...
详细信息
Today formalisms with graphical representations are used to model structure, behavior, and other views on software and systems. The UML is just one example for modeling languages with graphical representation of its models. Although most models are executable without explicit graphical information of the model's elements, the appearance of a model is of particular importance for its readability. To improve the so called embedding of a graph representing a model or to create a initial embedding, an algorithmic support for arranging the elements is useful. We provide a software environment in which layout algorithms can be developed and evaluated. By defining proper interfaces for graph elements, we provide easy access to our library of layout algorithms for external use
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that ...
详细信息
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that became possible by this approach and their application within an interdisciplinary research project are described in detail. Concepts for the integration of self-managed components and autonomic computing features are outlined
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr...
暂无评论