Sökning: "concurrent models of computation"
Visar resultat 1 - 5 av 6 avhandlingar innehållade orden concurrent models of computation.
1. Electrothermal Simulation in a Concurrent Waveform Relaxation Based Circuit Simulator
Sammanfattning : The main purpose of this work is to study methods to simulate electro-thermal effects in integrated circuits using CONCISE a waveform relaxation based circuit simulator. WR is a method that is suitable to run on a multi-computer with state of the art computing power. Especially CMOS VLSI circuits have been simulated successfully with WR. LÄS MER
2. Models and Methods for Development of DSP Applications on Manycore Processors
Sammanfattning : Advanced digital signal processing systems require specialized high-performance embedded computer architectures. The term high-performance translates to large amounts of data and computations per time unit. The term embedded further implies requirements on physical size and power efficiency. LÄS MER
3. Analysis and Management of Communication in On-Chip Networks
Sammanfattning : Regarding the needs of low-power, high-performance embedded systems and the growing computation-intensive applications, the number of computing resources in a single chip has enormously increased. The current VLSI technology is able to support such an integration of transistors and add many computing resources such as CPU, DSP, specific IPs, etc to build a Systemon- Chip (SoC). LÄS MER
4. Concurrent chip and package design for radio and mixed-signal systems
Sammanfattning : The advances in VLSI and packaging technologies enable us to integrate a whole system on a single chip (SoC) or on a package module. In these systems, analog/RF electronics, digital circuitries, and memories coexist. This new technology brings us new freedom for system integration as well as new challenges in system design and implementation. LÄS MER
5. The Fusion Calculus : Expressiveness and Symmetry in Mobile Processes
Sammanfattning : The fusion calculus is presented as a significant step towards a canonical calculus of concurrency. It simplifies and extends the π-calculus of Milner, Parrow and Walker.The fusion calculus contains the polyadic π-calculus as a proper subcalculus and thus inherits all its expressive power. LÄS MER