دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
دانلود کتاب سیستم های جاسازی شده: طراحی، تجزیه و تحلیل و تایید: چهارمین IFIP TC 10 سمینار سیستم های جاسازی شده بین المللی، IESS 2013، Paderborn، Germany، 17-19 ژوئن 2013. پرونده ها
مشخصات کتاب
Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
ویرایش: 1 نویسندگان: Takuya Azumi, Yasaman Samei Syahkal, Yuko Hara-Azumi, Hiroshi Oyama, Rainer Dömer (auth.), Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig (eds.) سری: IFIP Advances in Information and Communication Technology 403 ISBN (شابک) : 9783642388521, 9783642388538 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 368 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب سیستم های جاسازی شده: طراحی، تجزیه و تحلیل و تایید: چهارمین IFIP TC 10 سمینار سیستم های جاسازی شده بین المللی، IESS 2013، Paderborn، Germany، 17-19 ژوئن 2013. پرونده ها: سیستم های مبتنی بر هدف و کاربرد ویژه، عملکرد و ارزیابی سیستم، مهندسی نرم افزار، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی
در صورت تبدیل فایل کتاب Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های جاسازی شده: طراحی، تجزیه و تحلیل و تایید: چهارمین IFIP TC 10 سمینار سیستم های جاسازی شده بین المللی، IESS 2013، Paderborn، Germany، 17-19 ژوئن 2013. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های جاسازی شده: طراحی، تجزیه و تحلیل و تایید: چهارمین IFIP TC 10 سمینار سیستم های جاسازی شده بین المللی، IESS 2013، Paderborn، Germany، 17-19 ژوئن 2013. پرونده ها
این کتاب مجموعه مقالات داوری چهارمین سمپوزیوم بین المللی سیستم های جاسازی شده IFIP TC 10، IESS 2013، در پادربورن، آلمان، در ژوئن 2013 برگزار شد. 22 مقاله اصلاح شده کامل ارائه شده همراه با 8 مقاله کوتاه با دقت بررسی و انتخاب شدند 42 ارسال. مقالات در بخش‌های موضوعی زیر سازماندهی شده‌اند: روش‌شناسی طراحی. جنبه های غیر کاربردی سیستم های تعبیه شده؛ تایید؛ تجزیه و تحلیل عملکرد؛ سیستم های بلادرنگ؛ برنامه های کاربردی سیستم تعبیه شده؛ و جنبه های بلادرنگ در سیستم های توزیع شده. این کتاب همچنین شامل یک فصل ویژه است که به پروژه ARAMIS با بودجه BMBF در مورد سیستم‌های چند هسته‌ای خودرو، راه‌آهن و اویونیک اختصاص دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to the BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.
فهرست مطالب
Front Matter....Pages -
TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component....Pages 1-13
Programming Robots with Events....Pages 14-25
Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding....Pages 26-38
Automatic Execution of Test Cases on UML Models of Embedded Systems....Pages 39-48
Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software....Pages 49-60
Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines....Pages 61-72
Low-Power Processors Require Effective Memory Partitioning....Pages 73-81
Enhancement of System-Lifetime by Alternating Module Activation....Pages 82-91
Model Checking Memory-Related Properties of Hardware/Software Co-designs....Pages 92-103
Reducing Re-verification Effort by Requirement-Based Change Management....Pages 104-115
Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories....Pages 116-127
Automated Functional Verification of Application Specific Instruction-set Processors....Pages 128-138
Compressing Microcontroller Execution Traces to Assist System Analysis....Pages 139-150
Hardware and Software Implementations of Prim’s Algorithm for Efficient Minimum Spanning Tree Computation....Pages 151-158
A Passive Monitoring Tool for Evaluation of Routing in Wireless HART Networks....Pages 159-170
Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration....Pages 171-180
Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction....Pages 181-192
Towards Virtualization Concepts for Novel Automotive HMI Systems....Pages 193-204
Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs....Pages 205-217
Formal Verification of Concurrent Embedded Software....Pages 218-227
On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem....Pages 228-237
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks....Pages 238-249
Adaptive Total Bandwidth Server: Using Predictive Execution Time....Pages 250-261
Real-Time Service-Oriented Architectures: A Data-Centric Implementation for Distributed and Heterogeneous Robotic System....Pages 262-271
Contract-Based Compositional Scheduling Analysis for Evolving Systems....Pages 272-282
Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant Management....Pages 283-292
Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems....Pages 293-305
A Structural Parametric Binaural 3D Sound Implementation Using Open Hardware....Pages 306-317
Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems....Pages 318-330
I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications....Pages 331-342
Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System....Pages 343-352
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Investigations in Universal Grammar: A Guide to Experiments on the Acquisition of Syntax and Semantics (Language, Speech, and Communication)
دانلود کتاب Eine von so vielen · Das kurze Leben der Marion Samuel 1931-1943
دانلود کتاب Imperially-Published Five-Script Textual Mirror of Qing - Yù zhì wǔ tǐ Qīng wén jiàn
