Hardware (1993-1997) #9


Book Description

Has Hardware met his match in Technique, the brilliant woman with a battle suit of her own, sent by Alva to destroy him? And Hardware knows her suit’s got to be good…because it was designed by his alter ego, Curtis Metcalf! Written by Brian McDonald and pencilled by Arvell Jones. Cover by Denys Cowan.







Hardware


Book Description




USITC Publication


Book Description




Formal Methods in Computer-Aided Design


Book Description

This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998. The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state of the art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary decision diagrams, model checking, symbolic reasoning, symbolic simulation, and abstraction methods are covered.




Proceedings


Book Description




Design Rules, Volume 1


Book Description

We live in a dynamic economic and commerical world, surrounded by objects of remarkable complexity and power. In many industries, changes in products and technologies have brought with them new kinds of firms and forms of organization. We are discovering news ways of structuring work, of bringing buyers and sellers together, and of creating and using market information. Although our fast-moving economy often seems to be outside of our influence or control, human beings create the things that create the market forces. Devices, software programs, production processes, contracts, firms, and markets are all the fruit of purposeful action: they are designed. Using the computer industry as an example, Carliss Y. Baldwin and Kim B. Clark develop a powerful theory of design and industrial evolution. They argue that the industry has experienced previously unimaginable levels of innovation and growth because it embraced the concept of modularity, building complex products from smaller subsystems that can be designed independently yet function together as a whole. Modularity freed designers to experiment with different approaches, as long as they obeyed the established design rules. Drawing upon the literatures of industrial organization, real options, and computer architecture, the authors provide insight into the forces of change that drive today's economy.




Programmable Digital Signal Processors


Book Description

"Presents the latest developments in the prgramming and design of programmable digital signal processors (PDSPs) with very-long-instruction word (VLIW) architecture, algorithm formulation and implementation, and modern applications for multimedia processing, communications, and industrial control."




Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems


Book Description

system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge neous and contain almost always programmable components.




Emotions in Humans and Artifacts


Book Description

Emotions: from brain research to computer game development / Robert Trappl / - A theory of emotion, its functions, and its adaptive value / Edmund T. Rolls / - How many separately evolved emotional beasties live within us? / Aaron Sloman / - Designing emotions for activity selection in autonomous agents / Lola D. Cañamero / - Emotions : meaningful mappings between the individual and its world / Kirstie L. Bellman / - On making believable emotional agents believable / Andrew Ortony / - What does it mean for a computer to "have" emotions? / Rosalind W. Picard / - The role of elegance in emotion and personality : reasoning for believable agents / Clark Elliott / - The role of emotions in a tractable architecture for situated cognizers / Paolo Petta / - The Wolfgang system : a role of "emotions" to bias learning and problem solving when learning to compose music / Douglas Riecken / - A Bayesian heart : computer recognition and simulation of emotion / Eugene Ball / - Creating emotional rel ...