A statistical dynamic timing analysis framework is presented to study the impact of catastrophic defects and process variation on the delay behavior of a digital circuit considering the effect of gate switching on del...
详细信息
A statistical dynamic timing analysis framework is presented to study the impact of catastrophic defects and process variation on the delay behavior of a digital circuit considering the effect of gate switching on delays. It uses object-orientedprogramming and levelized code generation techniques to achieve fast runtimes with linear time complexity as the number of gates increases. The generated functional delay model along with experiments and statistical modules are compiled to machine code before execution; and random transition vectors approximate the delay profiles useful for virtual speed grading and yield estimation.
The need for fast and reliable remote sensing algorithms is continuously growing. Remote sensing libraries are scarce and sometimes are difficult to use. The Orfeo Toolbox (OTB) is one such library that stands apart w...
详细信息
The need for fast and reliable remote sensing algorithms is continuously growing. Remote sensing libraries are scarce and sometimes are difficult to use. The Orfeo Toolbox (OTB) is one such library that stands apart with its robust development scheme and programming concepts. Not all remote sensing researchers have a strong programming background. Programmers need to find ways of giving easier access to desired algorithms without the need of cumbersome programming overheard. This paper compares the actual parameter management class of OTB with a proposed dynamic graphical interface to replace it. The programming concepts used will first be presented. This work will lead to creating a visual programming environment for OTB.
In the software reliability domain, the research about the modeling of software reliability is one of the earliest aspects. In this paper, a prediction model of software reliability based on the modular is presented. ...
详细信息
In the software reliability domain, the research about the modeling of software reliability is one of the earliest aspects. In this paper, a prediction model of software reliability based on the modular is presented. We apply Markov analysis theory to the software reliability prediction and discuss one kind software reliability model based on the module reliability and the module importance, in order to achieve the requirement of improving software quality. The proposed model utilizes the reliability data collected from software development projects and analyzes the module reliability and the module importance separately to study the whole software reliability of the system. Through application of this model to the actual project, we find that the new model has a better prediction precision and achieve ideal results.
programming languages are programmers' most basic tools. With appropriate programming languages one can drastically reduce the cost of building new applications as well as maintaining existing ones. In the last de...
详细信息
programming languages are programmers' most basic tools. With appropriate programming languages one can drastically reduce the cost of building new applications as well as maintaining existing ones. In the last decades there have been many advances in programming languages technology in traditional programming paradigms such as functional, logic, and object-orientedprogramming, as well as the development of new paradigms such as aspect-orientedprogramming. The main driving force was and will be to better express programmers' ideas. Therefore, research in programming languages is an endless activity and the core of computer science. New language features, new programming paradigms, and better compile-time and run-time mechanisms can be foreseen in the future. The aims of this event is to provide a forum for exchange of ideas and experience in topics concerned with programming languages and systems. Original papers and implementation reports are invited in all areas of programming languages. Major topics of interest include but are not limited to the following: •Automata theory and applications •Compiling techniques •Domain-specific languages •Formal semantics and syntax •Generative and generic programming •Grammarware and grammar based systems •Knowledge engineering languages, integration of knowledge engineering and software engineering •Languages and tools for trustworthy computing •Language theory and applications •Language concepts, design and implementation •Markup languages (XML) •Metamodeling and modeling languages •Model-driven engineering languages and systems •Practical experiences with programming languages •Program analysis, optimization and verification •Program generation and transformation •programming paradigms (aspect-oriented, functional, logic, object-oriented, etc.) •programming tools and environments •Proof theory for programs •Specification languages •Type systems •Virtual machines andjust-in-time compilation •Visual programming languages
Aspect-orientedprogramming (AOP) is an emerging software engineering paradigm that improves separation of cross-cutting concerns as aspect in a program. Existing object-orientedprogramming (OOP) languages suffer fro...
详细信息
ISBN:
(纸本)9781424435661
Aspect-orientedprogramming (AOP) is an emerging software engineering paradigm that improves separation of cross-cutting concerns as aspect in a program. Existing object-orientedprogramming (OOP) languages suffer from a serious limitation in modularizing adequately cross-cutting concerns. Many concerns cross cut several classes in an object-oriented system. At present, the AOP paradigm has expanded to all the lifecycle in the software development; as a result, aspect-oriented software development (AOSD) is becoming a new technique, which let developers identify the cross-cutting concerns in early stage of the lifecycle in order to reduce the complexity and indigestibility that arise from the cross-cutting concerns and improves flexibility, adaptability and reusability of the components used to compose the final software. We present, in this paper, a statecharts describes the aspectual state model (ASM) based on the unified modeling language (UML) to identify the cross-cutting concerns, and using a mature language AspectJ which is a seamless aspect oriented extension to the Java programming language to write aspect codes.
There is a common complaint that undergraduate programs in computing in many developing countries have not been preparing students sufficiently to become truly effective in the software industry. Although some program...
详细信息
There is a common complaint that undergraduate programs in computing in many developing countries have not been preparing students sufficiently to become truly effective in the software industry. Although some programs in computing are justified in paying little attention to programming, it is important to teach it properly to those wishing to develop software professionally. In order to produce qualified software developers, the focus should be not only on determining which programming-related subjects have to be taught, but also on training academicians to teach these subjects efficiently. In this paper we introduce an approach which tackles the former aspects.
Although few decade years have passed since the object/relational (O/R) mapping problem was recognized, it still remains to be a hard problem. A relational model is suitable for persistence of the data, while an objec...
详细信息
ISBN:
(纸本)9781424435692
Although few decade years have passed since the object/relational (O/R) mapping problem was recognized, it still remains to be a hard problem. A relational model is suitable for persistence of the data, while an object model is suitable for processing of the data. The schema optimized for the relational model is not itself suitable for the object model. The opposite is also *** this paper, we propose a method of SQL-based object-oriented development, called DBPowderSQL. In our approach, cardinalities between tables are automatically detected based on the configurations of key columns. The mapping between the relational model and the object model is derived based on the cardinality. In addition, programmers can customize the derived object model with support of inheritance, polymorphism, and *** developed a prototype system and evaluated it.
This paper considers the implementation of parallel Grobner bases algorithms on distributed memory parallel computers like todays high performance computing clusters (HPC) in the Java computer algebra library (JAS). T...
详细信息
This paper considers the implementation of parallel Grobner bases algorithms on distributed memory parallel computers like todays high performance computing clusters (HPC) in the Java computer algebra library (JAS). The implementation of Grobner bases algorithms is part of the essential building blocks for any computation in algebraic geometry. There are various implementations of these algorithms in procedural programming languages. Our aim is an implementation in a modern object oriented programming language with generic data types, as it is provided by Java programming language. The proposed middle-ware uses a distributed list for the communication of the reduction bases and a distributed thread pool for running the reduction engines in different computers. Java object serialization is used to encode polynomial objects for network transport via Java networking facilities.
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to help developers understand the impact o...
详细信息
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to help developers understand the impact of the static crosscutting constructs of AspectJ on base programs. Questions of interest to developers such as: which statements in a base program are affected by a given inter-type declaration, or how has the behavior of the affected statements been modified, are still outstanding. This paper presents analysis techniques for inferring the impact of the static crosscutting constructs of AspectJ on base programs, and tools for visualizing the results of the analysis; thus improving the comprehension of AspectJ systems and guarding against unintended modifications. Our analyses are implemented as extensions to the AspectBench compiler, and integrated in the Eclipse IDE as a plugin. We present experiments on several open source systems to investigate the effectiveness and suitability of our analysis techniques and tools.
Geographic Information System (GIS) has been widely used in the geotechnical engineering field, but it is incompetent in real-time computation. In this paper, the Geographic Information System based on distributed par...
详细信息
Geographic Information System (GIS) has been widely used in the geotechnical engineering field, but it is incompetent in real-time computation. In this paper, the Geographic Information System based on distributed parallel computation named GISPC is introduced. The implementation of domain decomposition on the server is the preprocessing of parallel computation. With the method of adopting MPI on Cluster of Workstation (COW) platform in the system, the parallel FEM codes can be implemented by C++ object-orientedprogramming (OOP) technique. The large-scale geotechnical problems can be successfully solved on PC machine groups by using these techniques. And the system is capable of internet publication. It enables fast storage and retrieval of large amounts of information stored in the server through intranet and internet. The instance of Longtan high slope is shown to prove the applicability of these methods. The results show the feasibility of the proposed methods for the extensive application of GIS in geotechnical engineering.
暂无评论