Search Results

Quantum computing (QC) offers huge promise to accelerate a range of computationally intensive benchmarks. Quantum computing is limited, however, by the challenges of decoherence: i.e., a quantum state can only be maintained for short windows of time ...

The history of programming languages shows a continuous search for new composition mechanisms to find better ways for structuring increasingly complex software systems into modules that can be developed and reused independently. Composition mechanisms ...

The use of graph-based design languages in UML for complex system design is motivated. The FireSat mission from literature is modeled in different UML classes representing the systems, subsystems and parts of the satellite. A rule-based creation ...

An approach to instructional design is described which avoids some of the problems traditionally associated with process design models, sometimes referred to as waterfall models. The new approach is based on the functional decomposition of a generic ...

System-on-chip (SoC) designs have the potential to change the way we organize computation. This potential has gone unrealized. Future SoCs will have multiple heterogeneous processing elements, most likely organized around an on-chip network. Thus, SoCs ...

The design of abstract or physical structures has much in common with the design of software structures, particularly when the structure in question has a mechanical or computational behaviour; such as a digital circuit. Like programming language ...

In this research in design automation, two views are employed as the requirements of a system-namely, the functional requirements and the operations concept. A requirement analyst uses data flow diagrams and system verification diagrams (SVDs) to ...

We describe the underlying philosophy, the system organization and the design language of the <u>D</u>esign <u>R</u>ealization <u>E</u>valuation <u>A</u>nd <u>M</u>odelling system, a prototype of a system being developed to aid software system ...

Different notations have been proposed over the years to describe register transfer (RT) systems. They have met with varying degrees of success and to provide a direct comparison of them is a difficult task. One of the reasons for this is the different ...

This correspondence describes a special purpose Asynchronous Circuit Design Language (ACDL) for specifying the terminal behavior of asynchronous sequential circuits. The language is a valuable tool for formalizing and documenting asynchronous designs, ...