Formal Methods for Quantitative Aspects of Programming Languages

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2010 was devoted to formal methods for quantitative aspects of p- gramminglanguagesandcoveredseveraltopicsincludingprobabilisticandtimed models, model checking, static analysis, quantum computing, real-time and - bedded systems, and security. This volume comprises four articles. The paper by Di Pierro, Hankin, and Wiklicky investigates the relation between the operational semantics of pro- bilistic programming languages and discrete-time Markov chains and presents a framework for probabilistic program analysis inspired by classical abstract interpretation. Broadbent, Fitzsimons, and Kashe? review the mathematical model underlying measurement-based quantum computation, a novel approach to quantum computation where measurement is the main driving force of c- putation instead of the unitary operations of the more traditional quantum c- cuit model. The paper by Malacaria and Heusser illustrates the informati- theoretical basis of quantitative information ?ow by showing the relationship betweenlattices, partitions, andinformation-theoreticalconcepts, aswellastheir applicabilitytoquantifyleakageofcon?dentialinformationinprograms. Finally, Wolter and Reinecke discuss the trade-o? between performance and security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metri

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2010

نویسنده

Herbert Wiklicky

ناشر

Springer

شابک

9783642136771

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects of Programming Languages

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2010

نویسنده

ناشر

شابک

کتاب های مرتبط

Formal Methods for Quantitative Aspects of Programming Languages

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures

Time frequency and wavelets in biomedical signal processing

High-performance in-memory genome data analysis : how in-memory database technology accelerates personalized medicine

Artificial Neural Networks

Toward Artificial Sapience

Molecular Bioinformatics

Essential Speech and Language Technology for Dutch: Results by the STEVIN-programme.

High Performance Computing

Build Better Chatbots A Complete Guide to Getting Started with Chatbots

Oracle Business Intelligence with Machine Learning

Deep Belief Nets in C++ and CUDA C: Volume 2 : Autoencoding in the Complex Domain

High-Performance In-Memory Genome Data Analysis

Intelligent Tools for Building a Scientific Information Platform

High-Performance Computational Solutions in Protein Bioinformatics

Concurrent Objects and Beyond

Beyond the Limits to Growth

High performance computing in science and engineering, Garching-Munich 2007 : transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 2007, Leibniz Supercomputing Centre, Garching-Munich, Germany

Advances in biometrics : third international conference, ICB 2009, Alghero, Italy, June 2-5, 2009 : proceedings

Grid Resource Management

Agent and multi-agent systems : technologies and applications : 4th KES international symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010 : proceedings

دیدگاه کاربران