دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: R. Baker Kearfott, John Pryce, Nathalie Revol (auth.), Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein (eds.) سری: 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 مگابایت
کلمات کلیدی مربوط به کتاب اعتبارسنجی عددی در معماریهای سخت افزاری فعلی: سمینار بین المللی Dagstuhl ، قلعه Dagstuhl ، آلمان ، 6-11 ژانویه ، 2008. مقالات اصلاح شده: علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب 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. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری کامل سمینار داگستول 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 -