ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

دانلود کتاب نرم افزار تعبیه شده: اولین کارگاه بین المللی ، EMSOFT 2001 Tahoe City ، CA ، ایالات متحده ، 8 تا 10 اکتبر ، مجموعه مقالات

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

مشخصات کتاب

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 2211 
ISBN (شابک) : 3540426736, 9783540426738 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2001 
تعداد صفحات: 513 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

قیمت کتاب (تومان) : 47,000



کلمات کلیدی مربوط به کتاب نرم افزار تعبیه شده: اولین کارگاه بین المللی ، EMSOFT 2001 Tahoe City ، CA ، ایالات متحده ، 8 تا 10 اکتبر ، مجموعه مقالات: مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، سیستم‌های هدف خاص و مبتنی بر کاربرد، منطق و معانی برنامه‌ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 6


در صورت تبدیل فایل کتاب Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نرم افزار تعبیه شده: اولین کارگاه بین المللی ، EMSOFT 2001 Tahoe City ، CA ، ایالات متحده ، 8 تا 10 اکتبر ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نرم افزار تعبیه شده: اولین کارگاه بین المللی ، EMSOFT 2001 Tahoe City ، CA ، ایالات متحده ، 8 تا 10 اکتبر ، مجموعه مقالات

با حضور همه جانبه دستگاه های میکرو در زندگی روزمره ما، نرم افزار تعبیه شده اهمیت فوق العاده ای در علم و صنعت پیدا کرده است.
این جلد شامل 34 مقاله دعوت شده از اولین کارگاه بین المللی سیستم های جاسازی شده است. آنها آخرین نتایج تحقیقاتی را از حوزه‌های مختلف علوم رایانه ارائه می‌کنند که به طور سنتی متمایز اما مربوط به توسعه نرم‌افزار جاسازی شده است (مانند طراحی مبتنی بر مؤلفه، برنامه‌نویسی عملکردی، جاوا بلادرنگ، تخصیص منابع و ذخیره‌سازی، تأیید). هر مقاله بر روی یک موضوع تمرکز می کند و رابطه متقابل و کاربرد در طراحی و پیاده سازی سیستم های نرم افزاری تعبیه شده را نشان می دهد.


توضیحاتی درمورد کتاب به خارجی

With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry.
This volume contains 34 invited papers from the First International Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and application to the design and implementation of embedded software systems.



فهرست مطالب

Heterogeneous Modeling Support for Embedded Systems Design....Pages 1-13
Hierarchical Hybrid Modeling of Embedded Systems....Pages 14-31
Some Synchronization Issues When Designing Embedded Systems from Components....Pages 32-49
Synchronous Programming Techniques for Embedded Systems: Present and Future....Pages 50-50
From Requirements to Validated Embedded Systems....Pages 51-65
Usage Scenarios for an Automated Model Compiler....Pages 66-79
Embedded Control: From Asynchrony to Synchrony and Back....Pages 80-96
Verification of Embedded Software: Problems and Perspectives....Pages 97-113
A Network-Centric Approach to Embedded Software for Tiny Devices....Pages 114-130
Storage Allocation for Real-Time, Embedded Systems....Pages 131-147
Interface Theories for Component-Based Design....Pages 148-165
Giotto: A Time-Triggered Language for Embedded Programming....Pages 166-184
Directions in Functional Programming for Real(-Time) Applications....Pages 185-203
Rate-Based Resource Allocation Models for Embedded Systems....Pages 204-222
The Temporal Specification of Interfaces in Distributed Real-Time Systems....Pages 223-236
System-Level Types for Component-Based Design....Pages 237-253
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems....Pages 254-256
Compiler Optimizations for Adaptive EPIC Processors....Pages 257-273
Embedded Software Market Transformation through Reusable Frameworks....Pages 274-286
An End-to-End Methodology for Building Embedded Systems....Pages 287-288
An Implementation of Scoped Memory for Real-Time Java....Pages 289-305
Bus Architectures for Safety-Critical Embedded Systems....Pages 306-323
Using Multiple Levels of Abstractions in Embedded Software Design....Pages 324-343
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software....Pages 344-360
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems....Pages 361-372
Modeling Real-Time Systems — Challenges and Work Directions....Pages 373-389
VEST — A Toolset for Constructing and Analyzing Component Based Embedded Systems....Pages 390-402
Embedded Software: Challenges and Opportunities....Pages 403-415
Embedded Software in Network Processors — Models and Algorithms....Pages 416-434
Design of Autonomous, Distributed Systems....Pages 435-450
Formalizing Software Architectures for Embedded Systems....Pages 451-468
Reliable and Precise WCET Determination for a Real-Life Processor....Pages 469-485
Embedded Systems and Real-Time Programming....Pages 486-492
Embedded Software for Video....Pages 493-502




نظرات کاربران