مواكبة التطور العالمي في مجال الطيران توفير الدراسات المتخصصة في ...
Lire la suite
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Lire la suite
The foundations of system analysis as an applied scientific methodology assigned for the investigation of complex and highly ...
Lire la suite
The book focuses on system level design issues for reconfigurable SoCs, and provides information on reconfiguration aspects ...
Lire la suite
System Modeling and Optimization is an indispensable reference for anyone interested in the recent advances in these two ...
Lire la suite
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
the purpose of this book to provide guidance on how reliability problems might be structured, modeled and solved. Over the ...
Lire la suiteComputer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...
Lire la suite
This volume contains six peer-refereed articles written on the occasion of the workshop "Operator theory, system theory ...
Lire la suite
This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to ...
Lire la suite
System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis ...
Lire la suite
New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...
Lire la suite
SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...
Lire la suite
SystemVerilog is a rich set of extensions to the Verilog Hardware Description Language (Verilog HDL). SystemVerilog for Design ...
Lire la suite
Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...
Lire la suite
Cellular nonlinear networks are naturally inspired computing architectures where complex dynamic behaviors may emerge as ...
Lire la suite
This book focuses on their latest cutting-edge research into the appropriate role of credit as an asset class, the dynamics ...
Lire la suiteSystematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ...
Lire la suite
This book reports on research in the field of methods for modeling and analysis of telecommunication frontends and their ...
Lire la suite