Concurrent Data Structures. Semantics and Quantitative Relaxations
|
|
- Griffin Kennedy
- 7 years ago
- Views:
Transcription
1 Conurrent Data Strutures Semantis and Quantitative Relaxations Mike Dodds Andreas Haas Tom Henzinger Andreas Holzer Christoph Kirsh Mihael Lippautz Hannes Payer Ali Sezgin Ana Sokolova University of York University of Salzburg IST Austria TU Vienna University of Salzburg University of Salzburg University of Salzburg IST Austria University of Salzburg FRIDA, VSL
2 Semantis of sequential data strutures e.g. pools, queues, staks Sequential speifiation - set of legal sequenes Stak - legal sequene push(a)push(b)pop(b)
3 Semantis of onurrent data strutures Stak - legal sequene push(a)push(b)pop(b) Sequential speifiation - set of legal sequenes linearizable wrt seq.spe. Consisteny ondition - e.g. linearizability Stak - onurrent history begin-push(a)begin-push(b) end-push(a) end-push(b)begin-pop(b)end-pop(b) Ana Sokolova University of Salzburg FRIDA, VSL
4 Consisteny onditions There exists a sequential witness that preserves preedene T1 1 push(a) 3 pop(b) There exists a sequential witness that preserves per-thread preedene sequential onsisteny linearizability T2 2 push(b) There exists a sequential witness that preserves preedene aross quies.state quiesent onsisteny T1 T2 2 push(b) 1 push(a) 3 pop(b) T1 T2 pop(b) push(a) push(b)
5 Performane and salability :-))) throughput :-) :-( :- # threads/ores Ana Sokolova University of Salzburg FRIDA, VSL
6 Relaxations allow Stak - inorret behavior push(a)push(b)push()pop(a)pop(b) Trading orretness for performane In a ontrolled way with quantitative bounds orret in a relaxed stak... 2-relaxed? 3-relaxed? measure the error from orret behavior
7 It is interesting Why relax? Provides potential for better performing onurrent implementations Stak k-relaxed stak top b thread 1 thread 2... thread n top k{ } b thread 1 thread 2... thread n a a
8 Relaxations of onurrent data strutures Quantitative relaxations Henzinger, Kirsh, Payer, Sezgin, S. POPL 2013 Sequential speifiation - set of legal sequenes Consisteny ondition - e.g. linearizability (Quantitative) relaxations Dodds, Sezgin, S. work in progress
9 Quantitative relaxations (sequential speifiation) What we have Framework for semanti relaxations Generi examples out-of-order / stuttering Conrete relaxation examples Effiient onurrent implementations staks, queues, priority queues,.. / CAS, shared ounter of relaxation instanes
10 Quantitative relaxations (sequential speifiation) The big piture S * semantis sequential speifiation legal sequenes - methods with arguments
11 Quantitative relaxations (sequential speifiation) The big piture Sk * S * semantis sequential speifiation legal sequenes relaxed semantis - methods with arguments
12 Quantitative relaxations (sequential speifiation) The big piture Sk * S *. k. semantis sequential speifiation legal sequenes relaxed semantis - methods with arguments distane? Ana Sokolova University of Salzburg FRIDA, VSL
13 Quantitative relaxations (sequential speifiation) Challenge There are natural onrete relaxations... Stak Eah pop pops one of the (k+1)-youngest elements Eah push pushes... k-out-of-order relaxation
14 Quantitative relaxations (sequential speifiation) Challenge There are natural onrete relaxations... Stak Eah pop pops one of the (k+1)-youngest elements Eah push pushes... makes sense also for queues, priority queues,... k-out-of-order relaxation How is it refleted by a distane between sequenes? one distane for all?
15 Quantitative relaxations (sequential speifiation) Syntati distanes do not help push(a)[push(i)pop(i)] n push(b)[push(j)pop(j)] m pop(a) is a 1-out-of-order stak sequene top top top b b a a a its permutation distane is min(n,m)
16 Quantitative relaxations (sequential speifiation) Semanti distanes need a notion of state top state States are equivalene lasses of sequenes in S example: for stak push(a)push(b)pop(b)push() push(a)push() Two sequenes in S are equivalent if they have an indistinguishable future a x y u Ủ*. (xu S yu S)
17 Quantitative relaxations (sequential speifiation) Semantis goes operational S * is the sequential speifiation states labels initial state Stak LTS(S) = (S/,,, [ ] ) with top a push() top a transition relation m [s] [sm] sm S
18 Quantitative relaxations (sequential speifiation) The framework Start from LTS(S) Add transitions with transition osts Fix a path ost funtion Ana Sokolova University of Salzburg FRIDA, VSL
19 Quantitative relaxations (sequential speifiation) The framework Start from LTS(S) - singleton Add transitions with transition osts Fix a path ost funtion Ana Sokolova University of Salzburg FRIDA, VSL
20 Quantitative relaxations (sequential speifiation) The framework Start from LTS(S) Add transitions with transition osts Fix a path ost funtion Ana Sokolova University of Salzburg FRIDA, VSL
21 Quantitative relaxations (sequential speifiation) The framework Start from LTS(S) Add transitions with transition osts Fix a path ost funtion Ana Sokolova University of Salzburg FRIDA, VSL
22 Quantitative relaxations (sequential speifiation) The framework Start from LTS(S) Add transitions with transition osts Fix a path ost funtion distane - minimal ost on all paths labelled by the sequene Ana Sokolova University of Salzburg FRIDA, VSL
23 Quantitative relaxations (sequential speifiation) Out-of-order stak Sequene of push s with no mathing pop Canonial representative of a state Add inorret transitions with segment-osts top b a pop(a) 2 top b Possible path ost funtions max, sum,... also more advaned Ana Sokolova University of Salzburg FRIDA, VSL
24 Quantitative relaxations (sequential speifiation) Out-of-order queue Sequene of enq s with no mathing deq Canonial representative of a state Add inorret transitions with segment-osts head tail head a b deq() 2 tail a b Possible path ost funtions max, sum,... also more advaned Ana Sokolova University of Salzburg FRIDA, VSL
25 Implementations and Performane
26 Relaxed implementations k-stak Henzinger, Kirsh, Payer, Sezgin, S. POPL 2013 Top Distributed queues / staks Haas, Henzinger, Kirsh, Lippautz, Payer, Sezgin, S. CF 2013 Top1 Top2 Top n
27 k-stak Performane and Salability omparison 80 -ore mahine operations/ms (more is better) LS NS number of threads BAG ED RP k-stak (k=80) lok-free segment stak Ana Sokolova University of Salzburg FRIDA, VSL
28 Distributed queues Performane and Salability omparison 80 -ore mahine operations per ms (more is better) LB MS FC WF RD (r=80) SQ (s=80) number of threads BS k-fifo (k=80) US k-fifo (k=80) ED BAG RP LRU DQ (p=80) 1-RR DQ (p=80) 2-RR DQ (p=80) TL-RR DQ (p=80) 1-RA DQ (p=80) 2-RA DQ (p=80) Ana Sokolova University of Salzburg FRIDA, VSL
29 Linearizability revisited Bad performane also relaxes semantis T1 push(a) pop(?) may return a or b T2 push(a) push(b) The slower the implementation, the more nondeterminism T1 T2 push(b) pop(?) must return a Semantis vs. performae omparison (Con 2 Coli testing) Haas, Henzinger, Holzer, Kirsh, S. work in progress
Towards Relaxing STM. Christoph M. Kirsch, Michael Lippautz! University of Salzburg. Euro-TM Workshop, April 2014
Towards Relaxing STM Christoph M. Kirsch, Michael Lippautz! University of Salzburg! Euro-TM Workshop, April 2014 Problem linear scalability positive scalability good performance throughput (#transactions/time)
More informationOutline. Planning. Search vs. Planning. Search vs. Planning Cont d. Search vs. planning. STRIPS operators Partial-order planning.
Outline Searh vs. planning Planning STRIPS operators Partial-order planning Chapter 11 Artifiial Intelligene, lp4 2005/06, Reiner Hähnle, partly based on AIMA Slides Stuart Russell and Peter Norvig, 1998
More informationCIS570 Lecture 4 Introduction to Data-flow Analysis 3
Introdution to Data-flow Analysis Last Time Control flow analysis BT disussion Today Introdue iterative data-flow analysis Liveness analysis Introdue other useful onepts CIS570 Leture 4 Introdution to
More informationOpen and Extensible Business Process Simulator
UNIVERSITY OF TARTU FACULTY OF MATHEMATICS AND COMPUTER SCIENCE Institute of Computer Siene Karl Blum Open and Extensible Business Proess Simulator Master Thesis (30 EAP) Supervisors: Luiano Garía-Bañuelos,
More informationContext-Sensitive Adjustments of Cognitive Control: Conflict-Adaptation Effects Are Modulated by Processing Demands of the Ongoing Task
Journal of Experimental Psyhology: Learning, Memory, and Cognition 2008, Vol. 34, No. 3, 712 718 Copyright 2008 by the Amerian Psyhologial Assoiation 0278-7393/08/$12.00 DOI: 10.1037/0278-7393.34.3.712
More informationDiscovering Trends in Large Datasets Using Neural Networks
Disovering Trends in Large Datasets Using Neural Networks Khosrow Kaikhah, Ph.D. and Sandesh Doddameti Department of Computer Siene Texas State University San Maros, Texas 78666 Abstrat. A novel knowledge
More informationRobust Classification and Tracking of Vehicles in Traffic Video Streams
Proeedings of the IEEE ITSC 2006 2006 IEEE Intelligent Transportation Systems Conferene Toronto, Canada, September 17-20, 2006 TC1.4 Robust Classifiation and Traking of Vehiles in Traffi Video Streams
More informationHierarchical Clustering and Sampling Techniques for Network Monitoring
S. Sindhuja Hierarhial Clustering and Sampling Tehniques for etwork Monitoring S. Sindhuja ME ABSTRACT: etwork monitoring appliations are used to monitor network traffi flows. Clustering tehniques are
More information' R ATIONAL. :::~i:. :'.:::::: RETENTION ':: Compliance with the way you work PRODUCT BRIEF
' R :::i:. ATIONAL :'.:::::: RETENTION ':: Compliane with the way you work, PRODUCT BRIEF In-plae Management of Unstrutured Data The explosion of unstrutured data ombined with new laws and regulations
More informationImproved Vehicle Classification in Long Traffic Video by Cooperating Tracker and Classifier Modules
Improved Vehile Classifiation in Long Traffi Video by Cooperating Traker and Classifier Modules Brendan Morris and Mohan Trivedi University of California, San Diego San Diego, CA 92093 {b1morris, trivedi}@usd.edu
More informationWATER CLOSET SUPPORTS TECHNICAL DATA
WATER CLOSET SUPPORTS TECHNICAL DATA Smith engineers have developed an unusually omplete line of fixture supports for mounting all types of "off the floor" fixtures. Supports have been designed for water
More informationAn Enhanced Critical Path Method for Multiple Resource Constraints
An Enhaned Critial Path Method for Multiple Resoure Constraints Chang-Pin Lin, Hung-Lin Tai, and Shih-Yan Hu Abstrat Traditional Critial Path Method onsiders only logial dependenies between related ativities
More informationThe Computability of Relaxed Data Structures: Queues and Stacks as Examples
The Computability of Relaxed Data Structures: Queues and Stacks as Examples Nir Shavit 1 and Gadi Taubenfeld 2 1 MIT and Tel-Aviv University 2 The Interdisciplinary Center, P.O.Box 167, Herzliya 46150,
More informationIntelligent Measurement Processes in 3D Optical Metrology: Producing More Accurate Point Clouds
Intelligent Measurement Proesses in 3D Optial Metrology: Produing More Aurate Point Clouds Charles Mony, Ph.D. 1 President Creaform in. mony@reaform3d.om Daniel Brown, Eng. 1 Produt Manager Creaform in.
More informationStatic Fairness Criteria in Telecommunications
Teknillinen Korkeakoulu ERIKOISTYÖ Teknillisen fysiikan koulutusohjelma 92002 Mat-208 Sovelletun matematiikan erikoistyöt Stati Fairness Criteria in Teleommuniations Vesa Timonen, e-mail: vesatimonen@hutfi
More informationGranular Problem Solving and Software Engineering
Granular Problem Solving and Software Engineering Haibin Zhu, Senior Member, IEEE Department of Computer Siene and Mathematis, Nipissing University, 100 College Drive, North Bay, Ontario, P1B 8L7, Canada
More informationFig. 1.1 Rectangular foundation plan.
Footings Example 1 Design of a square spread footing of a seven-story uilding Design and detail a typial square spread footing of a six ay y five ay seven-story uilding, founded on stiff soil, supporting
More information10CS35: Data Structures Using C
CS35: Data Structures Using C QUESTION BANK REVIEW OF STRUCTURES AND POINTERS, INTRODUCTION TO SPECIAL FEATURES OF C OBJECTIVE: Learn : Usage of structures, unions - a conventional tool for handling a
More informationHybrid Systems in Industrial Process Control
st 1 HYCON PhD Shool on Hybrid Systems www.unisi.it www.ist-hyon.org Hybrid Systems in Industrial Proess Control Olaf Stursberg Uniersity of Dortmund, Germany o.stursberg@t.uni-dortmund.de simanyd suounitno
More informationA Holistic Method for Selecting Web Services in Design of Composite Applications
A Holisti Method for Seleting Web Servies in Design of Composite Appliations Mārtiņš Bonders, Jānis Grabis Institute of Information Tehnology, Riga Tehnial University, 1 Kalu Street, Riga, LV 1658, Latvia,
More informationData-Flow Awareness in Parallel Data Processing
Data-Flow Awareness in Parallel Data Processing D. Bednárek, J. Dokulil *, J. Yaghob, F. Zavoral Charles University Prague, Czech Republic * University of Vienna, Austria 6 th International Symposium on
More informationThe following excerpt are pages from the North American Product Technical Guide, Volume 2: Anchor Fastening, Edition 16.
The following exerpt are pages from the North Amerian Produt Tehnial Guide, Volume 2: Anhor Fastening, Edition 16. Please refer to the publiation in its entirety for omplete details on this produt inluding
More informationConditions for Strong Synchronization In Concurrent Data Types
Conditions for Strong Synchronization In Concurrent Data Types Maged Michael IBM TJ Watson Research Center Joint work with Martin Vechev and Vijay Sarsawat Joint work with Hagit Attiya, Rachid Guerraoui,
More informationBehavior Analysis-Based Learning Framework for Host Level Intrusion Detection
Behavior Analysis-Based Learning Framework for Host Level Intrusion Detetion Haiyan Qiao, Jianfeng Peng, Chuan Feng, Jerzy W. Rozenblit Eletrial and Computer Engineering Department University of Arizona
More informationprotection p1ann1ng report
f1re~~ protetion p1ann1ng report BUILDING CONSTRUCTION INFORMATION FROM THE CONCRETE AND MASONRY INDUSTRIES Signifiane of Fire Ratings for Building Constrution NO. 3 OF A SERIES The use of fire-resistive
More informationProgramming Basics - FORTRAN 77 http://www.physics.nau.edu/~bowman/phy520/f77tutor/tutorial_77.html
CWCS Workshop May 2005 Programming Basis - FORTRAN 77 http://www.physis.nau.edu/~bowman/phy520/f77tutor/tutorial_77.html Program Organization A FORTRAN program is just a sequene of lines of plain text.
More informationRecovering Articulated Motion with a Hierarchical Factorization Method
Reovering Artiulated Motion with a Hierarhial Fatorization Method Hanning Zhou and Thomas S Huang University of Illinois at Urbana-Champaign, 405 North Mathews Avenue, Urbana, IL 680, USA {hzhou, huang}@ifpuiuedu
More informationWORKFLOW CONTROL-FLOW PATTERNS A Revised View
WORKFLOW CONTROL-FLOW PATTERNS A Revised View Nik Russell 1, Arthur H.M. ter Hofstede 1, 1 BPM Group, Queensland University of Tehnology GPO Box 2434, Brisbane QLD 4001, Australia {n.russell,a.terhofstede}@qut.edu.au
More informationGABOR AND WEBER LOCAL DESCRIPTORS PERFORMANCE IN MULTISPECTRAL EARTH OBSERVATION IMAGE DATA ANALYSIS
HENRI COANDA AIR FORCE ACADEMY ROMANIA INTERNATIONAL CONFERENCE of SCIENTIFIC PAPER AFASES 015 Brasov, 8-30 May 015 GENERAL M.R. STEFANIK ARMED FORCES ACADEMY SLOVAK REPUBLIC GABOR AND WEBER LOCAL DESCRIPTORS
More informationFIRE DETECTION USING AUTONOMOUS AERIAL VEHICLES WITH INFRARED AND VISUAL CAMERAS. J. Ramiro Martínez-de Dios, Luis Merino and Aníbal Ollero
FE DETECTION USING AUTONOMOUS AERIAL VEHICLES WITH INFRARED AND VISUAL CAMERAS. J. Ramiro Martínez-de Dios, Luis Merino and Aníbal Ollero Robotis, Computer Vision and Intelligent Control Group. University
More informationPES Institute of Technology-BSC QUESTION BANK
PES Institute of Technology-BSC Faculty: Mrs. R.Bharathi CS35: Data Structures Using C QUESTION BANK UNIT I -BASIC CONCEPTS 1. What is an ADT? Briefly explain the categories that classify the functions
More informationBUILDING A SPAM FILTER USING NAÏVE BAYES. CIS 391- Intro to AI 1
BUILDING A SPAM FILTER USING NAÏVE BAYES 1 Spam or not Spam: that is the question. From: "" Subjet: real estate is the only way... gem oalvgkay Anyone an buy real estate with no
More informationBUILDING CODE SUMMARY GENERAL NOTES DESIGN BUILD ELECTRICAL DESIGN BUILD MECHANICAL & PLUMBING GENERAL NOTES GENERAL NOTES G101
D D BUILDING CODE SUMMARY GENERAL NOTES PROJECT DESCRIPTION: THIS PROJECT IS THE MINOR RENOVATION OF AN EXISTING OUTPATIENT CLINIC. SCOPE CONSISTS OF PAINT, CARPET, TILE, AND UPGRADE TO DIGITAL X-RAY BUILDING
More informationQuality of Experience in Remote Virtual Desktop Services
Quality of Experience in Remote Virtual Desktop Services Pedro Casas, Michael Seufert, Sebastian Egger, and Raimund Schatz FTW Vienna, Austria The Context: Cloud QoE The Cloud paradigm is pushing traditional
More informationPerformance Analysis of IEEE 802.11 in Multi-hop Wireless Networks
Performane Analysis of IEEE 80.11 in Multi-hop Wireless Networks Lan Tien Nguyen 1, Razvan Beuran,1, Yoihi Shinoda 1, 1 Japan Advaned Institute of Siene and Tehnology, 1-1 Asahidai, Nomi, Ishikawa, 93-19
More informationThe Classical Architecture. Storage 1 / 36
1 / 36 The Problem Application Data? Filesystem Logical Drive Physical Drive 2 / 36 Requirements There are different classes of requirements: Data Independence application is shielded from physical storage
More informationThe Relative Worst Order Ratio for On-Line Algorithms
The Relative Worst Order Ratio for On-Line Algorithms Joan Boyar 1 and Lene M. Favrholdt 2 1 Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark, joan@imada.sdu.dk
More informationNeural network-based Load Balancing and Reactive Power Control by Static VAR Compensator
nternational Journal of Computer and Eletrial Engineering, Vol. 1, No. 1, April 2009 Neural network-based Load Balaning and Reative Power Control by Stati VAR Compensator smail K. Said and Marouf Pirouti
More informationThe Design of Vector Programs
Algorithmi Languages, de Bakker/van Vliet (eds.) FP, North-Holland Publishing ompany, 1981,99-114 The Design of Vetor Programs Alain Bossavit and Bertrand Meyer Diretion des Etudes et Reherhes, Eletriite
More informationSOFTWARE ENGINEERING I
SOFTWARE ENGINEERING I CS 10 Catalog Desription PREREQUISITE: CS 21. Introdution to the systems development life yle, software development models, analysis and design tehniques and tools, and validation
More informationUser s Guide VISFIT: a computer tool for the measurement of intrinsic viscosities
File:UserVisfit_2.do User s Guide VISFIT: a omputer tool for the measurement of intrinsi visosities Version 2.a, September 2003 From: Multiple Linear Least-Squares Fits with a Common Interept: Determination
More informationGPU Hardware Performance. Fall 2015
Fall 2015 Atomic operations performs read-modify-write operations on shared or global memory no interference with other threads for 32-bit and 64-bit integers (c. c. 1.2), float addition (c. c. 2.0) using
More informationShared File Performance Improvements
Shared File Performance Improvements LDLM Lock Ahead Patrick Farrell (paf@cray.com) Shared File vs FPP Two principal approaches to writing out data: File-per-process or single shared file File-per-process
More informationElectrician'sMathand BasicElectricalFormulas
Eletriian'sMathand BasiEletrialFormulas MikeHoltEnterprises,In. 1.888.NEC.CODE www.mikeholt.om Introdution Introdution This PDF is a free resoure from Mike Holt Enterprises, In. It s Unit 1 from the Eletrial
More informationò Paper reading assigned for next Thursday ò Lab 2 due next Friday ò What is cooperative multitasking? ò What is preemptive multitasking?
Housekeeping Paper reading assigned for next Thursday Scheduling Lab 2 due next Friday Don Porter CSE 506 Lecture goals Undergrad review Understand low-level building blocks of a scheduler Understand competing
More informationAvailability, Reliability, Maintainability, and Capability
Availability, Reliability, Maintainability, and Capability H. Paul Barringer, P.E. Barringer & Assoiates, In. Humble, TX Triplex Chapter Of The Vibrations Institute Hilton Hotel Beaumont, Texas February
More informationNOMCLUST: AN R PACKAGE FOR HIERARCHICAL CLUSTERING OF OBJECTS CHARACTERIZED BY NOMINAL VARIABLES
The 9 th International Days of Statistis and Eonomis, Prague, September 10-1, 015 NOMCLUST: AN R PACKAGE FOR HIERARCHICAL CLUSTERING OF OBJECTS CHARACTERIZED BY NOMINAL VARIABLES Zdeněk Šul Hana Řezanková
More informationProcess Scheduling CS 241. February 24, 2012. Copyright University of Illinois CS 241 Staff
Process Scheduling CS 241 February 24, 2012 Copyright University of Illinois CS 241 Staff 1 Announcements Mid-semester feedback survey (linked off web page) MP4 due Friday (not Tuesday) Midterm Next Tuesday,
More informationChannel Assignment Strategies for Cellular Phone Systems
Channel Assignment Strategies for Cellular Phone Systems Wei Liu Yiping Han Hang Yu Zhejiang University Hangzhou, P. R. China Contat: wliu5@ie.uhk.edu.hk 000 Mathematial Contest in Modeling (MCM) Meritorious
More informationThe Design and Implementation of Scalable Parallel Haskell
The Design and Implementation of Scalable Parallel Haskell Malak Aljabri, Phil Trinder,and Hans-Wolfgang Loidl MMnet 13: Language and Runtime Support for Concurrent Systems Heriot Watt University May 8,
More informationUnit 12: Installing, Configuring and Administering Microsoft Server
Unit 12: Installing, Configuring and Administering Mirosoft Server Learning Outomes A andidate following a programme of learning leading to this unit will be able to: Selet a suitable NOS to install for
More informationSocial Network Analysis Based on BSP Clustering Algorithm
Soial Network Analysis Based on BSP Clustering Algorithm ong Shool of Business Administration China University of Petroleum ABSRAC Soial network analysis is a new researh field in data mining. he lustering
More informationFabio Patrizi DIS Sapienza - University of Rome
Fabio Patrizi DIS Sapienza - University of Rome Overview Introduction to Services The Composition Problem Two frameworks for composition: Non data-aware services Data-aware services Conclusion & Research
More informationAlgorithms and Data Structures
Algorithms and Data Structures Part 2: Data Structures PD Dr. rer. nat. habil. Ralf-Peter Mundani Computation in Engineering (CiE) Summer Term 2016 Overview general linked lists stacks queues trees 2 2
More informationCSE 544 Principles of Database Management Systems. Magdalena Balazinska Fall 2007 Lecture 5 - DBMS Architecture
CSE 544 Principles of Database Management Systems Magdalena Balazinska Fall 2007 Lecture 5 - DBMS Architecture References Anatomy of a database system. J. Hellerstein and M. Stonebraker. In Red Book (4th
More informationIn order to be able to design beams, we need both moments and shears. 1. Moment a) From direct design method or equivalent frame method
BEAM DESIGN In order to be able to design beams, we need both moments and shears. 1. Moment a) From diret design method or equivalent frame method b) From loads applied diretly to beams inluding beam weight
More informationClassical Electromagnetic Doppler Effect Redefined. Copyright 2014 Joseph A. Rybczyk
Classial Eletromagneti Doppler Effet Redefined Copyright 04 Joseph A. Rybzyk Abstrat The lassial Doppler Effet formula for eletromagneti waves is redefined to agree with the fundamental sientifi priniples
More informationIN SITU TESTS FOR SEISMIC ASSESSMENT OF R.C. STRUCTURES
Otober -7, 8, Beijing, China IN SITU TESTS FOR SEISMIC ASSESSMENT OF R.C. STRUCTURES S. Biondi, E. Candigliota Assoiate Professor, Department of Design, Rehabilitation and Control of Arhitetural Strutures,
More informationEarthquake Loss for Reinforced Concrete Building Structures Before and After Fire damage
Earthquake Loss for Reinfored Conrete Building Strutures Before and After Fire damage Pai-Mei LIU, Yi-Hsuan Tu and Maw-Shyong SHEU 3 ABSTRACT The purpose of this paper is to propose a rational analytial
More informationSemantics and Verification of Software
Semantics and Verification of Software Lecture 21: Nondeterminism and Parallelism IV (Equivalence of CCS Processes & Wrap-Up) Thomas Noll Lehrstuhl für Informatik 2 (Software Modeling and Verification)
More informationPattern Recognition Techniques in Microarray Data Analysis
Pattern Reognition Tehniques in Miroarray Data Analysis Miao Li, Biao Wang, Zohreh Momeni, and Faramarz Valafar Department of Computer Siene San Diego State University San Diego, California, USA faramarz@sienes.sdsu.edu
More informationDynamic Programming. Lecture 11. 11.1 Overview. 11.2 Introduction
Lecture 11 Dynamic Programming 11.1 Overview Dynamic Programming is a powerful technique that allows one to solve many different types of problems in time O(n 2 ) or O(n 3 ) for which a naive approach
More informationComparative Analysis of Congestion Control Algorithms Using ns-2
www.ijcsi.org 89 Comparative Analysis of Congestion Control Algorithms Using ns-2 Sanjeev Patel 1, P. K. Gupta 2, Arjun Garg 3, Prateek Mehrotra 4 and Manish Chhabra 5 1 Deptt. of Computer Sc. & Engg,
More informationRevista Brasileira de Ensino de Fsica, vol. 21, no. 4, Dezembro, 1999 469. Surface Charges and Electric Field in a Two-Wire
Revista Brasileira de Ensino de Fsia, vol., no. 4, Dezembro, 999 469 Surfae Charges and Eletri Field in a Two-Wire Resistive Transmission Line A. K. T.Assis and A. J. Mania Instituto de Fsia Gleb Wataghin'
More informationInterpretable Fuzzy Modeling using Multi-Objective Immune- Inspired Optimization Algorithms
Interpretable Fuzzy Modeling using Multi-Objetive Immune- Inspired Optimization Algorithms Jun Chen, Mahdi Mahfouf Abstrat In this paper, an immune inspired multi-objetive fuzzy modeling (IMOFM) mehanism
More informationUser Manual. Crystal Report Integration
User Manual Crystal Report Integration Version 1.0 1 1 Contents 1 Introduction... 3 2 Integration Of Crystal Report... 3 2.1 Open Report and Process Window from Menu... 3 2.2 Give Access to Report and
More informationMicrocontroller Based PWM Controlled Four Switch Three Phase Inverter Fed Induction Motor Drive
SERBIAN JOURNAL OF ELECTRICAL ENGINEERING Vol. 7, No., November 00, 95-04 UDK: 004.466 Miroontroller Based PWM Controlled Four Swith Three Phase Inverter Fed Indution Motor Drive Nalin Kant Mohanty, Ranganath
More informationProcurement auctions are sometimes plagued with a chosen supplier s failing to accomplish a project successfully.
Deision Analysis Vol. 7, No. 1, Marh 2010, pp. 23 39 issn 1545-8490 eissn 1545-8504 10 0701 0023 informs doi 10.1287/dea.1090.0155 2010 INFORMS Managing Projet Failure Risk Through Contingent Contrats
More informationprotection p1ann1ng report
( f1re protetion p1ann1ng report I BUILDING CONSTRUCTION INFORMATION FROM THE CONCRETE AND MASONRY INDUSTRIES NO. 15 OF A SERIES A Comparison of Insurane and Constrution Costs for Low-Rise Multifamily
More information[INTERMEDIATE QUICKBOOKS FOR NONPROFITS] Presented by Ian Shuman, CPA Gelman, Rosenberg & Freedman CPAs October 4, 2011
1. BUDGETING A. Setting Up Budgets i) Go to Company/Planning and Budgeting/Set Up Budgets Then select year ii) Budget Criteria Can create budgets for company as a whole, by job or by class Tip: These are
More informationSrinivas Bollapragada GE Global Research Center. Abstract
Sheduling Commerial Videotapes in Broadast Television Srinivas Bollapragada GE Global Researh Center Mihael Bussiek GAMS Development Corporation Suman Mallik University of Illinois at Urbana Champaign
More informationProduct Tracking System Error/Warning Messages
1 Header/Detail CHECK DIGIT ERROR The check digit in the label number is invalid. 2 Header/Detail MAILER ID IS NOT A VALID EVS MAILER ID 3 Header/Detail SERIAL NUMBER NOT NUMERIC The serial number portion
More informationIn this chapter, we ll see state diagrams, an example of a different way to use directed graphs.
Chapter 19 State Diagrams In this hapter, we ll see state diagrams, an example of a different way to use direted graphs. 19.1 Introdution State diagrams are a type of direted graph, in whih the graph nodes
More informationScheduling for QoS Management
Scheduling for QoS Management Domenico Massimo Parrucci Condello isti information science Facoltà and di Scienze technology e Tecnologie institute 1/number 1 Outline What is Queue Management and Scheduling?
More informationCPU Scheduling. Core Definitions
CPU Scheduling General rule keep the CPU busy; an idle CPU is a wasted CPU Major source of CPU idleness: I/O (or waiting for it) Many programs have a characteristic CPU I/O burst cycle alternating phases
More informationSCALABILITY AND AVAILABILITY
SCALABILITY AND AVAILABILITY Real Systems must be Scalable fast enough to handle the expected load and grow easily when the load grows Available available enough of the time Scalable Scale-up increase
More informationImpedance Method for Leak Detection in Zigzag Pipelines
10.478/v10048-010-0036-0 MEASUREMENT SCIENCE REVIEW, Volume 10, No. 6, 010 Impedane Method for Leak Detetion in igzag Pipelines A. Lay-Ekuakille 1, P. Vergallo 1, A. Trotta 1 Dipartimento d Ingegneria
More informationAsymmetric Error Correction and Flash-Memory Rewriting using Polar Codes
1 Asymmetri Error Corretion and Flash-Memory Rewriting using Polar Codes Eyal En Gad, Yue Li, Joerg Kliewer, Mihael Langberg, Anxiao (Andrew) Jiang and Jehoshua Bruk Abstrat We propose effiient oding shemes
More informationHenley Business School at Univ of Reading. Chartered Institute of Personnel and Development (CIPD)
MS in International Human Resoure Management (full-time) For students entering in 2015/6 Awarding Institution: Teahing Institution: Relevant QAA subjet Benhmarking group(s): Faulty: Programme length: Date
More informationW4118 Operating Systems. Instructor: Junfeng Yang
W4118 Operating Systems Instructor: Junfeng Yang Outline Introduction to scheduling Scheduling algorithms 1 Direction within course Until now: interrupts, processes, threads, synchronization Mostly mechanisms
More informationSecondary Storage. Any modern computer system will incorporate (at least) two levels of storage: magnetic disk/optical devices/tape systems
1 Any modern computer system will incorporate (at least) two levels of storage: primary storage: typical capacity cost per MB $3. typical access time burst transfer rate?? secondary storage: typical capacity
More informationSUBSTRUCTURE EXAMPLE. Full Height Abutment on Spread Footing
SUBSTRUCTURE EXAMPLE Full Height Abutment on Spread Footing This example illustrates the design of a full height abutment on spread footings for a single span ast-in-plae post-tensioned onrete box girder
More information6.852: Distributed Algorithms Fall, 2009. Class 2
.8: Distributed Algorithms Fall, 009 Class Today s plan Leader election in a synchronous ring: Lower bound for comparison-based algorithms. Basic computation in general synchronous networks: Leader election
More informationCustomer Efficiency, Channel Usage and Firm Performance in Retail Banking
Customer Effiieny, Channel Usage and Firm Performane in Retail Banking Mei Xue Operations and Strategi Management Department The Wallae E. Carroll Shool of Management Boston College 350 Fulton Hall, 140
More informationHow To Fator
CHAPTER hapter 4 > Make the Connetion 4 INTRODUCTION Developing seret odes is big business beause of the widespread use of omputers and the Internet. Corporations all over the world sell enryption systems
More informationPitfalls of Object Oriented Programming
Sony Computer Entertainment Europe Research & Development Division Pitfalls of Object Oriented Programming Tony Albrecht Technical Consultant Developer Services A quick look at Object Oriented (OO) programming
More informationUsing Live Chat in your Call Centre
Using Live Chat in your Call Centre Otober Key Highlights Yesterday's all entres have beome today's ontat entres where agents deal with multiple queries from multiple hannels. Live Chat hat is one now
More informationImpact Simulation of Extreme Wind Generated Missiles on Radioactive Waste Storage Facilities
Impat Simulation of Extreme Wind Generated issiles on Radioative Waste Storage Failities G. Barbella Sogin S.p.A. Via Torino 6 00184 Rome (Italy), barbella@sogin.it Abstrat: The strutural design of temporary
More informationDesign Implications for Enterprise Storage Systems via Multi-Dimensional Trace Analysis
Design Impliations for Enterprise Storage Systems via Multi-Dimensional Trae Analysis Yanpei Chen, Kiran Srinivasan, Garth Goodson, Randy Katz University of California, Berkeley, NetApp In. {yhen2, randy}@ees.berkeley.edu,
More information3 Game Theory: Basic Concepts
3 Game Theory: Basi Conepts Eah disipline of the soial sienes rules omfortably ithin its on hosen domain: : : so long as it stays largely oblivious of the others. Edard O. Wilson (1998):191 3.1 and and
More informationScheduling Algorithms
Scheduling Algorithms List Pros and Cons for each of the four scheduler types listed below. First In First Out (FIFO) Simplicity FIFO is very easy to implement. Less Overhead FIFO will allow the currently
More informationHeron s Formula. Key Words: Triangle, area, Heron s formula, angle bisectors, incenter
Heron s Formula Lesson Summary: Students will investigate the Heron s formula for finding the area of a triangle. The lab has students find the area using three different methods: Heron s, the basic formula,
More informationGenome Analysis in a Dynamically Scaled Hybrid Cloud
Genome Analysis in a Dynamically Scaled Hybrid Cloud Chris Smowton*, Georgiana Copil**, Hong- Linh Truong**, Crispin Miller* and Wei Xing* * CRUK Manchester ** TU Vienna In a Nutshell Users want to run
More informationImplementation of PIC Based LED Displays
International Journal of Eletronis and Computer Siene Engineering Available Online at www.ijese.org ISSN- - Implementation of PIC Based LED Displays Htet Htet Thit San, Chaw Myat Nwe and Hla Myo Tun Department
More informationLemon Signaling in Cross-Listings Michal Barzuza*
Lemon Signaling in Cross-Listings Mihal Barzuza* This paper analyzes the deision to ross-list by managers and ontrolling shareholders assuming that they have private information with respet to the amount
More informationA hierarchical multicriteria routing model with traffic splitting for MPLS networks
A hierarchical multicriteria routing model with traffic splitting for MPLS networks João Clímaco, José Craveirinha, Marta Pascoal jclimaco@inesccpt, jcrav@deecucpt, marta@matucpt University of Coimbra
More informationCredit volatility : Options and beyond
Credit volatility : Options and beyond Jerome.Brun@sgcib.com joint work with F. Rhazal, L. Luciani, T. Bounhar Société Générale Corporate and Investment Banking 25 June 2008, Credit Risk Workshop EVRY
More informationIT Essentials II: Network Operating Systems
Unit 13: IT Essentials II: Network Operating Systems Learning Outomes: A andidate following a programme of learning leading to this unit will be able to: demonstrate understanding of network operating
More informationHenley Business School at Univ of Reading. Pre-Experience Postgraduate Programmes Chartered Institute of Personnel and Development (CIPD)
MS in International Human Resoure Management For students entering in 2012/3 Awarding Institution: Teahing Institution: Relevant QAA subjet Benhmarking group(s): Faulty: Programme length: Date of speifiation:
More informationWhen Betting Odds and Credences Come Apart: More Worries for Dutch Book Arguments
When Betting Odds and Credences Come Apart: More Worries for Dutch Book Arguments Darren BRADLEY and Hannes LEITGEB If an agent believes that the probability of E being true is 1/2, should she accept a
More information