• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Distributed and Parallel Embedded Systems :

پدید آورنده
edited by Franz J. Rammig.

موضوع
Computer science.,Data structures (Computer science),Electronic data processing.

رده

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0387355707
(Number (ISBN
1475750064
(Number (ISBN
9780387355702
(Number (ISBN
9781475750065

NATIONAL BIBLIOGRAPHY NUMBER

Number
b549678

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Distributed and Parallel Embedded Systems :
General Material Designation
[Book]
Other Title Information
IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98) October 5-6, 1998, Schlo€ Eringerfeld, Germany
First Statement of Responsibility
edited by Franz J. Rammig.

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Boston, MA
Name of Publisher, Distributor, etc.
Springer US
Date of Publication, Distribution, etc.
1999

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
(ix, 240 pages).

SERIES

Series Title
IFIP - The International Federation for Information Processing, 25.

CONTENTS NOTE

Text of Note
1 Formalisms for Embedded System Design --;IP-Centric Methodology and Specification Language --;Multilanguage Design --;2 Synthesis from Synchronous/Asynchronous Specification --;From Synchronous Specifications to Asynchronous Distributed Implementations --;Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems --;From MSCS to Statecharts --;Software Synthesis from Statechart Models for Real Time Systems --;3 Partitioning and Load-Balancing --;Combining Static Partitioning with Dynamic Distribution of Threads --;Distributed HIL-Simulation for the Design of Decentralised Control Structures --;Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine --;Agent-Based Load Balancing for Mobile Robot Applications --;4 Verification and Validation --;Comparing Model Checking and Term Rewriting for the Verification of an Embedded System --;Microscopic Modeling of Support System for In-Vehicle Embedded Systems --;Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors --;Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPs --;5 Design Environments --;The DASE Tool: An Environment for the Development of Real-Time Applications --;Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems --;MCI --;Multilanguage Distributed Co-Simulation Tool --;6 Object Oriented Approaches --;Rapid Prototyping of Distributed Mechatronic Applications --;An 00 Based Methodology for Real-Time HW/SW Systems Modeling --;Modeling Distributed State as an Abstract Object --;Design Rationale of the PURE Object-Oriented Embedded Operating System.

SUMMARY OR ABSTRACT

Text of Note
This book is the result of the International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), organized by the International Federation for Information Processing (IFIP) Working Groups 10.3 (Concurrent Systems) and 10.5 (Design and Engineering of Electronic Systems).

TOPICAL NAME USED AS SUBJECT

Computer science.
Data structures (Computer science)
Electronic data processing.

PERSONAL NAME - PRIMARY RESPONSIBILITY

edited by Franz J. Rammig.

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Franz J Rammig

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival