Kirjojen hintavertailu. Mukana 12 595 353 kirjaa ja 12 kauppaa.

Kirjailija

David C. Luckham

Kirjat ja teokset yhdessä paikassa: 4 kirjaa, julkaisuja vuosilta 1987-2012, suosituimpien joukossa ANNA A Language for Annotating Ada Programs. Vertaile teosten hintoja ja tarkista saatavuus suomalaisista kirjakaupoista.

4 kirjaa

Kirjojen julkaisuhaarukka 1987-2012.

Hardware Design and Simulation in VAL/VHDL

Hardware Design and Simulation in VAL/VHDL

Larry M. Augustin; David C. Luckham; Benoit A. Gennart; A. Stanculescu

Springer-Verlag New York Inc.
2012
nidottu
The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir­ cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it is an IEEE standard (1076-1987), and several simulators and other automated support tools for it are available commercially. By providing a standard notation for describing hardware, especially in the early stages of the hardware design process, VHDL is expected to reduce both the time lag and the cost involved in building new systems and upgrading existing ones. VHDL is the result of an evolutionary approach to language devel­ opment starting with high level hardware description languages existing in 1981. It has a decidedly programming language flavor, resulting both from the orientation of hardware languages of that time, and from a ma­ jor requirement that VHDL use Ada constructs wherever appropriate. During the 1980's there has been an increasing current of research into high level specification languages for systems, particularly in the software area, and new methods of utilizing specifications in systems de­ velopment. This activity is worldwide and includes, for example, object­ oriented design, various rigorous development methods, mathematical verification, and synthesis from high level specifications. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description languages in the direction of applying new methods that have developed since VHDL was designed.
Event Processing for Business

Event Processing for Business

David C. Luckham

John Wiley Sons Inc
2011
sidottu
Find out how Events Processing (EP) works and how it can work for you Business Event Processing: An Introduction and Strategy Guide thoroughly describes what EP is, how to use it, and how it relates to other popular information technology architectures such as Service Oriented Architecture. Explains how sense and response architectures are being applied with tremendous results to businesses throughout the world and shows businesses how they can get started implementing EPShows how to choose business event processing technology to suit your specific business needs and how to keep costs of adopting it downProvides practical guidance on how EP is best integrated into an overall IT strategy and how its architectural styles differ from more conventional approaches This book reveals how to make the most advantageous use of event processing technology to develop real time actionable management information from the events flowing through your company's networks or resulting from your business activities. It explains to managers and executives what it means for a business enterprise to be event-driven, what business event processing technology is, and how to use it.
Hardware Design and Simulation in VAL/VHDL

Hardware Design and Simulation in VAL/VHDL

Larry M. Augustin; David C. Luckham; Benoit A. Gennart; A. Stanculescu

Springer
1990
sidottu
The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir­ cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it is an IEEE standard (1076-1987), and several simulators and other automated support tools for it are available commercially. By providing a standard notation for describing hardware, especially in the early stages of the hardware design process, VHDL is expected to reduce both the time lag and the cost involved in building new systems and upgrading existing ones. VHDL is the result of an evolutionary approach to language devel­ opment starting with high level hardware description languages existing in 1981. It has a decidedly programming language flavor, resulting both from the orientation of hardware languages of that time, and from a ma­ jor requirement that VHDL use Ada constructs wherever appropriate. During the 1980's there has been an increasing current of research into high level specification languages for systems, particularly in the software area, and new methods of utilizing specifications in systems de­ velopment. This activity is worldwide and includes, for example, object­ oriented design, various rigorous development methods, mathematical verification, and synthesis from high level specifications. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description languages in the direction of applying new methods that have developed since VHDL was designed.
ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

David C. Luckham; Friedrich W. von Henke; Bernd Krieg-Brueckner; Olaf Owe

Springer-Verlag Berlin and Heidelberg GmbH Co. K
1987
nidottu
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design.