Practical Statistical Static Timing Analysis with Current Source Models
|
|
- Cuthbert Bruce
- 5 years ago
- Views:
Transcription
1 Prcticl Sttisticl Sttic Timing Anlysis with Current Source Models Debjit Sinh, ldimir Zolotov, Sheshshyee K. ghunthn 2, Michel H. Wood, Kerim Klfl IBM Systems, Poughkeepsie, USA IBM Thoms J. Wtson eserch, Yorktown Heights, USA IBM Systems, Bnglore, Indi 2 {dsinh, zolotov, woodm, klfl}@us.ibm.com; shesh.rghunthn@in.ibm.com 26 IBM Corportion
2 Driver nd Signl Modeling Dely/Slew/Ceff driver model is too inccurte Current Source Model (CSM) hs better ccurcy Einstimer uses efficient implementtion bsed on dynmic effective cpcitnce P Feldmnn, S Abbspour, D Sinh, et l., Driver wveform computtion for timing nlysis with multiple voltge threshold driver models, DAC 28 Wveforms model is necessry compnion Better ccurcy but higher computtionl cost nd memory footprint Y Eqv Einstimer implements sttisticl timing Delys, slews, ATs, ATs, etc. re modeled with liner or biliner forms Cross-terms model interction of sources of vritions like dependence of vribility on dd t Liner terms Cross-terms t t 2 t n t = t + t + t X t + t, X + L + t, Efficient sttisticl model of wveform is needed 2
3 Sttisticl wveform models Time points re modeled with sttisticl cnonicl form H.Ftemi, S.Nzrin, nd M.Pedrm, Sttisticl logic cell dely nlysis using current-bsed model, DAC26 High memory consumption nd redundncy Time moments re highly correlted Sttisticl wveform model pproximtes vribility with timing shift nd scle Nominl wveform nom (t) defines shpe Cnonicl form of shift cts s sttisticl dely D = d + s + d X d Cnonicl form of scle cts s sttisticl slew S = s + s + s X s. Zolotov, J. Xiong, C. isweswrih, S. Abbspour, D. Hthwy, Compct modeling of vritionl wveforms, ICCAD 27 computes sensitivities by solving CSM differentil equtions, which is rther inefficient. Efficient technique for computing nd propgting sttisticl wveform is needed Support incrementl timing ( t S[ t t D ) t) = nom ] ( Shift D t = t + t + t X t Shift t Scle Scle S t t t 3
4 Sttisticl wveform propgtion ( Prtil CSM ) Sttisticl AT & slew t gte input Compute ATs nd slews for bse corners S = s + s s Solve CSM for ll bse corners to get wveforms t gte output A Compute nd store nominl wveform, sttisticl AT nd slew nom (t) s + s s Construct corner wveforms t interconnect input by shift nd scle to mtch corner ATs nd slews B Construct interconnect models (OMs) for ll bse corners S = s + s s Propgte wveforms for ll bse corners through interconnect Sttisticl AT & slew t next gte input Compute nd store sttisticl AT nd slew 4
5 Study of sttisticl timing models 4 methods of sttisticl timing: No CSM NLDM insted of CSM Full CSM - wveforms for ll bse corners Bse corners wveform re needed for incrementl timing Prtil CSM nominl wveform with sttisticl shift&scle Wveforms t other corners re constructed by mtching delys nd slews of conventionl sttisticl timing mp CSM no wveforms stored Gte is modeled with CSM to get dely & slew Liner rmp is propgted through interconnect A A B D Four 4nm test circuits PO Y 5fF Y PO XO 5fF DFF Q PO 5fF CK 8 PT corners; FF dd =./.6 T= 85C FF dd =./.6 T= -C SS dd =./.6 T= 85C SS dd =./.6 T= -C equired for PT cross-term A Chin of buffers Y A Y 5fF esistive wire: ~3- ff Ctotl, ~2-4 ff Ceff,.3- kohm resistnce] OUT 5
6 Aligned corner wveforms XO isible difference between.5 nd.6 wveforms DFF chin 6
7 Bse corner selection Corner P//T Mx error of dely/slew (%) Averge error of dely/slew (%) XO DFF Chin XO DFF Chin FF/./- 4./.6 4.7/4. 8./2.9 2./ / /2..7/ /-.6 FF/./ /.7 3.8/3.8 9./2.6 2./.26-2./ /.7 2.3/. -.84/-.6 SS/./- 2.3/.5 7.5/ /2.6./.6 -.2/ 2.4/.2 4.7/.8 -.4/-.3 SS/./+85 2./.5 9./ /2.4./.5 / 3.6/.8 5./.6 -.4/-.2 FF/.6/+85.3/.4 7.7/.9 7./.7.9/.5 -.2/. 2./ /-.3 -./-.3 FF/.6/-./.6 6.2/2. 6.7/.6.9/.8 -.2/.2.9/-. -.6/-.4 -./-.4 SS/.6/+85.3/.8 6.3/.9 9.9/3..5/.5.65/.5-3./ /-.7.72/.2 SS/.6/-.8/.9 7.5/.9.7/3.2.4/.5.3/.5-4.3/ / / Accurcy highly depends on selection of bse (nominl) corner No corner with best ccurcy for ll circuits both for delys nd slews Selected corner with best trdeoff ccurcy 7
8 Hold slck error histogrm No CSM SSTA slck error Design D9: 7.6K tests 33K gtes Worst slck is reduced by 7ps Prtil CSM SSTA slck error Slck error (ps)
9 Timing ccurcy, run time, memory footprint Design Num gtes Num tests No CSM AT/Slew Error (%) CSM AT/Slew Error (%) Slck Accur Improvment vs No CSM un time vs No CSM Memory vs no CSM D6 7K 2.K.3/2..2/. 6.9% 6% 3.6% D7 23K 3.5K./.9./.2 4.2% 6% 4.6% D8 3K 6.6K 2.3/3.2.5/. 5.4% 4% 4.% D9 33K 7.6K.6/3.2.3/. 7.% 5% 5% D 7K 34.K.9/3.3.3/..4% 5% 2.5% D.63M 96K.6/2.3/. 5.2% 6% 7.5% Typicl No CSM error in AT.3-.9% (worst 8ps), in Slew 2-3% (worst 7ps) Typicl Prtil CSM error in AT.3%, in slew.-.% Up to 7% slck improvement (7ps) for representtive 25ps clock cycle esonble run time overheds 6% Additionl memory -.5GB per M gtes 9
10 Conclusions Studied implementtions of CSM wveforms in sttisticl timing for 4nm high performnce designs Nïve pproch results in mnifold memory overhed Developed method of propgting sttisticl wveforms Sttisticl shift nd scle technique ws modified for better performnce nd lower memory footprint. Achieved substntil slck ccurcy improvement Up to 7ps, i.e. 7 of 25ps cycle time un time increse does not exceed 6% Memory overhed is bout.gb per M gtes Does not exceed 7.5% Further ccurcy improvement cn be chieved Dynmic selection/construction of nominl corner for shift nd scle representtion
Many analog implementations of CPG exist, typically using operational amplifier or
FPGA Implementtion of Centrl Pttern Genertor By Jmes J Lin Introuction: Mny nlog implementtions of CPG exist, typiclly using opertionl mplifier or trnsistor level circuits. These types of circuits hve
More informationParallel Square and Cube Computations
Prllel Squre nd Cube Computtions Albert A. Liddicot nd Michel J. Flynn Computer Systems Lbortory, Deprtment of Electricl Engineering Stnford University Gtes Building 5 Serr Mll, Stnford, CA 945, USA liddicot@stnford.edu
More informationQuestions About Numbers. Number Systems and Arithmetic. Introduction to Binary Numbers. Negative Numbers?
Questions About Numbers Number Systems nd Arithmetic or Computers go to elementry school How do you represent negtive numbers? frctions? relly lrge numbers? relly smll numbers? How do you do rithmetic?
More informationEngineer To Engineer Note
Engineer To Engineer Note EE-169 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit
More informationFault injection attacks on cryptographic devices and countermeasures Part 2
Fult injection ttcks on cryptogrphic devices nd countermesures Prt Isrel Koren Deprtment of Electricl nd Computer Engineering University of Msschusetts Amherst, MA Countermesures - Exmples Must first detect
More informationWhat do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers
Wht do ll those bits men now? bits (...) Number Systems nd Arithmetic or Computers go to elementry school instruction R-formt I-formt... integer dt number text chrs... floting point signed unsigned single
More informationSystems I. Logic Design I. Topics Digital logic Logic gates Simple combinational logic circuits
Systems I Logic Design I Topics Digitl logic Logic gtes Simple comintionl logic circuits Simple C sttement.. C = + ; Wht pieces of hrdwre do you think you might need? Storge - for vlues,, C Computtion
More informationChapter 2 Sensitivity Analysis: Differential Calculus of Models
Chpter 2 Sensitivity Anlysis: Differentil Clculus of Models Abstrct Models in remote sensing nd in science nd engineering, in generl re, essentilly, functions of discrete model input prmeters, nd/or functionls
More informationSUPPLEMENTARY INFORMATION
Supplementry Figure y (m) x (m) prllel perpendiculr Distnce (m) Bird Stndrd devition for distnce (m) c 6 prllel perpendiculr 4 doi:.8/nture99 SUPPLEMENTARY FIGURE Confirmtion tht movement within the flock
More informationAlignment of Long Sequences. BMI/CS Spring 2012 Colin Dewey
Alignment of Long Sequences BMI/CS 776 www.biostt.wisc.edu/bmi776/ Spring 2012 Colin Dewey cdewey@biostt.wisc.edu Gols for Lecture the key concepts to understnd re the following how lrge-scle lignment
More informationData Flow on a Queue Machine. Bruno R. Preiss. Copyright (c) 1987 by Bruno R. Preiss, P.Eng. All rights reserved.
Dt Flow on Queue Mchine Bruno R. Preiss 2 Outline Genesis of dt-flow rchitectures Sttic vs. dynmic dt-flow rchitectures Pseudo-sttic dt-flow execution model Some dt-flow mchines Simple queue mchine Prioritized
More informationQubit allocation for quantum circuit compilers
Quit lloction for quntum circuit compilers Nov. 10, 2017 JIQ 2017 Mrcos Yukio Sirichi Sylvin Collnge Vinícius Fernndes dos Sntos Fernndo Mgno Quintão Pereir Compilers for quntum computing The first genertion
More informationAccelerating 3D convolution using streaming architectures on FPGAs
Accelerting 3D convolution using streming rchitectures on FPGAs Hohun Fu, Robert G. Clpp, Oskr Mencer, nd Oliver Pell ABSTRACT We investigte FPGA rchitectures for ccelerting pplictions whose dominnt cost
More informationEngineer To Engineer Note
Engineer To Engineer Note EE-186 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit
More informationAccuracy in Warping ECT LV Surfaces to CT Angiography Coronary Vessels
Accurcy in Wrping ECT LV Surfces to CT Angiogrphy Coronry Vessels BC Lee, JN Kritzmn, JR Corbett, EP Ficro * University of Michign Helth System, Ann Arbor, MI Disclosure: * Receive softwre roylties from
More informationWhat do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers
Wht do ll those bits men now? bits (...) Number Systems nd Arithmetic or Computers go to elementry school instruction R-formt I-formt... integer dt number text chrs... floting point signed unsigned single
More informationApplied Databases. Sebastian Maneth. Lecture 13 Online Pattern Matching on Strings. University of Edinburgh - February 29th, 2016
Applied Dtses Lecture 13 Online Pttern Mtching on Strings Sestin Mneth University of Edinurgh - Ferury 29th, 2016 2 Outline 1. Nive Method 2. Automton Method 3. Knuth-Morris-Prtt Algorithm 4. Boyer-Moore
More informationA COLOUR CORRECTION PREPROCESSING METHOD FOR MULTIVIEW VIDEO CODING
A COLOR CORRECTO REROCESSG METHOD FOR MLTEW DEO CODG Colin Doutre nd nos siopoulos Deprtment of Electricl nd Computer Engineering, niversity of British Columbi 66 Min Mll, 6T Z4, ncouver, BC, Cnd emil:
More informationWhat are suffix trees?
Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl
More informationPresentation Martin Randers
Presenttion Mrtin Rnders Outline Introduction Algorithms Implementtion nd experiments Memory consumption Summry Introduction Introduction Evolution of species cn e modelled in trees Trees consist of nodes
More informationOn Computation and Resource Management in Networked Embedded Systems
On Computtion nd Resource Mngement in Networed Embedded Systems Soheil Ghisi Krlene Nguyen Elheh Bozorgzdeh Mjid Srrfzdeh Computer Science Deprtment University of Cliforni, Los Angeles, CA 90095 soheil,
More informationTilt-Sensing with Kionix MEMS Accelerometers
Tilt-Sensing with Kionix MEMS Accelerometers Introduction Tilt/Inclintion sensing is common ppliction for low-g ccelerometers. This ppliction note describes how to use Kionix MEMS low-g ccelerometers to
More informationTiming Analysis with Crosstalk as Fixpoints on Complete Lattice
Timing Anlysis with Crosstlk s Fixpoints on Complete Lttice Hi Zhou, Nrendr Shenoy, nd Willim Nicholls Advnced Technology Group Synopsys, Inc. Mountin View, 94043 ABSTRACT Incresing dely vrition due to
More informationDigital Signal Processing: A Hardware-Based Approach
Digitl Signl Processing: A Hrdwre-Bsed Approch Roert Esposito Electricl nd Computer Engineering Temple University troduction Teching Digitl Signl Processing (DSP) hs included the utilition of simultion
More informationStack. A list whose end points are pointed by top and bottom
4. Stck Stck A list whose end points re pointed by top nd bottom Insertion nd deletion tke plce t the top (cf: Wht is the difference between Stck nd Arry?) Bottom is constnt, but top grows nd shrinks!
More informationComputational Imaging and Partial Differential Equations
Computtionl Imging nd Prtil Differentil Equtions Chng-Ock Lee Asi Pcific Mthemtics Newsletter 1. Introduction Digitl imges re generted through quntistion nd dt extrction from nlog imges for the rel world
More informationKyoung Hwan Lim and Taewhan Kim Seoul National University
Kyoung Hwan Lim and Taewhan Kim Seoul National University Table of Contents Introduction Motivational Example The Proposed Algorithm Experimental Results Conclusion In synchronous circuit design, all sequential
More informationComputer Arithmetic Logical, Integer Addition & Subtraction Chapter
Computer Arithmetic Logicl, Integer Addition & Sutrction Chpter 3.-3.3 3.3 EEC7 FQ 25 MIPS Integer Representtion -it signed integers,, e.g., for numeric opertions 2 s s complement: one representtion for
More informationSuffix Tries. Slides adapted from the course by Ben Langmead
Suffix Tries Slides dpted from the course y Ben Lngmed en.lngmed@gmil.com Indexing with suffixes Until now, our indexes hve een sed on extrcting sustrings from T A very different pproch is to extrct suffixes
More informationseven rigid frames: analysis & design Rigid Frames Rigid Frames Rigid Frames composed of linear elements member geometry fixed at joints
APPLIED ARCHITECTURAL STRUCTURES: STRUCTURAL ANALYSIS AND SYSTEMS DR. ANNE NICHOLS SPRING 2018 lecture seven rigid rmes: nlysis & design http:// nisee.erkeley.edu/godden Rigid rmes composed o liner elements
More informationImproved Clock-Gating through Transparent Pipelining
2. Improved Clock-Gting through Trnsprent Pipelining Hns M. Jcobson IM T.J. Wtson Reserch Center, Yorktown, NY. hnsj@us.ibm.com STRCT This pper re-exmines the well estblished clocking principles of pipelines.
More information5 Regular 4-Sided Composition
Xilinx-Lv User Guide 5 Regulr 4-Sided Composition This tutoril shows how regulr circuits with 4-sided elements cn be described in Lv. The type of regulr circuits tht re discussed in this tutoril re those
More informationChapter 2 Capacitive Sensing Electrodes
Chpter 2 Cpcitive Sensing Electrodes The cpcitive sensing electrodes on the top of CMOS chip serve s n interfce etween the microelectronic redout system nd the iologicl/chemicl nlyte. These electrodes
More informationITEC2620 Introduction to Data Structures
ITEC0 Introduction to Dt Structures Lecture 7 Queues, Priority Queues Queues I A queue is First-In, First-Out = FIFO uffer e.g. line-ups People enter from the ck of the line People re served (exit) from
More informationSemi-Supervised Video Segmentation using Tree Structured Graphical Models
Semi-Supervised Video Segmenttion using Tree Structured Grphicl Models Igns Budvytis, Vijy Bdrinrynn, Roberto Cipoll Deprtment of Engineering, University of Cmbridge, Cmbridge, UK ib255,vb292,cipoll@eng.cm.c.uk
More informationBonded Internet. Architecture Examples for Replacing or Enhancing Customer MPLS Networks
Bonded Internet Architecture Exmples for Replcing or Enhncing Customer MPLS Networks Bonded Internet Ensuring business customers hve: Fst, Relible, nd Secure ccess to their Cloud pplictions nd services
More informationseven rigid frames: analysis & design Rigid Frames Rigid Frames Rigid Frames composed of linear elements member geometry fixed at joints
APPLIED ARCHITECTURAL STRUCTURES: STRUCTURAL ANALYSIS AND SYSTEMS DR. ANNE NICHOLS ALL 2018 lecture seven rigid rmes: nlysis & design http:// nisee.erkeley.edu/godden Rigid rmes composed o liner elements
More informationIntroduction to Computer Engineering EECS 203 dickrp/eecs203/ CMOS transmission gate (TG) TG example
Introduction to Computer Engineering EECS 23 http://ziyng.eecs.northwestern.edu/ dickrp/eecs23/ CMOS trnsmission gte TG Instructor: Robert Dick Office: L477 Tech Emil: dickrp@northwestern.edu Phone: 847
More informationAlgorithm Design (5) Text Search
Algorithm Design (5) Text Serch Tkshi Chikym School of Engineering The University of Tokyo Text Serch Find sustring tht mtches the given key string in text dt of lrge mount Key string: chr x[m] Text Dt:
More informationHOPC: A NOVEL SIMILARITY METRIC BASED ON GEOMETRIC STRUCTURAL PROPERTIES FOR MULTI-MODAL REMOTE SENSING IMAGE MATCHING
ISPRS Annls of the Photogrmmetry, Remote Sensing nd Sptil Informtion Sciences, Volume III-1, 216 XXIII ISPRS Congress, 12 19 July 216, Prgue, Czech Republic : A NOVEL SILARITY METRIC BASED ON GEOMETRIC
More informationLETKF compared to 4DVAR for assimilation of surface pressure observations in IFS
LETKF compred to 4DVAR for ssimiltion of surfce pressure oservtions in IFS Pu Escrià, Mssimo Bonvit, Mts Hmrud, Lrs Isksen nd Pul Poli Interntionl Conference on Ensemle Methods in Geophysicl Sciences Toulouse,
More informationON USING FUZZY ARITHMETIC TO SOLVE PROBLEMS WITH UNCERTAIN MODEL PARAMETERS
ON USNG FUZZY ARTHMETC TO SOLVE PROLEMS WTH UNCERTAN MOEL PARAMETERS Michel Hnss, Ki Willner nstitute A of Mechnics University of Stuttgrt Pfffenwldring 9 70550 Stuttgrt, Germny M.Hnss,K.Willner @mech.uni-stuttgrt.de
More informationPushPull: Short Path Padding for Timing Error Resilient Circuits YU-MING YANG IRIS HUI-RU JIANG SUNG-TING HO. IRIS Lab National Chiao Tung University
PushPull: Short Path Padding for Timing Error Resilient Circuits YU-MING YANG IRIS HUI-RU JIANG SUNG-TING HO IRIS Lab National Chiao Tung University Outline Introduction Problem Formulation Algorithm -
More informationRevisiting the notion of Origin-Destination Traffic Matrix of the Hosts that are attached to a Switched Local Area Network
Interntionl Journl of Distributed nd Prllel Systems (IJDPS) Vol., No.6, November 0 Revisiting the notion of Origin-Destintion Trffic Mtrix of the Hosts tht re ttched to Switched Locl Are Network Mondy
More informationCOMP 423 lecture 11 Jan. 28, 2008
COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring
More informationRadiation-Hardened Bidirectional Multipurpose Transceiver B54AC164245SRH Datasheet
Ver 1.0 Rdition-Hrdened Bidirectionl Multipurpose Trnsceiver B54AC164245SRH Dtsheet Beijing Microelectronics Technology Institute 2011.3.20 INDEX 1. FEATURES... 1 2. GENERAL DESCRIPTION... 2 3. BLOCK DIAGRAM...
More informationRegular Expression Matching with Multi-Strings and Intervals. Philip Bille Mikkel Thorup
Regulr Expression Mtching with Multi-Strings nd Intervls Philip Bille Mikkel Thorup Outline Definition Applictions Previous work Two new problems: Multi-strings nd chrcter clss intervls Algorithms Thompson
More informationDemand-Driven Context-Sensitive Alias Analysis for Java
Demnd-Driven Context-Sensitive Alis Anlysis or Jv Dcong (Tony) Yn Guoqing (Hrry) Xu Atns Rountev Ohio Stte University PRESTO: Progrm Anlyses nd Sotwre Tools Reserch Group, Ohio Stte University Alis Anlysis
More informationOn String Matching in Chunked Texts
On String Mtching in Chunked Texts Hnnu Peltol nd Jorm Trhio {hpeltol, trhio}@cs.hut.fi Deprtment of Computer Science nd Engineering Helsinki University of Technology P.O. Box 5400, FI-02015 HUT, Finlnd
More informationA New Learning Algorithm for the MAXQ Hierarchical Reinforcement Learning Method
A New Lerning Algorithm for the MAXQ Hierrchicl Reinforcement Lerning Method Frzneh Mirzzdeh 1, Bbk Behsz 2, nd Hmid Beigy 1 1 Deprtment of Computer Engineering, Shrif University of Technology, Tehrn,
More informationNumerical Analysis of Gravity and Parabolic Catenaries
Numericl Anlysis of Grvity nd Prbolic Ctenries J. Vsek, O. Suchrd Abstrct This pper nlyses grvity nd prbolic ctenries. It discusses development of n lgorithm for tsks nd optimising of the clcultion. Different
More informationOutline CS 412/413. Function calls. Stack layout. Tiling a call. Two translations
CS 412/413 Introduction to Compilers nd Trnsltors Cornell University Andrew Myers Outline Implementing function clls Implementing functions Optimizing wy the pointer Dynmiclly-llocted structures strings
More informationPrediction of cutting force and surface roughness using Taguchi technique for aluminum alloy AA6061
Austrlin Journl of Mechnicl Engineering ISSN: 1448-4846 (Print) 2204-2253 (Online) Journl homepge: http://www.tndfonline.com/loi/tmec20 Prediction of cutting force nd surfce roughness using Tguchi technique
More informationCPSC 213. Polymorphism. Introduction to Computer Systems. Readings for Next Two Lectures. Back to Procedure Calls
Redings for Next Two Lectures Text CPSC 213 Switch Sttements, Understnding Pointers - 2nd ed: 3.6.7, 3.10-1st ed: 3.6.6, 3.11 Introduction to Computer Systems Unit 1f Dynmic Control Flow Polymorphism nd
More informationComputational Simulation of Turbulent Supersonic Flows around Axisymmetric Bodies Using a PNS/TLNS Multi-block Approach
MB MBP Computtionl Simultion of Turulent Supersonic Flows round Axisymmetric Bodies Using / Multi-lock Approch M.R. Heidri Spce Trining nd Reserch Center School of Aerospce Eng. Mlek-Ashtr Univ. of Tech.
More informationEfficient Regular Expression Grouping Algorithm Based on Label Propagation Xi Chena, Shuqiao Chenb and Ming Maoc
4th Ntionl Conference on Electricl, Electronics nd Computer Engineering (NCEECE 2015) Efficient Regulr Expression Grouping Algorithm Bsed on Lbel Propgtion Xi Chen, Shuqio Chenb nd Ming Moc Ntionl Digitl
More informationInternational Journal of Scientific & Engineering Research, Volume 4, Issue 12, December ISSN
Interntionl Journl of Scientific & Engineering Reserch, Volume 4, Issue 1, December-1 ISSN 9-18 Generlised Gussin Qudrture over Sphere K. T. Shivrm Abstrct This pper presents Generlised Gussin qudrture
More informationStudy Sheet ( )
Key Terms prol circle Ellipse hyperol directrix focus focl length xis of symmetry vertex Study Sheet (11.1-11.4) Conic Section A conic section is section of cone. The ellipse, prol, nd hyperol, long with
More informationOptimization of Air Bearing Slider Design
Proceedings of TC2005 orld Tribology Congress III Proceedings of TC2005 September 2-6, orld 2005, Tribology shington, Congress D.C., III SA September 2-6, 2005, shington, D.C., SA Optimiztion of Air Bering
More informationCS 130 : Computer Systems - II. Shankar Balachandran Dept. of Computer Science & Engineering IIT Madras
CS 3 : Computer Systems - II Shnkr Blchndrn (shnkr@cse.iitm.c.in) Dept. of Computer Science & Engineering IIT Mdrs Recp Differentite Between s nd s Truth Tbles b AND b OR NOT September 4, 27 Introduction
More informationOrthogonal line segment intersection
Computtionl Geometry [csci 3250] Line segment intersection The prolem (wht) Computtionl Geometry [csci 3250] Orthogonl line segment intersection Applictions (why) Algorithms (how) A specil cse: Orthogonl
More informationUSING HOUGH TRANSFORM IN LINE EXTRACTION
Stylinidis, Efstrtios USING HOUGH TRANSFORM IN LINE EXTRACTION Efstrtios STYLIANIDIS, Petros PATIAS The Aristotle University of Thessloniki, Deprtment of Cdstre Photogrmmetry nd Crtogrphy Univ. Box 473,
More informationCS 268: IP Multicast Routing
Motivtion CS 268: IP Multicst Routing Ion Stoic April 5, 2004 Mny pplictions requires one-to-mny communiction - E.g., video/udio conferencing, news dissemintion, file updtes, etc. Using unicst to replicte
More informationLU Decomposition. Mechanical Engineering Majors. Authors: Autar Kaw
LU Decomposition Mechnicl Engineering Mjors Authors: Autr Kw Trnsforming Numericl Methods Eduction for STEM Undergrdutes // LU Decomposition LU Decomposition LU Decomposition is nother method to solve
More informationten rigid frames: compression & buckling Rigid Frames Rigid Frames Rigid Frames
RCHITECTURL STRUCTURES: ORM, BEHVIOR, ND DESIGN DR. NNE NICHOLS SUMMER 017 lecture ten rigid rmes: compression & uckling Rigid rmes rigid rmes hve no pins rme is ll one ody joints trnser moments nd sher
More informationPhysical Design of Digital Integrated Circuits (EN0291 S40) Sherief Reda Division of Engineering, Brown University Fall 2006
Physical Design of Digital Integrated Circuits (EN0291 S40) Sherief Reda Division of Engineering, Brown University Fall 2006 1 Lecture 10: Repeater (Buffer) Insertion Introduction to Buffering Buffer Insertion
More informationDogBOT An Interactive Robot Dog for Entertainment
DogBOT An Interctive Robot Dog for Entertinment Kun-Ting Yu, Ping-Che Hsio, Wei-Ho Mou, Yi-Shu Li Deprtment of Computer Science & Informtion Engineering, Ntionl Tiwn University Abstrct This pper describes
More informationSeries LJ1. Uniaxial Electric Actuator
CAT.E 90- Unixil Electric Actutor Controller Teching Box Unixil Electric Actutor Series LJ Series LJ Series LC Series LC for horizontl mounting nd brke for verticl mounting hve been dded to the high rigidity
More informationLossy Images Compression Based on Multiresolution
Reserch Article Open Access Lossy Imges Compression Bsed on Multiresolution Rn T. Al-Timimi Deprtment of Bnking nd Finncil Sciences, College of Mngement nd Economic, Mustnsiriyh University, IRAQ *Author
More informationVer 1.2. Radiation Hardened Bidirectional Multipurpose Transceiver. Datasheet. Part Number:B54ACS164245SARH
Ver 1.2 Rdition Hrdened Bidirectionl Multipurpose Trnsceiver Dtsheet Prt Number:B54ACS164245SARH 1 Pge of Revise Control Version No. Publish Time Revised Chpter Revise Introduction Note 1.1 2016-08-15
More informationSYSTEMA / THERMICA version 4 Overview of the new capabilities
SYSTEMA / THERMICA version 4 Overview of the new cpbilities Prepred by Mrc Jcquiu, SAS 16 th Europen Workshop on Therml nd ECLS Softwre, 22-23 October 2002 SYSTEMA / THERMICA current sttus (1/3) SYSTEMA
More informationEECS150 - Digital Design Lecture 23 - High-level Design and Optimization 3, Parallelism and Pipelining
EECS150 - Digitl Design Lecture 23 - High-level Design nd Optimiztion 3, Prllelism nd Pipelining Nov 12, 2002 John Wwrzynek Fll 2002 EECS150 - Lec23-HL3 Pge 1 Prllelism Prllelism is the ct of doing more
More informationBefore We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1):
Overview (): Before We Begin Administrtive detils Review some questions to consider Winter 2006 Imge Enhncement in the Sptil Domin: Bsics of Sptil Filtering, Smoothing Sptil Filters, Order Sttistics Filters
More informationCVM-B100 CVM-B150. Power analyzer for panels
Power nlyzers CVM CVM-100 CVM-150 Power nlyzer for pnels Description High-end power nlyzers, verstile nd expndle, with 4-qudrnt mesurement (Consumption nd Genertion). Suitle for high nd low Voltge instlltions,
More informationComputer-Aided Multiscale Modelling for Chemical Process Engineering
17 th Europen Symposium on Computer Aided Process Engineesing ESCAPE17 V. Plesu nd P.S. Agchi (Editors) 2007 Elsevier B.V. All rights reserved. 1 Computer-Aided Multiscle Modelling for Chemicl Process
More informationA Comparison of the Discretization Approach for CST and Discretization Approach for VDM
Interntionl Journl of Innovtive Reserch in Advnced Engineering (IJIRAE) Volume1 Issue1 (Mrch 2014) A Comprison of the Discretiztion Approch for CST nd Discretiztion Approch for VDM Omr A. A. Shib Fculty
More informationLECT-10, S-1 FP2P08, Javed I.
A Course on Foundtions of Peer-to-Peer Systems & Applictions LECT-10, S-1 CS /799 Foundtion of Peer-to-Peer Applictions & Systems Kent Stte University Dept. of Computer Science www.cs.kent.edu/~jved/clss-p2p08
More informationSome Thoughts on Grad School. Undergraduate Compilers Review and Intro to MJC. Structure of a Typical Compiler. Lexing and Parsing
Undergrdute Compilers Review nd Intro to MJC Announcements Miling list is in full swing Tody Some thoughts on grd school Finish prsing Semntic nlysis Visitor pttern for bstrct syntx trees Some Thoughts
More informationIMAGE QUALITY OPTIMIZATION BASED ON WAVELET FILTER DESIGN AND WAVELET DECOMPOSITION IN JPEG2000. Do Quan and Yo-Sung Ho
IMAGE QUALITY OPTIMIZATIO BASED O WAVELET FILTER DESIG AD WAVELET DECOMPOSITIO I JPEG2000 Do Qun nd Yo-Sung Ho School of Informtion & Mechtronics Gwngju Institute of Science nd Technology (GIST) 26 Cheomdn-gwgiro
More informationAbstract. 1 Introduction /04 $20.00 (c) 2004 IEEE
rithmetic resoning in DPLL-bsed T solving Mrkus Wedler, Dominik toffel, Wolfgng Kunz Dept. of Electricl & Computer Eng., University of Kiserslutern/Germny emil: wedler@eit.uni-kl.de bstrct We propose new
More informationFrom Dependencies to Evaluation Strategies
From Dependencies to Evlution Strtegies Possile strtegies: 1 let the user define the evlution order 2 utomtic strtegy sed on the dependencies: use locl dependencies to determine which ttriutes to compute
More informationExplicit Decoupled Group Iterative Method for the Triangle Element Solution of 2D Helmholtz Equations
Interntionl Mthemticl Forum, Vol. 12, 2017, no. 16, 771-779 HIKARI Ltd, www.m-hikri.com https://doi.org/10.12988/imf.2017.7654 Explicit Decoupled Group Itertive Method for the Tringle Element Solution
More informationControl-Flow Analysis and Loop Detection
! Control-Flow Anlysis nd Loop Detection!Lst time! PRE!Tody! Control-flow nlysis! Loops! Identifying loops using domintors! Reducibility! Using loop identifiction to identify induction vribles CS553 Lecture
More informationChapter Spline Method of Interpolation More Examples Electrical Engineering
Chpter. Spline Method of Interpoltion More Exmples Electricl Engineering Exmple Thermistors re used to mesure the temperture of bodies. Thermistors re bsed on mterils chnge in resistnce with temperture.
More informationProcess-Induced Skew Variation for Scaled 2-D and 3-D ICs
Process-Induced Skew Variation for Scaled 2-D and 3-D ICs Hu Xu, Vasilis F. Pavlidis, and Giovanni De Micheli LSI-EPFL July 26, 2010 SLIP 2010, Anaheim, USA Presentation Outline 2-D and 3-D Clock Distribution
More informationIMECE IMECE
Proceedings of the ASME 2010 Interntionl Mechnicl Engineering Congress & Exposition IMECE2010 November 12-18, 2010, Vncouver, British Columbi, Cnd Proceedings of the ASME 2010 Interntionl Mechnicl Engineering
More informationA Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards
A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin
More informationL. Yaroslavsky. Fundamentals of Digital Image Processing. Course
L. Yroslvsky. Fundmentls of Digitl Imge Processing. Course 0555.330 Lecture. Imge enhncement.. Imge enhncement s n imge processing tsk. Clssifiction of imge enhncement methods Imge enhncement is processing
More informationTries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries
Tries Yufei To KAIST April 9, 2013 Y. To, April 9, 2013 Tries In this lecture, we will discuss the following exct mtching prolem on strings. Prolem Let S e set of strings, ech of which hs unique integer
More informationDigimatic Caliper. Digimatic. Linear Height
D Smll Tool Instruments Clipers Height Gges Depth Gges Digimtic Cliper Digimtic Height Gges Liner Height Depth Gges ABSOLUTE Digimtic Cliper ABSOLUTE Coolnt Proof Cliper SuperCliper ABSOLUTE Digimtic Offset
More informationCS311H: Discrete Mathematics. Graph Theory IV. A Non-planar Graph. Regions of a Planar Graph. Euler s Formula. Instructor: Işıl Dillig
CS311H: Discrete Mthemtics Grph Theory IV Instructor: Işıl Dillig Instructor: Işıl Dillig, CS311H: Discrete Mthemtics Grph Theory IV 1/25 A Non-plnr Grph Regions of Plnr Grph The plnr representtion of
More informationThe Distributed Data Access Schemes in Lambda Grid Networks
The Distributed Dt Access Schemes in Lmbd Grid Networks Ryot Usui, Hiroyuki Miygi, Yutk Arkw, Storu Okmoto, nd Noki Ymnk Grdute School of Science for Open nd Environmentl Systems, Keio University, Jpn
More informationStatistical classification of spatial relationships among mathematical symbols
2009 10th Interntionl Conference on Document Anlysis nd Recognition Sttisticl clssifiction of sptil reltionships mong mthemticl symbols Wl Aly, Seiichi Uchid Deprtment of Intelligent Systems, Kyushu University
More informationTitle. How FIFO is Your Concurrent FIFO Queue? Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer. RACES Workshop, October 2012
Title How FIFO is Your Concurrent FIFO Queue? Andres Hs, Christoph M. Kirsch, Michel Lipputz, Hnnes Pyer University of Slzurg RACES Workshop, Octoer 2012 1/17 Strict vs. Relxed FIFO Queues strict FIFO
More informationINVESTIGATION OF RESAMPLING EFFECTS ON IRS-1D PAN DATA
INVESTIGATION OF RESAMPLING EFFECTS ON IRS-D PAN DATA Smpth Kumr P.,*, Onkr Dikshit nd YVS Murthy Geo-Informtics Division, Ntionl Remote Sensing Agency, Hyderd, Indi.-(smpth_k, murthy_yvs)@nrs.gov.in Deprtment
More informationMusical modeling through graphs and orbifolds
Musicl modeling through grphs nd orbifolds Mtti G. Bergomi December 20 th, 2014 (Unimi - Ircm - UPMC) Geometry in Music Anlysis ATIAM 1 / 18 Topologicl & Geometricl models for Music Chpitre 2. Espces de
More information? Statistical model for normal network behavior and for abnormal traffic patterns. ? Comparison with majority voting scheme
Anomly Detection in IP Network Using Sttisticl Signl Processing Introduction? Why re Signl Processing Techniques effective t detecting severl network nomlies? Introducing Sttisticl Signl Processing techniques
More informationUT1553B BCRT True Dual-port Memory Interface
UTMC APPICATION NOTE UT553B BCRT True Dul-port Memory Interfce INTRODUCTION The UTMC UT553B BCRT is monolithic CMOS integrted circuit tht provides comprehensive MI-STD- 553B Bus Controller nd Remote Terminl
More informationLESSONS LEARNED FROM PSIC4: IMPROVING PSI RESULTS FOR A CONSTRAINED TEST SITE
LESSONS LEARNED FROM PSIC4: IMPROVING PSI RESULTS FOR A CONSTRAINED TEST SITE Smi Smiei Esfhny, Freek J vn Leijen, Petr Mrinkovic, Gini Ketelr, nd Rmon F Hnssen Delft Institute of Erth Oservtion nd Spce
More informationInternational Journal of Mechanical Engineering and Applications
Interntionl Journl of Mechnicl Engineering nd Applictions 203; (2) : 28-33 Published online My 30, 203 (http://www.sciencepublishinggroup.com/j/ijme) doi: 0.648/j.ijme.203002. Evlution of intensity of
More information