Computer Hardware Description Languages and their Applications

Computer Hardware Description Languages and their Applications
Author: D. Borrione
Publisher: Elsevier
Total Pages: 490
Release: 2014-06-28
Genre: Computers
ISBN: 1483298450

The topic areas presented within this volume focus on design environments and the applications of hardware description and modelling – including simulation, verification by correctness proofs, synthesis and test. The strong relationship between the topics of CHDL'91 and the work around the use and re-standardization of the VHDL language is also explored. The quality of this proceedings, and its significance to the academic and professional worlds is assured by the excellent technical programme here compiled.

Computer Hardware Description Languages and Their Applications

Computer Hardware Description Languages and Their Applications
Author: Dominique Borrione
Publisher:
Total Pages: 498
Release: 1991
Genre: Computer hardware description languages
ISBN: 9780444892089

The topic areas presented within this volume focus on design environments and the applications of hardware description and modelling - including simulation, verification by correctness proofs, synthesis and test. The strong relationship between the topics of CHDL'91 and the work around the use and re-standardization of the VHDL language is also explored. The quality of this proceedings, and its significance to the academic and professional worlds is assured by the excellent technical programme here compiled.

Dependable Computing for Critical Applications 3

Dependable Computing for Critical Applications 3
Author: Carl E. Landwehr
Publisher: Springer Science & Business Media
Total Pages: 380
Release: 2013-06-29
Genre: Computers
ISBN: 3709140099

This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Because the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.

ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems
Author: Association for Computing Machinery
Publisher:
Total Pages: 644
Release: 1992
Genre: Computer programming
ISBN:

Contains articles on programming languages and their semantics, programming systems, storage allocations and garbage collection, languages and methods for writing specifications, testing and verification methods, and algorithms specifically related to the implementation of language processors.

Software Engineering - ESEC '93

Software Engineering - ESEC '93
Author: Ian Sommerville
Publisher: Springer
Total Pages: 536
Release: 1993-08-30
Genre: Computers
ISBN: 9783540572091

This volume contains the proceedings of the fourth European Software Engineering Conference. It contains 6 invited papers and 27 contributed papers selected from more than 135 submissions. The volume has a mixtureof themes. Some, such as software engineering and computer supported collaborative work, are forward-looking and anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. Some topics, such as software reuse, reflect the fact that some of the concerns first raised in 1969 when software engineering was born remain unsolved problems. The contributed papers are organized under the following headings: requirements specification, environments, systems engineering, distributed software engineering, real-time systems, software engineering and computer supported collaborative work, software reuse, software process, and formal aspects of software engineering.