ترجمه فارسی توضیحات (ترجمه ماشینی)
سیستم های ترکیبی: محاسبات و کنترل: نهمین کارگاه بین المللی، HSCC 2006، سانتا باربارا، کالیفرنیا، ایالات متحده آمریکا، 29-31 مارس، 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کارگاه بین المللی سیستم های ترکیبی: محاسبات و کنترل، HSCC 2006 است که در مارس 2006 در سانتا باربارا، کالیفرنیا، ایالات متحده برگزار شد.
39 مقاله اصلاح شده ارائه شده همراه با چکیده 3 سخنرانی دعوت شده به دقت بررسی و از بین 79 مقاله ارسالی انتخاب شدند. در میان موضوعات مورد بررسی، ابزارهایی برای تجزیه و تحلیل و تأیید، کنترل و بهینه‌سازی، مدل‌سازی، کاربردهای مهندسی، و جهت‌های نوظهور در پشتیبانی و پیاده‌سازی زبان برنامه‌نویسی است. این مقالات بر مدل‌سازی، تجزیه و تحلیل و پیاده‌سازی سیستم‌های پویا و واکنشی که شامل رفتارهای گسسته و پیوسته هستند، تمرکز دارند.
This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held in Santa Barbara, CA, USA in March 2006.
The 39 revised papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 79 submissions. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.