دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Perry Alexander, Cindy Kong (auth.), Thomas A. Henzinger, Christoph M. Kirsch (eds.) سری: Lecture Notes in Computer Science 2211 ISBN (شابک) : 3540426736, 9783540426738 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 513 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب نرم افزار تعبیه شده: اولین کارگاه بین المللی ، EMSOFT 2001 Tahoe City ، CA ، ایالات متحده ، 8 تا 10 اکتبر ، مجموعه مقالات: مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، سیستم‌های هدف خاص و مبتنی بر کاربرد، منطق و معانی برنامه‌ها
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
دانلود کتاب Fast Software Encryption: 9th International Workshop, FSE 2002 Leuven, Belgium, February 4–6, 2002 Revised Papers
دانلود کتاب Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
دانلود کتاب Human-Computer Interaction – INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
دانلود کتاب Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings
دانلود کتاب Cryptology and Network Security: 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005. Proceedings
دانلود کتاب Embedded and Ubiquitous Computing: International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings
دانلود کتاب Advances in Intelligent Data Analysis Reasoning about Data: Second International Symposium, IDA-97 London, UK, August 4–6, 1997 Proceedings
دانلود کتاب Principles of Distributed Systems: 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers
