One of the underlying philosophies of the Unix command shell is the idea of the pipeline: Take a set of small, specialized programs and let them interact by feeding the output of one into the input of the next. By str...
详细信息
One of the underlying philosophies of the Unix command shell is the idea of the pipeline: Take a set of small, specialized programs and let them interact by feeding the output of one into the input of the next. By stringing simple programs together in this way, rich behavior can emerge. Pipelines can let you replace complex program logic with a chain of far simpler discrete steps.
Because of their complexity, modem microprocessors need new tools that generate tests for micro-architectural events. Piparazzi is a test generator, developed at IBM, that generates (architectural) test programs for m...
详细信息
ISBN:
(纸本)0780382366
Because of their complexity, modem microprocessors need new tools that generate tests for micro-architectural events. Piparazzi is a test generator, developed at IBM, that generates (architectural) test programs for micro-architectural events. Piparazzi uses a declarative model of the micro-architecture and the user's definition of the required event to create an instance of a Constraint Satisfaction Problem (CSP). It then uses a dedicated CSP solver to generate a test program that covers the specific event. We show how Piparazzi yields significant improvements in covering micro-architectural events, by describing its technology and by exhibiting experimental results. Piparazzi has already been successful in finding both functional and performance bugs that could only be discovered using an exact micro-architectural model of the processor.
The construction of plan libraries as a repository for automatic understanding systems is almost a mystery. So far, there have been no reports that describe a technique for accomplishing program analysis for the const...
详细信息
ISBN:
(纸本)0769510280
The construction of plan libraries as a repository for automatic understanding systems is almost a mystery. So far, there have been no reports that describe a technique for accomplishing program analysis for the construction of programming plan libraries. The paper presents a technique based on the automatic comparison of slices. It permits the analyst to focus his attention on a meaningful code for the design of program plans. The results obtained until now confirm the feasibility of the approach, and lead to strengthening of the practical application of the planning libraries in the maintenance and re-engineering process.
In model-based development, executable specifications (models) are used for the design of the software to be developed. New techniques allow the automatic generation of compact code directly from the model via so-call...
详细信息
ISBN:
(纸本)0769520359
In model-based development, executable specifications (models) are used for the design of the software to be developed. New techniques allow the automatic generation of compact code directly from the model via so-called code generators. However, at present, code generators do not possess the same quality characteristics as C or ADA compilers which have been proven in use. The use of test suites, which make it possible to check compilers systematically, is also a promising approach for code generators. This paper describes the design of such a test suite for code generators, and introduces a new testing approach for code generator transformations.
For functions given in the form of a computer program, automatic differentiation is an efficient technique to accurately evaluate the derivatives of that function. Starting from a given computer program, automatic dif...
详细信息
ISBN:
(纸本)9781581136241
For functions given in the form of a computer program, automatic differentiation is an efficient technique to accurately evaluate the derivatives of that function. Starting from a given computer program, automatic differentiation generates another program for the evaluation of the original function and its derivatives in a fully mechanical way. While the efficiency of this black box approach is already high as compared to numerical differentiation based on divided differences, automatic differentiation can be applied even more efficiently by taking into account high-level knowledge about the given computer program. We show that, in the case where the function involves a Fourier transform, the degree of parallelism in the program generated by automatic differentiation can be increased leading to a rich set of automatic parallelization strategies that are not available when employing a black box automatic parallelization approach. Experiments of the new automatic parallelization approach are reported on a SunFire 6800 server using up to 20 processors.
The Logistica 2.0 Deduction System Implementation Technology is a programming language extension to R5RS Scheme which automatically computes all possible combinations of values of multiply valued subexpressions. Multi...
详细信息
ISBN:
(纸本)9783540407874
The Logistica 2.0 Deduction System Implementation Technology is a programming language extension to R5RS Scheme which automatically computes all possible combinations of values of multiply valued subexpressions. Multiple values are generated by multiple definitions of a symbol and by allowing Second Order patterns such as segment variables, which may match in different ways, as the parameters of lambda abstractions. This technology is briefly illustrated with an extensible deduction system involving the derivation of an axiom schema.
作者：
Irvin, D.R.Dept. T81/B503
IBM Corporation 3039 Cornwallis Road Research Triangle Park NC 27709 United States
Applications are proposed for cyclic redundancy checks (CRCs) that have factorable rather than primitive generator polynomials. Suitable encoding and decoding methods are developed. Factored-generator CRCs are then co...
详细信息
Applications are proposed for cyclic redundancy checks (CRCs) that have factorable rather than primitive generator polynomials. Suitable encoding and decoding methods are developed. Factored-generator CRCs are then compared with tandem CRCs that have an inner code and outer code. When the factors of the generator are used as the generators of the inner and outer codes, the two kinds of CRCs have much in common, although their codewords are different. The differences are such that the factored-generator CRC offers an architectural advantage over the tandem CRC, in that the factored-generator CRC enables symmetric partial decoding, which is useful in mixed-transmission-media and point-to-multipoint systems.
We describe a Web-based programming environment that serves for the teaching of the basic principles of programming. The environment is accessible via the Internet through a Web browser and uses a specially featured c...
详细信息
We describe a Web-based programming environment that serves for the teaching of the basic principles of programming. The environment is accessible via the Internet through a Web browser and uses a specially featured compiler to translate the source code of the programming language into a pseudo assembly code. Supplementary programming tools accompany the compiler and a database is used for storing the intermediate remits (i.e., the code students develop while trying to solve an exercise). In addition, there is a complete user, file and group management environment and a tool to automate the testing of the student solutions to programming exercises.
An evolutionary programming is proposed in this paper to automatically design neural networks (NNs) ensembles. Based on negative correlation learning, different individual NNs in the ensemble can learn to subdivide th...
详细信息
ISBN:
(纸本)0780378652
An evolutionary programming is proposed in this paper to automatically design neural networks (NNs) ensembles. Based on negative correlation learning, different individual NNs in the ensemble can learn to subdivide the task and thereby solve it more efficiently and elegantly. At the same time, different individual NNs are always to find the best collaboration connection during the evolutionary process. In addition, the architecture of each NN in the ensemble and the size of the ensemble need not to be predefined. The simulation results show that the proposed method in this paper is valid.
We show how automated support can be provided for identifying refactoring opportunities, e.g., when an application's design should be refactored and which refactoring(s) in particular should be applied. Such suppo...
详细信息
We show how automated support can be provided for identifying refactoring opportunities, e.g., when an application's design should be refactored and which refactoring(s) in particular should be applied. Such support is achieved by using the technique of logic meta programming to detect so-called bad smells and by defining a framework that uses this information to propose adequate refactorings. We report on some initial but promising experiments that were applied using the proposed techniques.
暂无评论