Foundational and Practical Aspects of Resource Analysis

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

First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revised Selected Papers

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

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

First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revised Selected Papers

The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time, space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent characterizations of c- plexity classes, logics closely related to complexity classes, type systems for c- trolling complexity, semantic methods to analyze resources, including quasi- and sup-interpretations, practical applications of resource analysis, etc. This ?rst FOPARA brought two di?erent groups of researchers together. In 2006 and 2008 informal application-oriented resource analysis workshops (an EmBoundedOpen WorkshopinBudapest,2006, andaResourceAnalysisWo- shop in Hertfordshire, 2008) were held as a?liated events of the International Symposium on the Implementation and Application of Functional Languages (IFL). Participants in these workshops were the University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig Maximilians University of Munich (Germany), Complutense University of Madrid (Spain) and the Po- technical University of Madrid (Spain). Another group of researchers was active in the series of informal workshops on implicit computational complexity (see, for instance, WICC 2008 in Paris). That series gathers researchers working in theoretical foundations of resource analysis, mainly from France (universities of ParisDiderotandParisNord, LORIANancy), Italy(universitiesofBolognaand Turin), Norway, Germany and Port

لغو

گزارش تخلف

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

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2010

نویسنده

Marko van Eekelen

ناشر

Springer

شابک

9783642153303

20,000 تومان

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

خرید کتاب Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2010

نویسنده

ناشر

شابک

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

Fundamental Problems in Computing

Ubiquitous Computing Fundamentals

Guide to Graphics Software Tools

Foundations of Systems Biology

Introduction à La Commande Des Robots Humanoïdes

Computer and Information Science

Machine Learning

Machine Learning : Modeling Data Locally and Globally

Computer Performance Engineering

Model Driven Engineering and Ontology Development

Model Driven Engineering and Ontology Development

Business Process Technology

Information Systems - Creativity and Innovation in Small and Medium-Sized Enterprises

Neural Networks and Micromechanics

Tools for High Performance Computing 2009

Replication

Web Dynpro ABAP for Practitioners

Graph Theoretic Concepts in Computer Science

WALCOM : Algorithms and Computation

Membrane Computing

Perspectives of Systems Informatics

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