This paper presents high-level language extensions for designs that can be reconfigured at run time. Such extensions provide a unified framework for instantiating and controlling reconfigurable hardware blocks. Our fr...
详细信息
This paper presents high-level language extensions for designs that can be reconfigured at run time. Such extensions provide a unified framework for instantiating and controlling reconfigurable hardware blocks. Our frame-work involves capturing functional blocks at the task level, with language constructs for describing run-time reconfigurable tasks, and dynamic datatypes for describing run-time parametrisable designs. Two compilation paths, one involving the Handel-C system and the other involving the RT Pebble tools, have been developed. The effectiveness of our approach has been evaluated using designs for shape-adaptive template matching and network firewall.
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and identify faults. Therefore, reducing the e...
详细信息
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and identify faults. Therefore, reducing the effort of debugging process is an important step towards efficient software evolution. Program slicing, especially dynamic slicing, has been proposed to efficiently localize faults in a procedural program and an object-oriented program. Although several tools have been developed for Java programs, these are difficult to maintain because of the frequent revision of Java languages. Aspect-oriented programming (AOP) is a new technology for the separation of concerns in program development. Using AOP, modularizing crosscutting aspects of a system is possible. One useful application of AOP is for modularizing the collecting program's dynamic information for program analysis. Since the collection of dynamic information affects the over-all target program, this functionality is a typical crosscutting concern. We apply AOP to develop a program debugging tool using program slicing. First, we examine the application of AOP for collecting dynamic information from program execution and for calculating program slices. Next, we develop a program slicing system using AspectJ. Finally, we describe the benefits, usability, and cost effectiveness of a module of dynamic analysis based on AOP.
Important changes are taking place in the EDA world as System-on-Chip IC products create new market segments. These ICs have multiple complex cores that need to be integrated in order to allow the chip to perform the ...
详细信息
ISBN:
(纸本)0780374487
Important changes are taking place in the EDA world as System-on-Chip IC products create new market segments. These ICs have multiple complex cores that need to be integrated in order to allow the chip to perform the complete system function. At the moment chip-processing equipment is capable of producing technology that is far more advanced than what the design tools can do. This design gap can be reduced by the use of new tools and methodologies based on high levels of electronic systems abstraction. object-oriented techniques and languages have been proven to significantly increase engineering efficiency in hardware development. Many benefits are expected from their introduction into electronic modeling. Among them are better support for model reusability and flexibility, more efficient system modeling, and more possibilities in design space exploration and prototyping. In this paper we present an object-oriented methodology used to create the models of USB device and bus interface protocol layers.
The proceedings contain 20 papers. The special focus in this conference is on object-orientedtechnology. The topics include: Resource management for safe languages;tools and environments for learning object-oriented ...
ISBN:
(纸本)3540002332
The proceedings contain 20 papers. The special focus in this conference is on object-orientedtechnology. The topics include: Resource management for safe languages;tools and environments for learning object-oriented concepts;12th workshop for PHD students in objectorientedsystems;concrete communication abstractions of the next 701 distributed objectsystems;unanticipated software evolution;quantitative approaches in object-oriented software engineering;multiparadigm programming with object-orientedlanguages;knowledge-based object-oriented software engineering;object-orientation and operating systems;integration and transformation of UML models and formal techniques for java-like programs.
The proceedings contains 26 papers from the conference on technology of object-orientedlanguages and systems - tools32. The topics discussed include: software architectures;graphical user interfaces;multiple domain ...
详细信息
The proceedings contains 26 papers from the conference on technology of object-orientedlanguages and systems - tools32. The topics discussed include: software architectures;graphical user interfaces;multiple domain objects;model-view controllers;embedded real-time systems;object-orientedlanguages;unified modelling languages;external iterators;distributed systems;databases and multiagent systems.
This paper presents a refinement calculus for objectsystems with visibility, dynamic binding and mutual dependency. The intention is to support effective use of a relational model for specifying and reasoning in acti...
详细信息
ISBN:
(纸本)0769517242
This paper presents a refinement calculus for objectsystems with visibility, dynamic binding and mutual dependency. The intention is to support effective use of a relational model for specifying and reasoning in activities of an object system development process. The semantics framework will define the meaning of the combinators in the exactly same way as their counterparts in the imperative programming languages. This makes the approach more accessible to the users who are already familiar with the algebraic laws and the verification tools developed for these languages. The paper also provides a set of transformation rules in support of object system refinement.
Important changes are taking place in the EDA world as System-on-Chip (SoC) IC products create new market segments. These ICs have multiple complex cores that need to be integrated in order to allow the chip to perfor...
详细信息
Important changes are taking place in the EDA world as System-on-Chip (SoC) IC products create new market segments. These ICs have multiple complex cores that need to be integrated in order to allow the chip to perform the complete system function. At the moment chip-processing equipment is capable of producing technology that is far more advanced than what the design tools can do. This design gap can be reduced by the use of new tools and methodologies based on high levels of electronic systems abstraction. object-oriented techniques and languages have been proven to significantly increase engineering efficiency in hardware development. Many benefits are expected from their introduction into electronic modeling. Among them are better support for model reusability and flexibility, more efficient system modeling, and more possibilities in design space exploration and prototyping. In this paper we present an object-oriented methodology used to create the models of USB device and bus interface protocol layers.
暂无评论