Search results

Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. In many cases where the application is very demanding in terms of various performances (time, surface, power consumption), trade-offs between dedicated hardware and dedicated software are becoming increasingly difficult to decide upon in the early stages of a design. Verification techniques - such as simulation or proof techniques - that have proven necessary in the hardware desi...

This is a timely book presenting an overview of the current state-of-the-art within established projects, presenting many different aspects of workflow from users to tool builders. It provides an overview of active research, from a number of different perspectives. It includes theoretical aspects of workflow and deals with workflow for e-Science as opposed to e-Commerce. The topics covered will be of interest to a wide range of practitioners.

Microsoft SQL Server is the leading database management system (DBMS) on Windows NT. This invaluable companion for developers provides not only the fundamentals of SQL Server and data warehouse development but also expert guidance on human resource issues, how to select appropriate tools and architectures for specific projects, how to use COM/DCOM and MTS with SQL Server, and much more.

Container terminals are constantly being challenged to adjust their throughput capacity to match fluctuating demand. Examining the optimization problems encountered in today’s container terminals, Vehicle Scheduling in Port Automation: Advanced Algorithms for Minimum Cost Flow Problems, Second Edition provides advanced algorithms for handling the scheduling of automated guided vehicles (AGVs) in ports.The research reported in this book represents a complete package that can help readers address...

This text presents the basic concepts used for modelling and analysing information in organisations, within the context of requirements analysis modelling for information systems development.

This text provides an explanation of the information engineering methodolgy as utilized in Texas Instruments' Composer Software. It gives coverage of all facets of the software, from planning to design and construction. A book length case study teaches students how to complete a development project using Composer. The text is based on the latest version of Composer Software.

The TransNav 2013 Symposium held at the Gdynia Maritime University, Poland in June 2013 has brought together a wide range of participants from all over the world. The program has offered a variety of contributions, allowing to look at many aspects of the navigational safety from various different points of view. Topics presente

Recent advancements in technology have led to significant improvements in designing various electronic systems. This provides a wide range of different components that can be utilized across numerous applications. Microcontroller System Design Using PIC18F Processors provides comprehensive discussions on strategies and techniques for optimizing microprocessor-based electronic system development and examines methods for acquiring improved software and hardware skills. Highlighting innovative conc...

Erlang's process-oriented approach has given it a very different runtime environment. As Erlang and tools built on Erlang, like CouchDB, Riak, and EjabberD spread, understanding those underpinnings becomes much more important for people building and maintaining applications. This book will explore Erlang's unique approach to building a virtual machine, demonstrating how to take advantage of its power and tune it to fit your needs.

Intelligent Data Analysis for Real-Life Applications: Theory and Practice investigates the application of Intelligent Data Analysis (IDA) to these data sets through the design and development of algorithms and techniques to extract knowledge from databases. This pivotal reference explores practical applications of IDA, and it is essential for academic and research libraries as well as students, researchers, and educators in data analysis, application development, and database management.

This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2004, held in Aizu-Wakamatsu City, Japan, in August 2004. The 104 revised full papers presented were carefully reviewed and selected from more than 260 submissions. The papers are organized in topical sections on embedded hardware and software; real-time systems; power-aware computing; hardware/software codesign and systems-on-chip; mobile computing; wireless communication; mu...

Das Buch fuhrt in grundlegende Modelle und Methoden fur die Planung, Steuerung und Uberwachung von Unternehmensprozessen ein. Im Mittelpunkt der Diskussion steht die Analyse von Ablaufen mit dem Ziel der Optimierung. Innerhalb quantitativer Ansatze entwirft der Autor Modelle und stellt verschiedene Methoden zur Problemlosung vor. Er unterscheidet dabei die Entwurfs- und die Realisierungsebene von Prozessen und unterzieht sie einer genauen Betrachtung. Den Rahmen der Ausfuhrungen bilden die Aufga...

This book will attempt to give a first synthesis of recent works con cerning reactive system design. The term "reactive system" has been introduced in order to at'oid the ambiguities often associated with by the term "real-time system," which, although best known and more sugges tive, has been given so many different meanings that it is almost in evitably misunderstood. Industrial process control systems, transporta tion control and supervision systems, signal-processing systems, are ex amp...

This book examines seven key combinatorial engineering frameworks (composite schemes consisting of algorithms and/or interactive procedures) for hierarchical modular (composite) systems. These frameworks are based on combinatorial optimization problems (e.g., knapsack problem, multiple choice problem, assignment problem, morphological clique problem), with the author's version of morphological design approach - Hierarchical Morphological Multicritieria Design (HMMD) - providing a conceptual lens...

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action...

CYBER-PHYSICAL SYSTEMS Provides a unique general theory of cyber-physical systems, focusing on how physical, data, and decision processes are articulated as a complex whole Cyber-physical systems (CPS) operate in complex environments systems with integrated physical and computational capabilities. With the ability to interact with humans through variety of modalities, cyber-physical systems are applied across areas such as Internet of Things (IoT)-enabled devices, smart grids, autonomous auto...