Listing 1 - 10 of 77 << page
of 8
>>
Sort by

Book
IEEE Standard Test Language for All Systems-Common/Abbreviated Test Language for All Systems (C/ATLAS): 716-1995
Author:
ISBN: 1559375183 0738106224 Year: 1995 Publisher: [Place of publication not identified] IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Visual Languages, '95 IEEE Symposium On
Author:
Year: 1995 Publisher: [Place of publication not identified] IEEE Computer Society Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Presents papers, speeches, and summaries of tutorials from the September 1995 symposium. Material is arranged by date of presentation rather than subject. Topics include improving readability of iconic programs with multiple view object representation; visual specification of branching time temporal logic; a high-level language for the graphical description of digital circuits; visual programming for animation in user interfaces; formal semantics of visual language using spatial reasoning; and the design of anthropocentric cooperative visual environments. No index. Annotation copyright by Book News, Inc., Portland, OR.


Book
IEEE Std 896.9-1994. : IEEE Standard for Fault Tolerant Extensions to the Futurebus+
Author:
Year: 1995 Publisher: [Place of publication not identified] : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This standard is one in a family of Futurebus+ TM standards. The Futurebus+ standards provide a set of tools with which to implement a bus architecture with performance and cost scalability over time for multiple generations of single- and multiple-bus multiprocessor systems. This standard provides fault tolerant extensions to Futurebus+ standards. As such, this standard provides the logical layer requirements for the transmission of data in a fault tolerant environment. When used in conjunction with other IEEE standards, the details to develop modular, open-architecture-based systems fulfilling user needs across a wide computing spectrum are available.


Book
Specification and validation methods
Author:
ISBN: 9780198538547 0198538545 Year: 1995 Publisher: Oxford: Clarendon,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A guide to programming languages : overview and comparison
Author:
ISBN: 0890068127 Year: 1995 Publisher: Boston (Mass.) : Artech house,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Visual Languages, '95 IEEE Symposium On
Author:
Year: 1995 Publisher: [Place of publication not identified] IEEE Computer Society Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Presents papers, speeches, and summaries of tutorials from the September 1995 symposium. Material is arranged by date of presentation rather than subject. Topics include improving readability of iconic programs with multiple view object representation; visual specification of branching time temporal logic; a high-level language for the graphical description of digital circuits; visual programming for animation in user interfaces; formal semantics of visual language using spatial reasoning; and the design of anthropocentric cooperative visual environments. No index. Annotation copyright by Book News, Inc., Portland, OR.


Book
IEEE Std 896.9-1994. : IEEE Standard for Fault Tolerant Extensions to the Futurebus+
Author:
Year: 1995 Publisher: [Place of publication not identified] : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This standard is one in a family of Futurebus+ TM standards. The Futurebus+ standards provide a set of tools with which to implement a bus architecture with performance and cost scalability over time for multiple generations of single- and multiple-bus multiprocessor systems. This standard provides fault tolerant extensions to Futurebus+ standards. As such, this standard provides the logical layer requirements for the transmission of data in a fault tolerant environment. When used in conjunction with other IEEE standards, the details to develop modular, open-architecture-based systems fulfilling user needs across a wide computing spectrum are available.

Formal syntax and semantics of programming languages : a laboratory based approach
Authors: ---
ISBN: 0201656973 9780201656978 Year: 1995 Publisher: Reading, Mass. Addison-Wesley Publishing Company

Programming with Miranda
Authors: --- ---
ISBN: 9780131925922 013192592X Year: 1995 Publisher: New York, N.Y.: Prentice Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Isomorphisms of types : from λ-calculus to information retrieval and language design
Author:
ISBN: 9780817637637 081763763X Year: 1995 Publisher: Boston (Mass.): Birkhäuser,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 77 << page
of 8
>>
Sort by