This paper compares a high-level implementation of the NAS benchmark FT in the functional array language SaC with traditional solutions based on Fortran-77 and C. The impact of abstraction on expressiveness, readabili...
详细信息
The goal of functional testing is to prove that the software performs in conformance with its specification. Functional testing emphasizes the behavioral characteristics of objects by focusing on the interface that is...
详细信息
ISBN:
(纸本)9789549641332
The goal of functional testing is to prove that the software performs in conformance with its specification. Functional testing emphasizes the behavioral characteristics of objects by focusing on the interface that is the public, and defining, feature of a class. There are functional test cases for each individual method and functional test cases that treat the class as a unified component. An algorithm that guides the construction of functional test cases for a class is presented. That algorithm can easily be modified to produce test cases at a greater level of coverage. The input to the algorithm will be portions of the class specification that is produced to guide the design process as much as for the testing process.
Autonomic computing - self-configuring, self-healing, self-optimizing applications, systems and networks - is widely believed to be a promising solution to ever-increasing system complexity and the spiraling costs of ...
详细信息
Autonomic computing - self-configuring, self-healing, self-optimizing applications, systems and networks - is widely believed to be a promising solution to ever-increasing system complexity and the spiraling costs of human system management as systems scale to global proportions. Most results to date, however, suggest ways to architect new software constructed from the ground up as autonomic systems, whereas in the real world organizations continue to use stovepipe legacy systems and/or build ''systems of systems'' that draw from a gamut of new and legacy components involving disparate technologies from numerous vendors. Our goal is to retrofit autonomic computing onto such systems, externally, without any need to understand or modify the code, and in many cases even when it is impossible to recompile. We present a meta-architecture implemented as active middleware infrastructure to explicitly add autonomic services via an attached feedback loop that provides continual monitoring and, as needed, reconfiguration and/or repair. Our lightweight design and separation of concerns enables easy adoption of individual components, as well as the full infrastructure, for use with a large variety of legacy, new systems, and systems of systems. We summarize several experiments spanning multiple domains.
In recent work, we introduced a generalization of ECOC learning under the theory of recursive error correcting codes. We named it RECOC (Recursive ECOC) learning. If long output codewords are allowed, as in the case o...
详细信息
作者：
Fiege, LudgerGärtner, Felix C.Kasten, OliverZeidler, Andreas
Department of Computer Science Databases Distributed System Group D-64283 Darmstadt Germany
School of Computer and Communication Sciences Distributed Programming Laboratory CH-1015 Lausanne Switzerland
Department of Computer Science Distributed Systems Group CH-8092 Zurich Switzerland
Publish/subscribe (pub/sub) is considered a valuable middleware architecture that proliferates loose coupling and leverages reconfigurability and evolution. Up to now, existing pub/sub middleware was optimized for sta...
详细信息
作者：
Giovanni AdagioDistributed Programming Laboratory
School of Computer Science and Communication Systems Swiss Federal Institute of Technology in Lausanne (EPFL) Institute of Mathematics School of Basic Sciences Swiss Federal Institute of Technology in Lausanne (EPFL) Switzerland
This paper contributes to the characterization of synchronous models of distributed computing using topological techniques. We consider a generic synchronous model with send-omission failures and use a topological str...
This paper contributes to the characterization of synchronous models of distributed computing using topological techniques. We consider a generic synchronous model with send-omission failures and use a topological structure corresponding to a bounded number of rounds of the model. We observe some nice properties of the structure and derive from these properties necessary and sufficient conditions to solve consensus in this model.
The purpose of Generic Evolutionary Algorithms programming Library (GEA1) system is to provide researchers with an easy-to-use, widely applicable and extendable programming library which solves real-world optimization...
The purpose of Generic Evolutionary Algorithms programming Library (GEA1) system is to provide researchers with an easy-to-use, widely applicable and extendable programming library which solves real-world optimization problems by means of evolutionary algorithms. It contains algorithms for various evolutionary methods, implemented genetic operators for the most common representation forms for individuals, various selection methods, and examples on how to use and expand the library. All these functions assure that GEA can be effectively applied on many problems. GraphGEA is a graphical user interface to GEA written with the GTK API. The numerous parameters of the evolutionary algorithm can be set in appropriate dialog boxes. The program also checks the correctness of the parameters and saving/restoring of parameter sets is also possible. The selected evolutionary algorithm can be executed interactively on the specified optimization problem through the graphical user interface of GraphGEA, and the results and behavior of the EA can be observed on several selected graphs and drawings. While the main purpose of GEA is solving optimization problems, that of GraphGEA is education and analysis. It can be of great help for students understanding the characteristics of evolutionary algorithms and researchers of the area can use it to analyze an EA's behavior on particular problems.
作者：
朱建华郑玉臣Information Optics Institute
Sichuan University Chengdu 610064 Department of Physics and Materials Science
City University of Hong Kong Hong Kongn automatic visible spectrometer based on a non-collinear acousto-optic tunable filter (AOTF) is constructed for high-speed spectrometry. Its spectral filtering characteristics such as relationships between the radio-frequency (RF) driving frequency and the output central wavelength the output bandwidth and the central wavelength its typical spectral point spread function (PSF) and so on are studied systematically. The preliminary measurement results of AOTF spectrometer show that it is a solid-state high-speed easily controllable by computer-programming rugged and compact spectroscopic device in comparison with a conventional grating spectrometer and has the potential for widespread spectrometric applications.
An automatic visible spectrometer based on a non-collinear acousto-optic tunable filter (AOTF) is constructed for high-speed spectrometry. Its spectral filtering characteristics, such as relationships between the radi...
详细信息
An automatic visible spectrometer based on a non-collinear acousto-optic tunable filter (AOTF) is constructed for high-speed spectrometry. Its spectral filtering characteristics, such as relationships between the radio-frequency (RF) driving frequency and the output central wavelength, the output bandwidth and the central wavelength, its typical spectral point spread function (PSF), and so on, are studied systematically. The preliminary measurement results of AOTF spectrometer show that it is a solid-state, high-speed, easily controllable by computer-programming, rugged and compact spectroscopic device in comparison with a conventional grating spectrometer, and has the potential for widespread spectrometric applications.
暂无评论