ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

دانلود کتاب اعتبارسنجی عددی در معماریهای سخت افزاری فعلی: سمینار بین المللی Dagstuhl ، قلعه Dagstuhl ، آلمان ، 6-11 ژانویه ، 2008. مقالات اصلاح شده

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

مشخصات کتاب

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

ویرایش: 1 
نویسندگان: , , , , , ,   
سری: Lecture Notes in Computer Science 5492 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642015908, 9783642015915 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2009 
تعداد صفحات: 271 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

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



کلمات کلیدی مربوط به کتاب اعتبارسنجی عددی در معماریهای سخت افزاری فعلی: سمینار بین المللی Dagstuhl ، قلعه Dagstuhl ، آلمان ، 6-11 ژانویه ، 2008. مقالات اصلاح شده: علوم کامپیوتر، عمومی



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

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


در صورت تبدیل فایل کتاب Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اعتبارسنجی عددی در معماریهای سخت افزاری فعلی: سمینار بین المللی Dagstuhl ، قلعه Dagstuhl ، آلمان ، 6-11 ژانویه ، 2008. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب اعتبارسنجی عددی در معماریهای سخت افزاری فعلی: سمینار بین المللی Dagstuhl ، قلعه Dagstuhl ، آلمان ، 6-11 ژانویه ، 2008. مقالات اصلاح شده



این کتاب مجموعه مقالات پس از داوری کامل سمینار داگستول 08021 درباره اعتبارسنجی عددی در معماری‌های سخت‌افزار کنونی است که در قلعه داگستول، آلمان، در ژانویه 2008 برگزار شد.

16 مقاله کامل اصلاح‌شده ارائه شده طی دو دور بررسی و بهبود انتخاب شدند. این مقالات در بخش‌های موضوعی در مورد زبان‌ها، سیستم‌ها و ابزارهای نرم‌افزاری، تکنیک‌های تأیید جدید مبتنی بر حساب بازه‌ای، کاربردها در علم و مهندسی، و رویکردهای جدید برای تأیید سازمان‌دهی شده‌اند.


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

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.

The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.



فهرست مطالب

Front Matter....Pages -
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021....Pages 1-6
Complete Interval Arithmetic and Its Implementation on the Computer....Pages 7-26
Continued Fractions for Special Functions: Handbook and Software....Pages 27-40
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range....Pages 41-67
C-XSC and Closely Related Software Packages....Pages 68-102
Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments....Pages 103-116
Mathematica Connectivity to Interval Libraries filib ++ and C-XSC....Pages 117-132
Some Applications of Interval Arithmetic in Hierarchical Solid Modeling....Pages 133-144
Numerical Verification Assessment in Computational Biomechanics....Pages 145-160
Robustness of Boolean Operations on Subdivision-Surface Models....Pages 161-174
Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering....Pages 175-188
Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors....Pages 189-202
Error Bounds for Lanczos Approximations of Rational Functions of Matrices....Pages 203-216
Error-Free Transformation in Rounding Mode toward Zero....Pages 217-229
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS....Pages 230-249
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC....Pages 250-261
Back Matter....Pages -




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