Sebanyak 1539 item atau buku ditemukan

UML for Systems Engineering

Watching the Wheels, 2nd Edition

Up until a few years ago there were over 150 different modelling languages available to software developers. This vast array of choice however, only served to severely hinder effective communication. Therefore, to combat this, every methodologist and many companies agreed to speak the same language, hence the birth of the unified modelling language (UML). The UML offers a means to communicate complex information in a simple way using visual modelling; i.e. drawing diagrams to create a model of a system. This fully revised edition, based on a training course given by the author, coincides with the release of UML version 2 by the standard body, the Object Management Group, and covers the significant changes that have occurred since its release. It also includes material on life cycle management, examining the way the UML can be used to control and manage projects and the UML systems engineering profile.

This book concentrates on systems-based applications, rather than the traditional software applications that are more usually associated with the UML.

Republic (Reeve Edition)

This edition includes a select bibliography, a synopsis of each book, a glossary of terms, a glossary and index of names, and a general index. "Reeve's new translation of Republic is the one to order for students. . . . Reeve draws on his thorough understanding of Plato's central work to provide an informed translation and properly brief supporting apparatus. A highlight is the concise, substantive Introduction that usefully encapsulates much of Reeve's own scholarship." —P.W. Wakefield, in CHOICE

This edition includes a select bibliography, a synopsis of each book, a glossary of terms, a glossary and index of names, and a general index. "Reeve's new translation of Republic is the one to order for students. . .

Field Programmable Logic and Application

14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Field-Programmable Logic, FPL 2003, held in Leuven, Belgium in August/September 2004. presented together with 3 keynote contributions and 3 tutorial summaries were carefully reviewed and selected from 285 papers submitted. computing, security and cryptography, platform-based design, algorithms and architectures, acceleration application, architecture, physical design, arithmetic, multitasking, circuit technology, network processing, testing, applications, signal processing, computational models and compiler, dynamic reconfiguration, networks and optimisation algorithms, system-on-chip, high-speed design, image processing, network-on-chip, power-aware design, IP-based design, co-processing architectures, system level design, physical interconnect, computational models, cryptography and compression, network applications and architecture, and debugging and teSt.

14th International Conference , FPL 2004, Leuven, Belgium, August 30-
September 1, 2004, Proceedings Jürgen Becker, Marco Platzner Serge Vernalde
. Execution Speed of the Pattern Recognition Algorithm for ATLAS – High Energy
Physics Experiment Christian Hinkelbein, Andrei Khomich, Andreas Kugel,
Reinhard Männer, and Matthias Müller Institute of Computer Science V,
University of Mannheim, B6, 23-29, 68131, Mannheim, Germany {hinkelbein,
khomich, kugel, maenner, ...

Logic Versus Approximation

Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday

Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based approaches where logic is to be understood in a rather broad sense; usually these approaches are used in symbolic domains where numerical calculations are not the core challenge. On the other hand we find approximation oriented reasoning; methods of these kinds are mainly applied in numerical domains where approximation is part of the scientific methodology itself. However, from an abstract level all these approaches do focus on similar topics and arise on various levels such as problem modeling, inference and problem solving techniques, algorithms and mathematical methods, mathematical relations between discrete and continuous properties, and are integrated in tools and applications. In accordance with the unifying vision and research interest of Michael M. Richter and in correspondence to his scientific work, this book presents 13 revised full papers advocating the integration of logic-based and approximation-oriented approaches in knowledge processing.

Problem-specific algorithms vs. heuristics, exact optimization vs. approximation
vs. heuristic solutions, guaranteed run time vs. expected run time vs.
experimental run time analysis. Here, a framework for a theory of randomized
search heuristics is presented. After a brief history of discrete optimization,
scenarios are discussed where randomized search heuristics are appropriate.
Different randomized se- arch heuristics are presented and it is argued why the
expected optimization time ...

Artificial Intelligence in Logic Design

There are three outstanding points of this book. First: for the first time, a collective point of view on the role of artificial intelligence paradigm in logic design is introduced. Second, the book reveals new horizons of logic design tools on the technologies of the near future. Finally, the contributors of the book are twenty recognizable leaders in the field from the seven research centres. The chapters of the book have been carefully reviewed by equally qualified experts. All contributors are experienced in practical electronic design and in teaching engineering courses. Thus, the book's style is accessible to graduate students, practical engineers and researchers.

from Mishchenko's and our algorithms confirmed the above observation. The
decision diagram based exact algorithms are also inefficient for larger difficult
problem instances (e.g. for benchmarks “Flag” and “Mashroom” having 28 and 22
inputs, correspondingly (Mishchenko et al. 2000)). 5.2. QuickScan Inefficiency of
exact algorithms for larger instances of MISP motivates the development of faster
heuristic algorithms. Although the heuristic algorithms cannot guarantee the
optimal ...