The paper presents a model-based tool chain for system design and system integration of integrated modular avionics in civil aviation domain. It describes architecture of the tool chain, its current state, use cases s...
详细信息
ISBN:
(纸本)9789290922650
The paper presents a model-based tool chain for system design and system integration of integrated modular avionics in civil aviation domain. It describes architecture of the tool chain, its current state, use cases supported and future directions of development.
Today XML has become the most important data exchange technique on the World Wide Web. As a consequence the interest in concurrent XML processing has greatly increased. In this paper we propose a new XPath-based DataG...
详细信息
Cluster structure is one of the main features of social graphs. Many algorithms have been proposed in recent years that are capable of revealing fuzzy communities. But a lot of them tend to degrade in some special cas...
详细信息
Cluster structure is one of the main features of social graphs. Many algorithms have been proposed in recent years that are capable of revealing fuzzy communities. But a lot of them tend to degrade in some special cases, for example when nodes assigned to more than two groups. Taking into account that such highly overlapping membership is rather common for many social networks, it becomes obvious that there is a need for flexible techniques and detecting the scope of their effective applicability for various network configuration parameters. This article focuses on the resistance to cluster's growth intersection with emphasis on local fitness function's optimization. The testing of the modern fuzzy clustering methods and generalized classical approaches is performed. Depending on the scale of fuzziness the conclusion is provided about the applicability of certain algorithm classes with common methodology and their representatives.
Nowadays, XML has emerged as the standard technique for storing and exchanging semistructured data. The retrieval and update of XML documents in the multi-user databases requires isolation of con- current transactions...
详细信息
ISBN:
(纸本)8854801224
Nowadays, XML has emerged as the standard technique for storing and exchanging semistructured data. The retrieval and update of XML documents in the multi-user databases requires isolation of con- current transactions from each other. This paper presents a novel scheduler to synchronize concurrent access to XML documents through XPath and update operations. Our method extends the conventional multigranularity locking scheme and adjusts it to the hierarchical nature of XML. We propose two kinds of locks on DataGuide structure: node and tree locks. Besides, we introduce logical locks on the DataGuide's subtrees to prevent phantoms appearance. A proposed scheduler takes into consideration the semantics of XPath and update operations which significantly increases the degree of concurrency. The proposed method is primarily being implemented in the native XML DBMS Sedna, but it is applicable to any existing XML DBMS that supports the DataGuide structure.
The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the oper-ating system used in all x86-based platforms over the past ten years. A side effect of the transition from...
详细信息
Vast majority of execution engines are first im-plemented as interpreters. Once they reach maturity and gain audience authors strive to improve performance by utilizing static or JIT compilation techniques. The latter...
详细信息
Industrial static analyzers are able to detect only several narrow classes of algorithmic errors, for example actual arguments order swapped with formal parameters, forgotten renaming of variable after copy-paste. How...
详细信息
Most of the state-of-the-art verifiers do not scale well on complicated software. Concurrency benchmarks from SV-COMP based on Linux device drivers cause significant difficulties for any software model checker tool. W...
详细信息
We present an automatic method, named SemaTESK, for generation of test sets for a translator front end. We focus on the validation and verification of static semantics checker. Most the know methods for semantics test...
详细信息
Distinguishing sequences are used in model based mutation testing in order to distinguish the specification from its mutants that usually represent critical implementation faults. In this paper, we consider distinguis...
详细信息
暂无评论