مشخصات کتاب

Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

ویرایش: 1 
نویسندگان: Theodore P. Baker (auth.),  Jorge Real,  Tullio Vardanega (eds.)  
سری: Lecture Notes in Computer Science 6106 
ISBN (شابک) : 9783642135491, 9783642135507 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 286 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

کلمات کلیدی مربوط به کتاب Reliable Software Technologiey – Ada-Europe 2010: پانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، والنسیا، اسپانیا، 14-18 ژوئن 2010. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Reliable Software Technologiey – Ada-Europe 2010: پانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، والنسیا، اسپانیا، 14-18 ژوئن 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب Reliable Software Technologiey – Ada-Europe 2010: پانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، والنسیا، اسپانیا، 14-18 ژوئن 2010. مجموعه مقالات

این کتاب مجموعه مقالات پانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، Ada-Europe 2010، در والنسیا، اسپانیا، در 14-18 ژوئن 2010 برگزار شد. 17 مقاله ارائه شده به دقت بررسی و از 40 مورد ارسالی انتخاب شدند. موضوعات مورد علاقه کنفرانس عبارتند از: قابلیت اطمینان نرم افزار، سیستم های بحرانی، بلادرنگ و توزیع شده و فناوری زبان، که همگی تحت عنوان کلی تر Reliable Software Technologies هستند.

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

This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. The 17 papers presented were carefully reviewed and selected from 40 submissions. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology, all under the more general heading of Reliable Software Technologies.

فهرست مطالب

Front Matter....Pages -
What to Make of Multicore Processors for Reliable Real-Time Systems?....Pages 1-18
Control Co-design: Algorithms and Their Implementation....Pages 19-40
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada....Pages 41-53
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012....Pages 54-67
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems....Pages 68-82
Practical Limits on Software Dependability: A Case Study....Pages 83-96
Program Verification in SPARK and ACSL: A Comparative Case Study....Pages 97-110
Static Versioning of Global State for Race Condition Detection....Pages 111-124
Using Hardware Support for Scheduling with Ada....Pages 125-138
Cache-Aware Development of High-Integrity Systems....Pages 139-152
Preservation of Timing Properties with the Ada Ravenscar Profile....Pages 153-166
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach....Pages 167-180
Scheduling Configuration of Real-Time Component-Based Applications....Pages 181-195
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005....Pages 196-207
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005....Pages 208-221
A Comparison of Generic Template Support: Ada, C++, C#, and Java TM ....Pages 222-237
Towards Ada 2012: An Interim Report....Pages 238-250
Managing Transactions in Flexible Distributed Real-Time Systems....Pages 251-264
An Efficient Implementation of Persistent Objects....Pages 265-275
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب Night & Ox

دانلود کتاب Oxford, the Collegiate University: Conflict, Consensus and Continuity

دانلود کتاب Spatio-temporal Analysis and Optimization of Land Use/Cover Change: Shenzhen as a Case Study

دانلود کتاب Hollywood Musicals, The Film Reader (In Focus: Routledge Film Readers)

دانلود کتاب Taking chances : Derrida, psychoanalysis, and literature