Kategoria BISAC: Computers >> Logic Design

• Low-voltage CMOS device modeling, technology...

In 1998-99, at the dawn of the SoC Revolution, we wrote Surviving the SOC Revolution: A Guide to Platform Based Design. In that book, we focused on presenting guidelines and best practices to aid engineers beginning to design complex System-on-Chip devices (SoCs). Now, in 2003, facing the mid-point of that revolution, we believe that it is time to focus on winning.

In this book, Winning the SoC Revolution: Experiences in Real Design, we gather the best practical experiences in how to design SoCs from the most advanced design groups, while setting...

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.
The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

This book constitutes the documentation of the 19 workshops and of the poster sessions organized during the 16th European Conference on Object-Oriented Programming, ECOOP 2002, held in Malaga, Spain, in June 2002.
The 19 workshop reports and the poster session summary present a coherent and highly representative snapshot of the major trends in object-oriented technology.

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.

The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.

Reflects recent developments in its emphasis on randomized and approximation algorithms and communication models

All topics are considered from an algorithmic point of view stressing the implications for algorithm design

This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Programming Multi-Agent Systems, ProMAS 2004, held in New York, NY, USA in July 2004 as a satellite workshop of AAMAS 2004.

The 10 revised full papers presented together with two invited articles were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on agent-oriented programming, agent platforms and tools, agent languages, and multi-agent systems techniques.

This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2004, held in New York, NY in June 2004.

The 15 revised full research papers presented together with a report on scheduling on the Top 50 machines went through two rounds of reviewing and improvement. Various current issues in job scheduling and load balancing are addressed in the context of computing clusters, parallel and distributed systems, multi-processor systems, and supercomputers.

This book constitutes the refereed proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005, held in Edinburgh, UK in April 2005 as part of ETAPS.

The 25 revised full papers presented together with an invited paper were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on Web services, graph grammars and graph transformations, components, product lines, theory, code understanding and validation, UML, and automatic proofs and provers.