The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. The task is to find a mapping, ...

This book constitutes the refereed proceedings of six workshops on evolutionary computation held concurrently as EvoWorkshops 2000 in Edinburgh, Scotland, UK, in April 2000.The 37 revised papers presented were carefully reviewed and selected by the respective program committees. All in all, the book demonstrates the broad application potential of evolutionary computing in a variety of fields. In accordance with the individual workshops, the book ...

This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.The 36 revised papers included in the book were selected from a total of 99 submissions; they highlight recent developments in theory, computation, and applications of integer programming and combinatorial optimization. The volume is organized in sections on integer ...

Advanced modeling techniques are a necessary tool in order to design and manage manufacturing systems effectively. This book contains a set of tutorial chapters on topics ranging from aggregate production planning to real time control, including predictive and reactive scheduling, flow management in assembly systems, simulation of robotic cells, design of manufacturing systems under uncertainty and a historical perspective on production ...

This book provides a theoretical and application oriented analysis of deterministic scheduling problems arising in computer and manufacturing environments. In such systems processors (machines) and possibly other resources are to be allocated among tasks in such a way that certain scheduling objectives are met. Various scheduling problems are discussed where different problem parameters such as task processing times, urgency weights, arrival ...

The book is concerned with production planning problems arising in the context of make-to-order assembly. After introducing the general decision context, a survey of the relevant literature in the fields of assembly management, make-to-order manufacturing, and project scheduling is given. The main part of the book provides a hierarchical planning approach with three levels: order selection, manufacturing planning, and operations scheduling. The ...

Massimiliano Caramia received his Laurea Degree in Management Engineering at the University of Rome "Tor Vergata", Italy in 1996, and his Ph.D. in Operations Research at the University of Rome "La Sapienza" in 2000. From 2000 to 2001 he was a research associate at the University of Rome "Tor Vergata", since then he has been a researcher at the Istituto per le Applicazioni del Calcolo "M. Picone" of the Italian National Research Council. His ...

Petra Hofstedt:
Studium der Informatik an der Technischen Universität Dresden, 1995 Abschluss zur Diplom-Informatikerin.- Von 1995 bis 1999 wissenschaftliche Mitarbeiterin an der TU Dresden mit den Forschungs- und Arbeitsschwerpunkten (Deklarative) Programmiersprachen, parallele Programmierung und theoretische Informatik.- 1997 Forschungsaufenthalt an der Rheinisch-Westfälischen Technischen Hochschule Aachen.- Von 1999 bis 2001 ...

This book constitutes the refereed proceedings of the First International Conference on Multi-Criterion Optimization, EMO 2001, held in Zurich, Switzerland in March 2001.The 45 revised full papers presented were carefully reviewed and selected from a total of 87 submissions. Also included are two tutorial surveys and two invited papers. The book is organized in topical sections on algorithm improvements, performance assessment and comparison, ...

The matrix-based approach presented here is a solution to the real-time application of control in discrete event systems and flexible manufacturing systems (FMS) in particular. "and/or" algebra enables fast and efficient calculations. The method uses standard task-sequencing and resource-requirements matrices. Matrix-based techniques are compared with Petri net and max-plus algebra ideas. The software discussed in "Manufacturing Systems Control ...