Theoretical puzzles Estimation of the approximation errors using the IMC theory Nicolas Coste - STMicroelectronics -

Slides:

Advertisements

Similar presentations

Design of Experiments Lecture I

Advertisements

Feature Selection as Relevant Information Encoding Naftali Tishby School of Computer Science and Engineering The Hebrew University, Jerusalem, Israel NIPS.

1 Assessing the Risk and Return of Financial Trading Systems - a Large Deviation Approach Nicolas NAVET – INRIA, France René SCHOTT – IECN,

Silberschatz, Galvin and Gagne  2002 Modified for CSCI 399, Royden, Operating System Concepts Operating Systems Lecture 19 Scheduling IV.

Error Measurement and Iterative Methods

With thanks to Zhijun Wu An introduction to the algorithmic problems of Distance Geometry.

Output Data Analysis. How to analyze simulation data? simulation –computer based statistical sampling experiment –estimates are just particular realizations.

Importance Sampling. What is Importance Sampling ? A simulation technique Used when we are interested in rare events Examples: Bit Error Rate on a channel,

AQM for Congestion Control1 A Study of Active Queue Management for Congestion Control Victor Firoiu Marty Borden.

Leiden Workshop 20/06/ Presentation of the CADP toolbox CADP toolbox What is CADP ? LOTOS language Tools for functional verification CADP extended.

1 Introduction to Kalman Filters Michael Williams 5 June 2003.

UC San Diego Computer Engineering VLSI CAD Laboratory UC San Diego Computer Engineering VLSI CAD Laboratory UC San Diego Computer Engineering VLSI CAD.

Björn Landfeldt School of Information Technologies Investigating a theoretical model Bjorn Landfeldt University of Sydney.

About ISoft … What is Decision Tree? Alice Process … Conclusions Outline.

NORM BASED APPROACHES FOR AUTOMATIC TUNING OF MODEL BASED PREDICTIVE CONTROL Pastora Vega, Mario Francisco, Eladio Sanz University of Salamanca – Spain.

Retrieval Evaluation. Brief Review Evaluation of implementations in computer science often is in terms of time and space complexity. With large document.

Finite-Source Multiserver Queue with Preemptive Priorities Alexandre Brandwajn School of Engineering University of California, Santa Cruz

Confidence Interval Estimation in System Dynamics Models

Why sample? Diversity in populations Practicality and cost.

Lesson #17 Sampling Distributions. The mean of a sampling distribution is called the expected value of the statistic. The standard deviation of a sampling.

SAMPLING DISTRIBUTIONS. SAMPLING VARIABILITY

1 Validation and Verification of Simulation Models.

Retrieval Evaluation. Introduction Evaluation of implementations in computer science often is in terms of time and space complexity. With large document.

Estimating Congestion in TCP Traffic Stephan Bohacek and Boris Rozovskii University of Southern California Objective: Develop stochastic model of TCP Necessary.

Population Proportion The fraction of values in a population which have a specific attribute p = Population proportion X = Number of items having the attribute.

Item Analysis: Classical and Beyond SCROLLA Symposium Measurement Theory and Item Analysis Modified for EPE/EDP 711 by Kelly Bradley on January 8, 2013.

Scot Exec Course Nov/Dec 04 Ambitious title? Confidence intervals, design effects and significance tests for surveys. How to calculate sample numbers when.

Lecture 11 Implementation Issues – Part 2. Monte Carlo Simulation An alternative approach to valuing embedded options is simulation Underlying model “simulates”

1. An Overview of the Data Analysis and Probability Standard for School Mathematics? 2.

COGNITIVE RADIO FOR NEXT-GENERATION WIRELESS NETWORKS: AN APPROACH TO OPPORTUNISTIC CHANNEL SELECTION IN IEEE BASED WIRELESS MESH Dusit Niyato,

Basic teletraffic concepts An intuitive approach

Development and evaluation of Website to check instructional design based on the ARCS Motivation Model Reporter: Chen, Wan-Yi 日期 : 2006/ 5/ 22 Song, S.

IRDM WS Source: Arnold O. Allen, Probability, Statistics, and Queueing Theory with Computer Science Applications, Academic Press, 1990 Reference.

Mathematical Modeling and Formal Specification Languages CIS 376 Bruce R. Maxim UM-Dearborn.

Business Forecasting Skills needed to become a business & economic forecaster –Economic knowledge –Statistics –Computer applications –Communication Forecasting.

Bayesian Extension to the Language Model for Ad Hoc Information Retrieval Hugo Zaragoza, Djoerd Hiemstra, Michael Tipping Presented by Chen Yi-Ting.

Gile Sampling1 Sampling. Fundamental principles. Daniel Gile

Experimental research in noise influence on estimation precision for polyharmonic model frequencies Natalia Visotska.

Collaborative Sampling in Wireless Sensor Networks Minglei Huang Yu Hen Hu 2010 IEEE Global Telecommunications Conference 1.

Lecture 2 Basics of probability in statistical simulation and stochastic programming Leonidas Sakalauskas Institute of Mathematics and Informatics Vilnius,

R11 Event Management Scalability Tests -. © 2005 Computer Associates International, Inc. (CA). All trademarks, trade names, services marks and logos referenced.

Basic Business Statistics, 10e © 2006 Prentice-Hall, Inc.. Chap 7-1 Chapter 7 Sampling Distributions Basic Business Statistics.

Academic Research Academic Research Dr Kishor Bhanushali M

2 Introduction to Kalman Filters Michael Williams 5 June 2003.

1 OUTPUT ANALYSIS FOR SIMULATIONS. 2 Introduction Analysis of One System Terminating vs. Steady-State Simulations Analysis of Terminating Simulations.

Modeling and Simulating Time- Sensitive Networking Harri Laine.

Sampling and estimation Petter Mostad

Modelling job allocation where service duration is unknown Nigel Thomas University of Newcastle upon Tyne.

Game Presentation Derek, Alan, Dan, and Dan. To introduce the concept of ‘Logic Gates’ to the students in an interactive way. (a ‘hook’ or ‘attention.

Item Analysis: Classical and Beyond SCROLLA Symposium Measurement Theory and Item Analysis Heriot Watt University 12th February 2003.

Regression Analysis1. 2 INTRODUCTION TO EMPIRICAL MODELS LEAST SQUARES ESTIMATION OF THE PARAMETERS PROPERTIES OF THE LEAST SQUARES ESTIMATORS AND ESTIMATION.

Cameron Rowe.  Introduction  Purpose  Implementation  Simple Example Problem  Extended Kalman Filters  Conclusion  Real World Examples.

Smart Sleeping Policies for Wireless Sensor Networks Venu Veeravalli ECE Department & Coordinated Science Lab University of Illinois at Urbana-Champaign.

3:00. 2:59 2:58 2:57 2:56 2:55 2:54 2:53 2:52.

Chapter Eleven Sample Size Determination Chapter Eleven.

Zhijun Wu Department of Mathematics Program on Bio-Informatics and Computational Biology Iowa State University Joint Work with Tauqir Bibi, Feng Cui, Qunfeng.

Building Valid, Credible & Appropriately Detailed Simulation Models

Determining How Costs Behave

of Heritage and New Hardware For Launch Vehicle Reliability Models

Top Fire Protection Services Ottawa available on Dubinskyconstruction

Regression-Based Prediction for Artifacts in JPEG-Compressed Images

Statistics for the Social Sciences

جلسه هشتم شناسايي سيستم مدلسازي سيستم هاي بيو لوژيکي.

Population Proportion

Levels for 20 mark questions

Sampling: How to Select a Few to Represent the Many

MECH 3550 : Simulation & Visualization

Types of Errors And Error Analysis.

Өмнөговь аймгийн Нийгэм,

Presentation transcript:

Theoretical puzzles Estimation of the approximation errors using the IMC theory Nicolas Coste - STMicroelectronics -

Theoretical Puzzles - Leiden 10/10/ Operations are blocking SYSTEM QUEUE Case study basis PUSH time FILTER 1 FILTER 2 PUSH POP PUSH POP Filter 1 : Push(E) Filter 2 : E = Pop() Time physically needed to process an operation Computation Time needed to process an operation

Theoretical Puzzles - Leiden 10/10/ Time between 2 PUSH (δ 1 ) Time between 2 POP(δ 2 ) Time physically needed for a PUSH(λ) Time physically needed for a POP(μ) Exposing each start and end as LOTOS gates 2 Identifying the distribution of the delays 3 Approximating the delays as PH-dist. 4 Embedding each delay into start/end gates 5 Identifying the start and end of relevant timing delays in the model 1 SYSTEM PUSH_RQ GENERATOR Case study performance evaluation QUEUE [ PUSH_RQ, PUSH_RSP, POP_RQ, POP_RSP] CONSUMER PUSH_RSP POP_RQ POP_RSP QUEUE [ PUSH_RQ, PUSH_RSP, POP_RQ, POP_RSP, λ_START, λ_STOP, μ_START, μ_STOP ] GENERATOR […] : δ 1 _START; δ 1 _STOP; PUSH_RQ !DATA; PUSH_RSP; GENERATOR […] CONSUMER […] : δ 2 _START; δ 2 _STOP; POP_RQ; POP_RSP ?Elmt; CONSUMER […] Proba time 1 0 GEN_DELAY δ 1 _STOP δ 1 _START PUSH_DELAY λ _STOP λ _START POP_DELAY μ _STOP μ _START CONS_DELAY δ 2 _START δ 2 _STOP POP_DELAY […] : μ_START; μ_DELAY; μ_STOP; POP_DELAY […] PUSH_DELAY […] : λ_START; λ_DELAY; λ_STOP; PUSH_DELAY […] GEN_DELAY […] : δ 1 _START; δ 1 _DELAY; δ 1 _STOP; GEN_DELAY […] CONS_DELAY […] : δ 2 _START; δ 2 _DELAY; δ 2 _STOP; CONS_DELAY […]

Theoretical Puzzles - Leiden 10/10/ Any distribution can be fitted by a phase-type distribution The longer the erl. dist. is, the better the approx. is. Exposing each start and end as LOTOS gates 2 Identifying the distribution of the delays 3 Identifying the start and end of relevant timing delays in the model 1 Embedding each delay into start/end gates 5 Evaluation of the approximation errors? λ μ λ μ Estimator of the error on each individual approximation Steady state analysis (Pr 0, Pr 1, Pr 2 ) Approximating the delays as PH-dist. 4 Estimation of the error for the computed results 1 time ERLANG CST DELAY ERROR Why should we increase the size of the erlang distribution if we can not estimate the gain ?

Theoretical Puzzles - Leiden 10/10/ CONCLUSION Industrial needs: Reduction of development time Simple and Automated methods to spread the knowledge Trust indexes to validate the results Industrial success for the IMC theory depends on the answer to this last point