A Tutorial Introduction to Occam Programming
Author : Dick Pountain
Publisher : McGraw-Hill Companies
Page : 128 pages
File Size : 19,75 MB
Release : 1987
Category : Computers
ISBN :
Author : Dick Pountain
Publisher : McGraw-Hill Companies
Page : 128 pages
File Size : 19,75 MB
Release : 1987
Category : Computers
ISBN :
Author : John A. Board
Publisher : IOS Press
Page : 466 pages
File Size : 15,87 MB
Release : 1990
Category : Computers
ISBN : 9789051990270
Author : Michel Robert
Publisher : Springer
Page : 489 pages
File Size : 37,59 MB
Release : 2013-03-15
Category : Technology & Engineering
ISBN : 0387355979
The 11 th IFIP International Conference on Very Large Scale Integration, in Montpellier, France, December 3-5,2001, was a great success. The main focus was about IP Cores, Circuits and System Designs & Applications as well as SOC Design Methods and CAD. This book contains the best papers (39 among 70) that have been presented during the conference. Those papers deal with all aspects of importance for the design of the current and future integrated systems. System on Chip (SOC) design is today a big challenge for designers, as a SOC may contain very different blocks, such as microcontrollers, DSPs, memories including embedded DRAM, analog, FPGA, RF front-ends for wireless communications and integrated sensors. The complete design of such chips, in very deep submicron technologies down to 0.13 mm, with several hundreds of millions of transistors, supplied at less than 1 Volt, is a very challenging task if design, verification, debug and industrial test are considered. The microelectronic revolution is fascinating; 55 years ago, in late 1947, the transistor was invented, and everybody knows that it was by William Shockley, John Bardeen and Walter H. Brattein, Bell Telephone Laboratories, which received the Nobel Prize in Physics in 1956. Probably, everybody thinks that it was recognized immediately as a major invention.
Author : Ian East
Publisher : CRC Press
Page : 416 pages
File Size : 22,33 MB
Release : 2004-01-14
Category : Computers
ISBN : 0203168828
Author : Shaharuddin Salleh
Publisher : Springer Science & Business Media
Page : 177 pages
File Size : 22,76 MB
Release : 2012-12-06
Category : Computers
ISBN : 1461550653
Scheduling in Parallel Computing Systems: Fuzzy and Annealing Techniques advocates the viability of using fuzzy and annealing methods in solving scheduling problems for parallel computing systems. The book proposes new techniques for both static and dynamic scheduling, using emerging paradigms that are inspired by natural phenomena such as fuzzy logic, mean-field annealing, and simulated annealing. Systems that are designed using such techniques are often referred to in the literature as `intelligent' because of their capability to adapt to sudden changes in their environments. Moreover, most of these changes cannot be anticipated in advance or included in the original design of the system. Scheduling in Parallel Computing Systems: Fuzzy and Annealing Techniques provides results that prove such approaches can become viable alternatives to orthodox solutions to the scheduling problem, which are mostly based on heuristics. Although heuristics are robust and reliable when solving certain instances of the scheduling problem, they do not perform well when one needs to obtain solutions to general forms of the scheduling problem. On the other hand, techniques inspired by natural phenomena have been successfully applied for solving a wide range of combinatorial optimization problems (e.g. traveling salesman, graph partitioning). The success of these methods motivated their use in this book to solve scheduling problems that are known to be formidable combinatorial problems. Scheduling in Parallel Computing Systems: Fuzzy and Annealing Techniques is an excellent reference and may be used for advanced courses on the topic.
Author : John N. Crossley
Publisher : Springer Science & Business Media
Page : 840 pages
File Size : 32,47 MB
Release : 1994-01-26
Category : Computers
ISBN : 9780817636906
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.
Author : Geraint Jones
Publisher : Springer Science & Business Media
Page : 364 pages
File Size : 15,81 MB
Release : 2013-12-14
Category : Computers
ISBN : 144713544X
These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application to hardware design of the techniques of software engineering. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program develop ment. The harsher constraints on hardware designers mean both that there is a greater need for good abstractions and rigorous assurances of the trustworthyness of designs, and also that there is greater reason to expect that these benefits can be realised. The papers presented at this workshop consider the application of mathematics to hardware design at several different levels of abstraction. At the lowest level of this spectrum, Zhou and Hoare show how to describe and reason about synchronous switching circuits using UNilY, a formalism that was developed for reasoning about parallel programs. Aagaard and Leeser use standard mathematical tech niques to prove correct their implementation of an algorithm for Boolean simplification. The circuits generated by their formal synthesis system are thus correct by construction. Thuau and Pilaud show how the declarative language LUSTRE, which was designed for program ming real-time systems, can be used to specify synchronous circuits.
Author : Monique Becker
Publisher : IOS Press
Page : 396 pages
File Size : 17,73 MB
Release : 1992
Category : Computers
ISBN : 9789051990812
In today's highly competitive environment, the transputer market provides Europe with a great number of important assets. From the first transputer with its four links and OCCAM language, which opened the door to a whole series of distributed memory machines, to the T9000 with the C104 and the standardization of software programs, progress in this field has come a long way.
Author : INMOS Limited
Publisher :
Page : 110 pages
File Size : 15,70 MB
Release : 1984
Category : Mathematics
ISBN :
Author : S. Noguchi
Publisher : IOS Press
Page : 288 pages
File Size : 16,77 MB
Release : 1992
Category : Computers
ISBN : 9789051990935
Comprises discussions presented by leading international experts on the application of transputers. Coverage includes formalism, specifications and design, concurrent systems development, parallel algorithms, real time systems and applications.