completepaper[mp89])considersothernon-safetyproperties,suchasaccessibilityandprecedence.

Size: px
Start display at page:

Download "completepaper[mp89])considersothernon-safetyproperties,suchasaccessibilityandprecedence."

Transcription

1 AnExerciseintheVericationof Multi-ProcessPrograms StanfordUniversityy ZoharManna WeizmannInstituteofScience:z WeizmannInstituteofSciencez AmirPnueli October,1989 and formutualexclusionthatcontainsteststhatrefertomanyshared assumptionthatthesetestsareatomic.wethenconsiderthemore gramconsistingofaxedbutunboundednumberofprocessesexecut- inganidenticalprogram.theapproachisillustratedonanalgorithm variablesatthesametime.weanalyzethealgorithmrstunderthe Wepresentanapproachtothevericationofamulti-processpro- Abstract CCR ,bytheDefenseAdvancedResearchProjectsAgencyundercontractN ThisresearchwassupportedinpartbytheNationalScienceFoundationundergrant algorithmiscorrectonlyforthelimitedimplementationinwhichthe eralsteps,eachreadingasinglesharedvariable.weshowthatthe realisticassumptionthattheyaremolecular,i.e.performedbysev- AFOSR and ,andbytheEuropeanCommunityESPRITBasicResearch Actionproject3096(SPEC). 84-C-0211,bytheUnitedStatesAirForceOceofScienticResearchundercontracts zdepartmentofappliedmathematics,weizmanninstitute,rehovot,israel ydepartmentofcomputerscience,stanforduniversity,stanford,ca94305 variablesarecheckedinascendingorderofindices. 1

2 1Introduction Manyconcurrentprogramsconsistofasetofprocessesthatexecuteanidenticalprogram(whichmayrefertotheprocessidentierasaparameter).A themorerealisticassumptionthatthesetestsaremolecular(see[pz86]), areatomic,i.e.allvariablesarecheckedinasinglestep.wethenconsider anewalgorithmformutualexclusion([szy88]).weanalyzethealgorithm suchasystem,i.e.provingcorrectnessforanynumberofprocesses. rstundertheassumptionthatteststhatrefertomanysharedvariables challengingproblemistoprovidemethodsfortheuniformvericationof showthatthealgorithmiscorrectonlyforthelimitedimplementationin i.e.performedbyseveralsteps,eachreadingasinglesharedvariable.we Wepresentanapproachforsuchuniformvericationandillustrateiton completepaper[mp89])considersothernon-safetyproperties,suchasaccessibilityandprecedence. Weexamineonlythesafetypropertyofmutualexclusion.Themore counter-exampleformoregeneralimplementationsofmoleculartests. whichthevariablesarecheckedinascendingorderofindicesandpresenta setnotationhasbeenintroducedfortheanalysisofprobabilisticalgorithms). andtriedproofmethods,suchas[lam77,mp84](seealso[pz86]wherethis adoptionofasetnotationforexpressingthecontrolstateofasystemwithan unbounded,andevendynamic,setofprocesses,withintheframeworkofold stratingtheacuteneedforformalvericationofconcurrentprograms,as Thealgorithmwehavechosentoverifyisanidealexamplefordemon- Thepapercontainsnonewtheoreticalresults.Rather,itrecommendsthe wellasthestyleandlevelofvericationthatiscurrentlypossible.werefer thereaderto[szy88]forsomeofitsimportantfeatures,suchasusingsinglewriterboundedsharedvariablesandenjoyingthepropertyoflineardelay (whichweverifyin[mp89]asaprecedenceproperty).thesefeaturesmake thisalgorithmasignicantimprovementovermostofitspredecessors. onlywaywecouldconvinceourselvesofitscorrectnesswastoconstruct theformalproofoutlinedinthispaper.szymanskipresentedaninformal proof,whichisasconvincingasinformalproofscanbe.infact,ourformal proofderivesitsmainideasfromaformalizationofhisinformalarguments. However,ifthequestionofcorrectnessiscrucial,suchashavingtodecide whethertoincludethisalgorithmasacontention-resolvingcomponentina Althoughthealgorithmappearstobequitesimpleandinnocuous,the 2

3 hardwarechip,weseenowaybuttocarryoutaformalverication. ativityanddexterityinmanipulatinglogicalformulaetocomeupwiththe Thelessencouraginglessonisthatitrequiresanon-negligibledealofcre- appropriatesetofauxiliaryassertions(andotherconstructsneededforthe proof).thisissoevenifthecorrectintuitionisgivenandallthatisrequiredistoformalizethatintuition.themoreencouraginglessonisthat, oncetheappropriateconstructshavebeenfound,therestoftheverication Wehavelearnedtwolessonsfromcarryingoutthisvericationexercise. analgorithmliketheonewestudyhereconvincedusthatforalargeand Itisnotthatwehavecomeupwithasurprisinglynewautomatictheorem prover.butinspectionofthekindsofassertionsgeneratedforaproofof process,whichrequirestheconstructionofthevericationconditions(proof interestingclassofalgorithmsalltheseassertionsbelongtoadecidableclass. obligations)andprovingtheirvalidity,cantoalargeextentbeautomated. Ourcomputationalmodelisatransitionsystem.Init,aprogramPconsists ofthefollowingcomponents. 2ProgramsandComputations V=fu0;:::;un?1g{Anitesetofstatevariables.Somevariablesrepresentdatavariables,whichareexplicitlymanipulatedbytheprogram text.othersarecontrolvariables,whichrepresent,forexample,the {Asetofstates.Eachstates2isaninterpretationofV,assigning T{Anitesetoftransitions.Eachtransition2Tisassociated locationofcontrolineachoftheprocessesinaconcurrentprogram. Eachvariableisassociatedwithadomainoverwhichitranges. toeachvariabley2vavalueoveritsdomain,whichwedenoteby sors0under.theunprimedversionreferstovaluesins;theprimed s[y]. versiontovaluesins0.forexample,theassertionx0=x+1states tobothanunprimedandaprimedversionofthestatevariables.the withanassertion(v;v0),calledthetransitionrelation,whichrefers thats0[x]isgreaterby1thans[x]. purposeofistoexpresstherelationbetweenastatesanditssucces- 3

4 wherehs;s0iisthejointinterpretationthatinterpretsx2vass[x]andx0 Wedenestates0tobea-successorofstatesif {Theprecondition.Thisisanassertioncharacterizingalltheinitial ass0[x]. states.astateisdenedtobeinitialifitsatises. quenceofstates Astatesisterminalifithasno-successorforany2T. WedeneacomputationofaprogramPtobeanyniteorinnitese- hs;s0ij=(v;v0); ConsecutionForeachj=0;1;:::,statesj+1isa-successorofstatesj, Initiality satisfying: s0isinitial,i.e.s0j=. forsome2t. :s0;s1;s2;:::; TerminationEitherisinniteoritendsinaterminalstatesk. saythatastatesisp-accessibleifitappearsinsomecomputationofp. Clearly,any-successorofaP-accessiblestateisalsoP-accessible. WedenotebyComp(P)thesetofallcomputationsofprogramP.We pholdsons,wesaythatsisap-state. andrelationsoversomeconcretedomains.werefertoaformulaintheassertionallanguageasanassertion.foranassertionpandastatessuchthacatecalculus,andinterpretedsymbolsforexpressingthestandardoperations Weassumeanunderlyingassertionallanguage,whichcontainsthepredi- 3TheProgramasaTransitionSystem Theprogramwewishtostudycanbegivenas MUTEX::flag:array[0::n?1]of0::4whereflag:=0; P[0]jjP[1]jj:::jjP[n?1]4

5 l0:loopforeverdo beginl1:noncritical EachprocessP[i]isgivenby: l3:waituntil8j:0j<n:(flag[j]<3) l2:flag[i]:=1 l8:flag[i]:=4 l4:flag[i]:=3 l9:waituntil8j:0j<i:(flag[j]<2) l5:if9j:0j<n:(flag[j]=1)then l10:critical beginl6:flag[i]:=2 l11:waituntil8j:i<j<n:(flag[j]<2_flag[j]>3) l12:flag[i]:=0 endl7:waituntil9j:0j<n:(flag[j]=4) thefollowingfourcomponents: end V{Thestatevariables,are Viewingtheprogramasatransitionsystemrequirestheidenticationof L0;:::;L12;arecontrolvariablesthatrangeoversubsetsoff0;:::;n? ofthecorrespondingprogramvariables. 1g.Atanystateofthecomputation,Lkcontainstheindicesofthe processesthatcurrentlyarereadytoexecutethestatementlabeledlk. Variablesflag[0];:::;flag[n?1]naturallyrepresentthecurrentvalues L0;:::L12;flag[0];:::;flag[n?1]: {Thepreconditionisgivenbytheassertion {Thestates,consistofallthepossibleassignmentstothestate variablesofvaluesintheirrespectivedomains. :(L0=f0;:::;n?1g)^(L1::12=)^^i=0:n?1(flag[i]=0) 5

6 Clearly,move(i;k;m)describesthemovementofcontrolwithinprocessP[i] Weintroducethefollowingabbreviationsandnotations: Thus,attheinitialstateoftheprogram,allprocessesresideatthe fromlktolm,whilestaydescribesthecasethatcontroldoesnotmovein locationl0,andflag[0];:::;flag[n?1]arezero. anyoftheprocesses.li1;i2;:::;im=li1[li2[:::[lim move(i;k;m):(l0k=lk?fig)^(l0m=lm[fig) Fi1;i2;:::;im=Fi1[Fi2[:::[Fim :Vk=0:12(L0k=Lk) Fk=fi:0i<n:flag[i]=kg Ni=jLij mentl3)asatomic:eachisperformedbyasingletransition.consequently, TheTransitions OurrstanalysisofalgorithmMUTEXtreatsalltests(e.g.theoneinstate- Li::k=Li[Li+1[:::[Lk Fi::k=Fi[Fi+1[:::[Fk wehaveforeachprocessp[i]andeachlocationlkatransitionk[i]anda fori<k correspondingtransitionrelationk[i]. remainatl1ortomovefroml1tol2. Accordingtothisformula,processP[i]maychoosenon-deterministicallyto l5;forthefullsetoftransitions,see[mp89]. Thetransitionrelationforl1isgivenby Wepresentbelowthetwotransitionscorrespondingtolocationsl1and 5[i]:(i2L5)^[(F16=)^move(i;5;6)]_[(F1=)^move(i;5;8)] Thetransitionrelationforl5isgivenby 1[i]:(i2L1)^stay_move(i;1;2) andhencef1=. thereforef16=.itmayproceedtol8ifnoprocesshasitsflagequalto1, Whenatl5,P[i]mayproceedtol6ifsomeprocessP[j]hasflag[j]=1and 6

7 AssertionpisvalidoverprogramP(alsodescribedasbeingP-valid,)written aspj=p,ifpholdsoverallthep-accessiblestates.clearly,ifpisp-valid 4InvarianceProperties itisaninvariantpropertyofp:itholdsoverallthestatesthatariseinany computationoftheprogramp. theinvarianceofanassertionpoveraprogramp,i.e.provingpj=p. N101,whichlimitsthenumberofprocessesthatcanbeconcurrently MUTEX,mutualexclusion.Thispropertycanbeexpressedbytheassertion executingatl10.thus,wehavetoprove Inthissectionwepresentasingleproofrulethatisadequateforproving Wewillillustratethisrulebyprovingthemainsafetypropertyofprogram byitsprimedversionx0. p,whichisobtainedfrompbyreplacingeachvariablex2voccurringinp properties.itusesthenotationp0torefertotheprimedversionofassertion omittheprexpj=andsimplywriteptomeanpj=p. SincemostofourreasoningisdonewithintheP-validityframework,we ThefollowingruleINVisthemainworkingtoolforestablishinginvariance MUTEXj=(N101) Example4.1ConsiderthetrivialtransitionsystemPdenedasfollows. BypremiseI1ofruleINV,pholdsinitially,andbypremiseI2itispropagated fromeachstatetoitssuccessor.hence,pisaninvariantoftheprogram. INVI1.!p Thereisonestatevariable,x.Thereisonetransition,whosetransition I2.(p^)!p0forevery2T relationis:(x0=x+2).thepreconditionis:(x=0).transition Pj=p twopremises claimingthatallthevaluesofxareeven.toprovethisproperty,weuserule INVwithp:even(x).Therulerequiresshowingthevalidityofthefollowing systemphasthesingle(innite)computationhx:0i;hx:2i;hx:4i;:::. Wewishtoproveforthisprogramtheinvariant even(x); 7

8 I1.(x=0)!(even(x)) WenowestablishinvariantsforMUTEX,whichtogetherwillyieldourdesired SimpleInvariantsformutex Clearly,thesepremisesarevalid,whichestablishestheinvarianceofeven(x). I3.(even(x))^(x0=x+2)!(even(x0)) P[i]withflag[i].TheseinvariantscanbeexpressedasrelationsbetweenFk andlrforvariousvaluesofkandr. result.first,weestablishinvariantsthatconnectforeachithelocationof InvariantsIF0,...,IF4restrictthelocationsatwhichP[i]canresidewhen atoneofl9;:::;l12.invariantil8claimsthat,,whenp[i]isatl8,flag[i]is2 flag[i]is0;:::;4.forexample,invariantif4claimsthatflag[i]is4ip[i]is IF0.F0=L0::2 IF1.F1=L3;4 IF2.F2L7;8 IF4.F4=L9::12 IL8.F2;3L8 IF3.F3L5;6;8 toestablishthemaininvariancepropertyofmutex,mutualexclusion. or3.thisistheonlylocationforwhichflag[i]isnotuniquelydetermined. ideasofmutex.hereweextractjustthemainobservation.thetortuous Havingpreparedthemachineryforprovinginvarianceproperties,weproceed ProvingMutualExclusion segmentl8::12,whichcontainsthecriticalsection,astheinnersanctum. pathaprocesshastofollowonitswayfromthenon-criticalsectionatl1 tolocationl4asthedoorway,tosegmentl5::7asthewaitingroom,andto tothecriticalsectionatl10canbebrokenintodierentsegments.werefer Wereferthereaderto[Szy88]foradetailedexplanationofthebasic C1.Wheneveraprocessentersanemptyinnersanctum,thedoorwayis Thebasicclaimsonwhichmutualexclusionisbasedarethefollowing: locked,i.e.l4=.thedoorwayremainslockeduntilthelastprocess leavestheinnersanctum.whilethispropertyisexpressedasevolution intime,itcertainlyimpliestheinvariant 8

9 whichclaimsthatifl8::12isnon-emptythenl4isempty.ifthisis indeedaninvariant,thenthenon-emptinessofl8::12shouldprevent equals3or4.thus,wemustalsohave anynewprocessescomingtol3tocrossoverintol4.theonlything thatcanpreventthemfromcrossingoverisifflag[j]ofsomeprocess A0:L8::126=!L4=; C2.Ifaprocessiisatl10::12,thenithastheleastindexofalltheprocesses Notethatwerequirethatoneoftheprocessesinl8::12hasaagvalue of3or4.thisisbecauseaagvalueof3heldbyaprocessatl5;6is statementatl6. unstableinthesensethatitmayverysoonchangeto2again,bythe A1:L8::126=!L8::12\F3;46=: C3.Ifsomeprocessisatl12,thenalltheprocessesinl5::12musthaveaag inl5::12.thisisexpressedbytheinvariant valueof4.thisisexpressedbytheinvariant A2:(k<i^i2L10::12)!k62L5::12: isolatedfromtherestoftheprocessesandletsthemcompeteontheentry tothecriticalsection.byclaimc2,onlyoneprocessatatimecanresidein regionl10::12,whichincludesthecriticalsection,theprocesswhoseindexis locked.thisleavestheprocessesinthewaitingroomandtheinnersanctum Thus,assoonasaprocessenterstheinnersanctumthedoorwaygets A3:(i2L12^k2L5::12)!k2F4: followsimmediately. whichcanbeshowntobeaninvariant,fromwhichbya2mutualexclusion exclusionismaintained. minimalamongalltheprocessesinl5::12.itfollowsfromc1{c3thatmutual Takingthefourassertionstogether,weobtaintheconjunction p0:a0^a1^a2^a3 9

10 state,variablecicontainsthesetofallindicesjthathavealreadybeen considersuchteststobemolecular.tomodelthemostgeneralformofa moleculartest,weintroduceadditionalstatevariablesc0;:::;cn?1.ineach checkedbyprocessp[i].weillustratethisbyconsideringtwotransition Theassumptionthatcompoundtestsareatomicisnotrealistic,andwenow 5TheMolecularCase relations.2[i]:i2l2^move(i;2;3)^flag0[i]=1^c0i= istoresetthealreadycheckedvariableto,preparingforthetestatl3. Thisrelationshowsthatoneoftheactionsperformedbytransition3[i] Thetransitionrelationforthemoleculartestatl3consistsofthreeoptions,representedbythreeclauses.Therstclausecoversthecasethat jcij=n,whichimpliesthatallindiceshavebeencheckedandwemayproceedfroml3tol4.thesecondclauseidentiesanindexjthatsatises twoextremes,thisallowsbothfortheimplementationinwhichciisemptied flag(j)<3andthatisnotyetinci.thisindexisaddedtoci.thelast wheneverwendabadindexj,andtheimplementationthatignoresbad clausedetectsanuncheckedindexj,whichdoesnotsatisfyflag(j)<3.here indicesandretainsciatitscurrentvalue. weallowanarbitrarychangeofciaslongasitdoesnotincrease.atthe ACounter-Example tests,aspresentedabove.unfortunately,thisisnotpossible.thefollowing counterexampleconsidersaprogramwiththreeprocessesandtracestheir Itwouldhavebeennicetoextendourprooffortheatomiccasetoaprooffor themolecularcase,allowingthemostgeneralimplementationsofmolecular [j62ci^flag(j)<3^stay^c0i=ci[fjg] [j62ci^flag(j)3^stay^c0ici] _ 1CA 10

11 someintermediatestatesthatoccurinthecomputationuntiltheviolating P[2],andflag[2].Notethat,whileatl3,processP[0]checkstheindices locationofp[0],flag[0],c0,thelocationofp[1],flag[1],thelocationof stateisreached.foreachpresentedstatewelist,fromlefttoright,the generalprogressuntiltheyreachastateinwhichp[0]andp[2]executetheir 2;1;0indescendingorder. respectivecriticalsectionsatthesametime,violatingmutualexclusion. Theoendingcomputationispresentedinthefollowingtable,whichlists 02flag[0]C012flag[1]22flag[2] L00 L2 fgl00l00 L31L31 L31 L11 L4 L53 L94 L53 L72 L4 f2g L12 L00 L94 L10 L4 L94 f2;1;0g f2;1g L10 6RestrictedImplementationofMolecular Theremedytotheproblemencounteredaboveistorestricttheimplementationofmoleculartests.Inparticular,weshouldnotallowtheselectionof Tests 11

12 thenextindextobecheckedtobecompletelyarbitrary. intheinnersanctum.itisessentialtoensurethatwhenp[r]departsfrom departfromtheinnersanctumatl12.assumethatp[r]isnotthelastprocess processp[r],whichiscurrentlyintheinnersanctumwithflag[r]=4.this l3attemptingtoproceedtol4.assumealsothatitisblockedatl3by meansthatthatindexj=rhasnotbeencheckedyetbyp[k],andwillnot besuccessfullycheckedaslongasflag[r]=4.eventually,p[r]willwantto Consideratypicalsituation,inwhichsomeprocessP[k]iscurrentlyat theirflagequalto4,andasobservedbefore,musthaveanindexhigher todepart,thenalltheprocessesremainingintheinnersanctummusthave thanr.itfollowsthat,ifwetakecarethatp[k]atl3examinestheindicesin ascendingorder,thenifp[k]isblockedbyrithasnotsuccessfullychecked theinnersanctum,anotherprocessintheinnersanctumwillcontinueto blockp[k].accordingtoclaimc2,processesdepartfromtheinnersanctum inorderofincreasingindices.accordingtoc3,ifp[r]isnotthelastprocess continuingtoblockk. anyindexhigherthanr.consequently,whenrdepartsandleavesbehind someotherprocess,withindext>r,tcanserveasareplacementforr, teststoexaminesflag[j]inorderofincreasingj.todoso,wereplacestate variablesc0;:::;cn?1,bythesimplerintegervariablesj0;:::;jn?1.ineach state,jicontainstheleastvalueofjthathasnotyetbeensuccessfullytested byp[i].thetwotransitionrelationsbelowillustratehowthevariablesare manipulatedbythemoleculartests. Motivatedbythisargument,werestricttheimplementationofmolecular Thisrelationshowsthatonmovingtol3,thetransition3[i]resetsjito0. 2[i]:i2L2^move(i;2;3)^flag0[i]=1^j0i=0 Asbefore,thisrelationconsistsofthreeclauses,correspondingto:completion ofthetest,advancementwhendetectingagoodnextindex,andretreatwhen [ji<n^flag(ji)<3^stay^j0i=ji+1] [ji<n^flag(ji3^stay^j0iji]1ca _ 12

13 Itishelpfultoderivetheassertionsforthemolecularcaseasrenmentsofthe detectingabadnextindex.again,theretreatisgeneralenoughtoallow ReprovingMutualExclusion bothrestartingfromji=0andkeepingjiatitscurrentvalue. assertionsfortheatomiccase.consideranyregionofconsecutivelocations thatifk<iandibelongstol10::12,thenkcannotbeinl5::12.inthe acompoundtest.forexample,l10::12issucharegion.assertiona2states because,bythesimpleinvariantsconnectingagvaluestolocations,that P[i]cannotpasstheatomictestatl9ifk<iisanywhereatl5::12.Thisis thatismentionedinoneoftheassertionsa0;:::;a3andthatisprecededby wouldhaveimpliedflag[k]2. mayresideatl9forseveralsteps,checkingthevaluesofflag[ji]formany valuesofji.theimportantquestionconcerningkiswhetherp[i]hasalready atomiccase,oneoftheconsiderationsusedinprovingthisassertionsisthat testedthevalueofflag[k].thiscanbeobservedbycheckingwhetherji>k. Ifso,thenflag[k]hasalreadybeentestedandfoundsatisfactory,i.e.less than2. Inthemolecularcase,thetestatl9isnotpassedinonestep.ProcessP[i] A0;A2;andA3,weobtainthefollowingassertions: replacethesimpleregionreferencei2l10::12bytheextendedreference i2l10::12_(i2l9^ji>k).byapplyingsuchrangeextensionstoassertions B0:(i2L5^ji>k)!:hk2L4_(k2L3^jk>i)i Consequently,toadaptassertionA2tothemolecularcase,weshould B1:i2L8::12!9r:(r2L8::12\F3;4)::hk2L4_(k2L3^jk>r)i ThebasicideaistoshowforanykthatifP[i]isatl8::12orl5withji>k, i.e.havingalreadycheckedflag[k],thenp[k]cannotbeatl4,andifitisat B3:h(i2L12_(i2L11^ji>k))^(k2L5::12)i!k2F4 B2:h(k<i)^(i2L10::12_i2L9^ji>k)i!k62L5::12 AssertionsB0andB1reneassertionsA0andA1tothemolecularcase. 13

14 l3,thenit'sjkvalueisbelowsomerthatblocksitfromproceedingintol4, byhavingflag[r]>2.ifp[i]isatl5,wecantakertobeiitself.ifp[i]is atl8::12,wecanonlyclaimtheexistenceofsomeblockingr,suchthatp[r] isalsoatl8::12andflag[r]>2. andclaimthatitisaninvariantofmutex.itisbeyondthescopeofthis papertoconsiderallthetransitionsandshowthateachpreserves'.we will,however,considersomeofthemoreinterestingcases. Weformnowtheconjunction tionofp[i]isonethatmovesfroml5tol8.however,duetob0,theright ConsiderwhattransitionsmayaecttheassertionB1.Acriticaltransi- ':B0^B1^B2^B3 jkbeyondr.however,duetoflag[r]>2,suchatransitionisdisabled. handsideoftheimplicationofb1willholdafterthetransitionwithr=i andflag[i]=3.acriticaltransitionofkwouldhavebeenonethatincreases Therefore,ifjkritisalsot.DuetoB3,flag[t]equals4.Consequently, risnotthelast,thereisanotherprocess,sayp[t],inl8::12.then,dueto afterthetransition,b1stillholdsifweusetasasubstituteforr.for afterthetransitionl8::12willbecomeempty,causingb1toholdtrivially.if itsagto0.therearetwopossibilities.ifristhelastprocessinl8::12,then B2,whichstatesthatristheminimalprocessinl8::12,rissmallerthant. Lastly,weconsiderthetransitionofP[r]froml12tol0,whileresetting thisargumenttoholditisessentialthattheindicesjinl3arescannedin Wegratefullyacknowledgetheencouragementandeditorialhelpextendedby increasingorder. Acknowledgement References [Lam77]L.Lamport.Provingthecorrectnessofmultiprocessprograms. DavidGries,whichgreatlyimprovedthestyleandreadabilityofthepaper. IEEETrans.SoftwareEngin.,3:125{143,

15 [MP84]Z.MannaandA.Pnueli.Adequateproofprinciplesforinvariance [PZ86]A.PnueliandL.Zuck.Vericationofmultiprocessprobabilistic [MP89]Z.MannaandA.Pnueli.Toolsforthepracticingverier.Technical andlivenesspropertiesofconcurrentprograms.sci.comp.prog., 32:257{289,1984. [Szy88]B.K.Szymanski.AsimplesolutiontoLamport'sconcurrentprogrammingproblemwithlinearwait.InProc.1988International ConferenceonSupercomputingSystems,pages621{626,St.Malo, France,July1988. report,dept.ofcomputerscience,stanforduniversity,1989. protocols.distributedcomputing,1(1):53{72,

CmSc 175 Discrete Mathematics Lesson 10: SETS A B, A B

CmSc 175 Discrete Mathematics Lesson 10: SETS A B, A B CmSc 175 Discrete Mathematics Lesson 10: SETS Sets: finite, infinite, : empty set, U : universal set Describing a set: Enumeration = {a, b, c} Predicates = {x P(x)} Recursive definition, e.g. sequences

More information

!!! Luxury!Institute s!21 st!century!career!advice!you!can t!afford!to!ignore:! An!Open!Letter!to!Luxury!Retail!Sales!Associates!!!

!!! Luxury!Institute s!21 st!century!career!advice!you!can t!afford!to!ignore:! An!Open!Letter!to!Luxury!Retail!Sales!Associates!!! LuxuryInstitute s21 st CenturyCareerAdviceYouCan taffordtoignore: AnOpenLettertoLuxuryRetailSalesAssociates ByMiltonPedraza,CEOoftheLuxuryInstitute,LLC (NewYork)April6,2016 InastalledU.S.economywheretheaverageyoung

More information

UNIVERSITY OF WARWICK. Academic Quality and Standards Committee

UNIVERSITY OF WARWICK. Academic Quality and Standards Committee UNIVERSITY OF WARWICK Academic Quality and Standards Committee There will be a meeting of the Academic Quality and Standards Committee on Monday 7 July 2003 at 2.00pm in the Council Chamber, Senate House.

More information

MDM User Guide June 2012

MDM User Guide June 2012 June 2012 Sy mantec Corporation, 2012 Page 1 Purpose of Document This document provides a guide for users of App Center to set up and use Mobile Device Management (MDM) capabilities. MDM allows the App

More information

360 DEGREE. Leading. A unit of Eclipse TechnoSolution. Services in the realm of Web Development, Mobile Apps Development & Digital Marketing

360 DEGREE. Leading. A unit of Eclipse TechnoSolution. Services in the realm of Web Development, Mobile Apps Development & Digital Marketing A unit of Eclipse TechnoSolution Leading 360 DEGREE UNITED E G IST RAR OF STEM TECHNOLOGY OUTSOURCING CONSULTING SY R Services in the realm of Web Development, Mobile Apps Development & Digital Marketing

More information

Could you foster a Shropshire child? Children and Young People s Services

Could you foster a Shropshire child? Children and Young People s Services Could you foster a Shropshire child? Children and Young People s Services So what is fostering?... A foster carer offers love, support and a secure home to children who, for whatever reason, cannot live

More information

Lessons Learned at Continental Automotive

Lessons Learned at Continental Automotive Lessons Learned at Continental Automotive Basic Principle of Lessons Learned Lessons Learned is people reusing experiences of colleagues. What is Lessons Learned? A Lesson Learned IS Knowledge or understanding

More information

Given: ABCD is a rhombus. Prove: ABCD is a parallelogram.

Given: ABCD is a rhombus. Prove: ABCD is a parallelogram. Given: is a rhombus. Prove: is a parallelogram. 1. &. 1. Property of a rhombus. 2.. 2. Reflexive axiom. 3.. 3. SSS. + o ( + ) =180 4.. 4. Interior angle sum for a triangle. 5.. 5. PT + o ( + ) =180 6..

More information

1. point, line, and plane 2a. always 2b. always 2c. sometimes 2d. always 3. 1 4. 3 5. 1 6. 1 7a. True 7b. True 7c. True 7d. True 7e. True 8.

1. point, line, and plane 2a. always 2b. always 2c. sometimes 2d. always 3. 1 4. 3 5. 1 6. 1 7a. True 7b. True 7c. True 7d. True 7e. True 8. 1. point, line, and plane 2a. always 2b. always 2c. sometimes 2d. always 3. 1 4. 3 5. 1 6. 1 7a. True 7b. True 7c. True 7d. True 7e. True 8. 3 and 13 9. a 4, c 26 10. 8 11. 20 12. 130 13 12 14. 10 15.

More information

Frederikshavn kommunale skolevæsen

Frederikshavn kommunale skolevæsen Frederikshavn kommunale skolevæsen Skoleåret 1969-70 V e d K: Hillers-Andersen k. s k o l e d i r e k t ø r o g Aage Christensen f u l d m æ g t i g ( Fr e d e rik sh av n E k sp r e s- T ry k k e rie

More information

(12) Umted States Patent (10) Patent N0.: US 7,861,013 B2 Hunkins et a]. (45) Date of Patent: Dec. 28, 2010

(12) Umted States Patent (10) Patent N0.: US 7,861,013 B2 Hunkins et a]. (45) Date of Patent: Dec. 28, 2010 US007861013B2 (12) Umted States Patent (10) Patent N0.: US 7,861,013 B2 Hunkins et a]. (45) Date of Patent: Dec. 28, 2010 (54) DSPLAY SYSTEM WTH FRAME REUSE 6,884,116 B2 4/2005 Suzuki et a1. USNG DVDED

More information

Continuity. DEFINITION 1: A function f is continuous at a number a if. lim

Continuity. DEFINITION 1: A function f is continuous at a number a if. lim Continuity DEFINITION : A function f is continuous at a number a if f(x) = f(a) REMARK: It follows from the definition that f is continuous at a if and only if. f(a) is defined. 2. f(x) and +f(x) exist.

More information

MANGIS MOTOR SERVICE CO.

MANGIS MOTOR SERVICE CO. INVENTORY- BORGWARNER FROM Jobber Price Sheet 7/1/2001 INVENTORY DATE 7/5/02 GRAND TOTAL ENTIRE LINE $ 11,534.38 PART NUMBER BRAND POP CODE QUANTITY JOBB EA JOBB TOTAL CARB KITS + COMPONENTS PRICE SHEET

More information

A guide to your reviewable protection plan

A guide to your reviewable protection plan A guide to your reviewable protection plan A guide to your reviewable protection plan We ve written this guide to help explain how your reviewable protection plan works. We ll also explain why it is important

More information

FAMILY GUIDE To Financial Aid

FAMILY GUIDE To Financial Aid FAMILY GUIDE To Financial Aid Making an independent education a reality. You ve made the decision to invest in an independent education for your child. Paying for an independent education can be expensive.

More information

Security+ P a g e 1 of 5. 5-Day Instructor Led Course

Security+ P a g e 1 of 5. 5-Day Instructor Led Course P a g e 1 of 5 Security+ 5-Day Instructor Led Course Overview This course is the primary course you will need to take if your job responsibilities include securing network services, devices, and traffic

More information

Gauging the Sun: Comparative photometric and magnetic activity measurements of sunlike stars, 1984-2001

Gauging the Sun: Comparative photometric and magnetic activity measurements of sunlike stars, 1984-2001 Gauging the Sun: Comparative photometric and magnetic activity measurements of sunlike stars, 1984-2001 G. W. Lockwood, J. C. Hall, & B. A. Skiff (Lowell Obs.) G. W. Henry (Tennessee State University)

More information

Math. Analyzing Lines, Rays, Segments and Angles. Answers B C D E F. Name: Use the graphic to the right to find the following (if possible):

Math. Analyzing Lines, Rays, Segments and Angles. Answers B C D E F. Name: Use the graphic to the right to find the following (if possible): nalyzing Lines, Rays, Segments and ngles nswers 1) Line,, 2) Ray,,,,,,, 1. 2. 3) Segment,,,,, 4) Parallel Lines ( & ) 5) Perpendicular Lines ( & ),( & ) 6) Intersecting Lines ( & ),( & ) F 3. 4. ( & )

More information

section five color palette contents introduction...50 primary color palette...51 secondary color palette...52 examples of color usage...

section five color palette contents introduction...50 primary color palette...51 secondary color palette...52 examples of color usage... section five 49 contents introduction...50 primary...51 secondary...52 examples of color usage...53 introduction The UCSF was carefully developed to give a cohesive, identifi able look and feel to everything

More information

Creating Contrast Variables

Creating Contrast Variables Chapter 112 Creating Contrast Variables Introduction The Contrast Variable tool in NCSS can be used to create contrasts and/or binary variables for use in various analyses. This chapter will provide information

More information

6.1 Ratios, Proportions, and the Geometric Mean

6.1 Ratios, Proportions, and the Geometric Mean 6.1 Ratios, Proportions, and the Geometric Mean Obj.: Solve problems by writing and solving proportions. Key Vocabulary Ratio - If a and b are two numbers or quantities and b 0, then the ratio of a to

More information

Module 2: Database Architecture

Module 2: Database Architecture Module 2: Database Architecture Overview Schema and Data Structure (Objects) Storage Architecture Data Blocks, Extents, and Segments Storage Allocation Managing Extents and Pages Tablespaces and Datafiles

More information

A Quick Guide to Colleges. Offering Engineering Degrees

A Quick Guide to Colleges. Offering Engineering Degrees Qk gs ffg gg Dgs Fby 2007 www.dgs.g Qk gs ffg gg Dgs Ts qk f g ps sy sg (by s) f U.S. gs ss ffg b s (4-y) gs gg 363 ss, spg 50 ss ps Ds f b R. Ts sy s s gg g pgs by f gg Tgy (T, gz f g sy pgs pp s, pg,

More information

NAME OF PROJECT UNIVERSITY OF PUNE

NAME OF PROJECT UNIVERSITY OF PUNE A PROJECT REPORT ON NAME OF PROJECT Submitted to UNIVERSITY OF PUNE In Partial Fulfilment of the Requirement for the Award of BACHELOR S DEGREE IN COMPUTER ENGINEERING BY GROUP MEMBER A GROUP MEMBER B

More information

Software Testing & Verification 2013/2014 Universiteit Utrecht

Software Testing & Verification 2013/2014 Universiteit Utrecht Software Testing & Verification 2013/2014 Universiteit Utrecht 2nd Jul. 2014, 13:30-16:30, BBL 001 Lecturer: Wishnu Prasetya You are allowed to bring along the Appendix of the LN. Part I [3pt (6 0.5)]

More information

Chapter 5.1 and 5.2 Triangles

Chapter 5.1 and 5.2 Triangles Chapter 5.1 and 5.2 Triangles Students will classify triangles. Students will define and use the Angle Sum Theorem. A triangle is formed when three non-collinear points are connected by segments. Each

More information

Simplifying SAP Data Governance & Implications for Mass Data Management

Simplifying SAP Data Governance & Implications for Mass Data Management Simplifying SAP Data Governance & Implications for Mass Data Management Claude Viman, Enterprise Data Management, Johnson & Johnson New Orleans October 25-26, 2010 What We ll Cover Johnson & Johnson Company

More information

HCAD APPLICATION STEPS

HCAD APPLICATION STEPS HCAD APPLICATION STEPS Application deadline 3-6-15 1. College of Business application 2. HCAD Application for Admission form 3. Camps 4. Planner 5. Degree Audit 6. Essay 7. Application submission Step

More information

Integrated Climate Data Center How to use our data center? Integrated Climate Data Center - Remon Sadikni - remon.sadikni@zmaw.de

Integrated Climate Data Center How to use our data center? Integrated Climate Data Center - Remon Sadikni - remon.sadikni@zmaw.de Integrated Climate Data Center How to use our data center? Contents Which Data Formats do we offer? Which Tools do we provide? What is the Structure of our data center? Data Formats Data Formats ASCII

More information

University of Pune Second Year Engineering (Backlog) Online Exam

University of Pune Second Year Engineering (Backlog) Online Exam Second Year Engineering (Backlog) Online Ex Date: 11-06-2014 Subject: SE -Manufacuring Processes I Place Seat Ex Venue Ex 1 9.30 S120200819 Total=1 10.00 Subject: SE -Thermodynics Place Seat Ex Venue Ex

More information

To check the version of your firmware, press the menu button on your BlackBerry then, select Options:

To check the version of your firmware, press the menu button on your BlackBerry then, select Options: Wireless network instructions Note: This guide is for use with a BlackBerry 9000 mobile device and BlackBerry Desktop Software version 6.1.0.35. Other BlackBerry devices and software may function in a

More information

116 TARGA TRACKS RALLY - Sponsored by North Wales Honda 116 Car Club - 10th July 2016 TEST PENALTIES

116 TARGA TRACKS RALLY - Sponsored by North Wales Honda 116 Car Club - 10th July 2016 TEST PENALTIES Test 1 - Glan-y-Gors Test 2 - Wind Farm Test 3 - Crossley's Ford 1 NA 6:00 1 NA s 6:00 1 NA 5:00 2 3:40 3:40 2 3:55 a 4:25 2 2:57 ac 3:37 3 2:39 2:39 3 3:20 3:20 3 2:58 c 3:08 4 2:31 2:31 4 3:32 3:32 4

More information

Respondus 3.5 for Blackboard

Respondus 3.5 for Blackboard Respondus 3.5 for Blackboard Agenda 1. Introduction to Respondus, its uses & how to get it 2. Overview of quiz features 3. How to create a new quiz & upload it into your Blackboard course How to Get Respondus

More information

Summary Statement. Curriculum Summary. Total. University of Virginia BPHM

Summary Statement. Curriculum Summary. Total. University of Virginia BPHM Transferring an, 1 to Bachelor of Professional Studies in Health Science Management, Summary Statement A student with an from can transfer into the Bachelor of Professional Studies in Health Sciences Management

More information

Computing Liquidity Ratios Current Ratio = CA / CL 708 / 540 = 1.31 times Quick Ratio = (CA Inventory) / CL (708 422) / 540 =.53 times Cash Ratio =

Computing Liquidity Ratios Current Ratio = CA / CL 708 / 540 = 1.31 times Quick Ratio = (CA Inventory) / CL (708 422) / 540 =.53 times Cash Ratio = 1 Computing Liquidity Ratios Current Ratio = CA / CL 708 / 540 = 1.31 times Quick Ratio = (CA Inventory) / CL (708 422) / 540 =.53 times Cash Ratio = Cash / CL 98 / 540 =.18 times 2 Computing Leverage

More information

Switching to Exchange Bank

Switching to Exchange Bank Exchange Bank is ready to help you make your banking transition in just 5 easy steps... Step 1 Open an Exchange Bank checking account. We have many checking account options to fit your needs. Talk to a

More information

Controllo Operativo. Document Management Software d-files10 d-files25 d-files50 d-files75 d-files100. Initial Kit d-files25

Controllo Operativo. Document Management Software d-files10 d-files25 d-files50 d-files75 d-files100. Initial Kit d-files25 Controllo Operativo PROGETTO di GESTIONE Document Management Software d-files10 d-files25 d-files50 d-files75 d-files100 Initial Kit d-files25 CHECKED by: V. PARISI APPROVED by: G. PALMIERI TEL 522567

More information

QUESTION: 1 Which of the following are valid authentication user group types on a FortiGate unit? (Select all that apply.)

QUESTION: 1 Which of the following are valid authentication user group types on a FortiGate unit? (Select all that apply.) 1 Fortinet - FCNSA Fortinet Certified Network Security Administrator QUESTION: 1 Which of the following are valid authentication user group types on a FortiGate unit? (Select all that apply.) A. Firewall

More information

Sleeve Yokes / Kayıcı Çatallar

Sleeve Yokes / Kayıcı Çatallar Sleeve Yokes / Kayıcı Çatallar 19,00 126,00 49,70 Spline / Kanal SE 1 1/16 x 16 ngle / çı 25 0 Serie 0400 MS NO SY 01 23,80 149,00 64,20 Spline / Kanal SE 1 x 10 ngle / çı 20 0 Serie 1140 MS NO SY 02 23,80

More information

OpenPro Application Guide Executive Desktop or Business Intelligence

OpenPro Application Guide Executive Desktop or Business Intelligence OpenPro Application Guide Executive Desktop or Business Intelligence 10061 Talbert Ave Suite 200 Fountain Valley, CA 92708 Telephone 714-378-4600 Fax 714-964-1491 www.openpro.com infoop@openpro.com Last

More information

Name: Chapter 4 Guided Notes: Congruent Triangles. Chapter Start Date: Chapter End Date: Test Day/Date: Geometry Fall Semester

Name: Chapter 4 Guided Notes: Congruent Triangles. Chapter Start Date: Chapter End Date: Test Day/Date: Geometry Fall Semester Name: Chapter 4 Guided Notes: Congruent Triangles Chapter Start Date: Chapter End Date: Test Day/Date: Geometry Fall Semester CH. 4 Guided Notes, page 2 4.1 Apply Triangle Sum Properties triangle polygon

More information

Guide to Sage One. for accounting professionals

Guide to Sage One. for accounting professionals 123 Guide to Sage One for accounting professionals Sage One is an online accounting solution that helps accountants and bookkeepers work with their small business and entrepreneurial clients. You can view

More information

Dimensional Analysis Money Conversions

Dimensional Analysis Money Conversions Dimensional Analysis Money Conversions Today you ll learn how to use dimensional analysis to convert money. By the end of the lesson, you will: Use dimensional analysis: To convert U.S. dollars to money

More information

High School Cheerleader Again Cast/3 Episodes CMT Network/Triage Productions. *Midwest Beauty Show (2x) Schwarzkopft & Goldwell Chicago, IL

High School Cheerleader Again Cast/3 Episodes CMT Network/Triage Productions. *Midwest Beauty Show (2x) Schwarzkopft & Goldwell Chicago, IL Height:5'3Hair:BlondeWeight:125lbs.Eyes:Blue Stats:34C 26 36 TELEVISION IWantToLookLikeA HighSchoolCheerleaderAgainCast/3EpisodesCMTNetwork/TriageProductions TRADESHOWS/CONVENTIONS (*Indicatesmanagementofspecificevent)

More information

Switch to a true community bank CORNERSTONE COMMUNITY BANK. EZswitch, IT S AS EASY AS... 1, 2, 3!

Switch to a true community bank CORNERSTONE COMMUNITY BANK. EZswitch, IT S AS EASY AS... 1, 2, 3! Switch to a true community bank CORNERSTONE COMMUNITY BANK EZswitch, IT S AS EASY AS... 1, 2, 3! Here s how: 1. Complete the New Account Application and other applicable information sheets. (Don t want

More information

Global Combat Support System-Army (GCSS-Army) Establishing a GCSS-Army Lessons Learned program

Global Combat Support System-Army (GCSS-Army) Establishing a GCSS-Army Lessons Learned program Global Combat Support System-Army (GCSS-Army) Establishing a GCSS-Army Lessons Learned program Darrell Page / Billy McCain PMO, Global Combat Support System-Army 25 OCT 2013 Agenda Purpose Definition Culture

More information

John Jordan. Production Variance Analysis in SAP. Controlling. Bonn Boston

John Jordan. Production Variance Analysis in SAP. Controlling. Bonn Boston John Jordan Production Variance Analysis in SAP Controlling Bonn Boston Contents at a Glance 1 Initial Planning... 23 2 Cost Estimates... 45 3 Actual Postings... 97 4 Period-End Processing... 111 5 Scrap

More information

Apprenticeships in Administration Job Opportunities

Apprenticeships in Administration Job Opportunities GTA15/05 Adwick-Le-Street, Doncaster, South Yorkshire, DN6 7AY A South Yorkshire based, family run business is looking for an Apprentice Administration Assistant to join their busy office. making and receiving

More information

EXAMINATION TIMETABLES

EXAMINATION TIMETABLES EXAMINATION TIMETABLES 2015-2016 GCE 0 Contents General Certificate of Education (GCE) 1 General Certificate of Secondary Education (GCSE) 8 Entry Level Certificate 18 Functional Skills 19 Level 1 / 2

More information

FAMILY GUIDE To Financial Aid

FAMILY GUIDE To Financial Aid FAMILY GUIDE To Financial Aid Making an independent education a reality. You ve made the decision to invest in an independent education for your child. Paying for an independent education can be expensive.

More information

California 25th Congressional District Survey Results

California 25th Congressional District Survey Results California 25th Congressional District Survey Results Q1 Q2 Q3 Q4 Q5 Do you approve or disapprove of the job Representative is doing in Congress? Approve...38% Disapprove...43%...20% If the election for

More information

B I G B E A R L A K E. TBID Marketing Plan. PO Box 1926 Big Bear Lake, CA 92315 Phone: 909-866-6190 Fax: 909-866-8034 Web: www.bigbear.

B I G B E A R L A K E. TBID Marketing Plan. PO Box 1926 Big Bear Lake, CA 92315 Phone: 909-866-6190 Fax: 909-866-8034 Web: www.bigbear. B I G B E A R L A K E TBID Marketing Plan PO Box 1926 Big Bear Lake, CA 92315 Phone: 909-866-6190 Fax: 909-866-8034 Web: www.bigbear.com M a r k e t i n g P l a n 2 Business Overview B i g B e a r V i

More information

Software-as-a-Service (SaaS) Solutions from CA Technologies Frequently asked questions

Software-as-a-Service (SaaS) Solutions from CA Technologies Frequently asked questions FAQ Edition / April 30, 2014 Software-as-a-Service (SaaS) Solutions from CA Technologies Frequently asked questions FAQ Edition April 2014 Informational Guidelines Table of Contents EXECUTIVE SUMMARY...

More information

Saving 100 saving for goals

Saving 100 saving for goals Saving 100 saving for goals It does not matter how slowly you go so long as you do not stop. Confucius Saving 100 1 Since your savings can grow substantially over time, now is the perfect time to get started.

More information

California 31st Congressional District Survey Results

California 31st Congressional District Survey Results California 31st Congressional District Survey Results Q1 Q2 Q3 Q4 Q5 Do you approve or disapprove of the job Representative is doing in Congress? Approve...27% Disapprove...38%...35% If the election for

More information

A Guide to Processing Orders with Spree Commerce

A Guide to Processing Orders with Spree Commerce A Guide to Processing Orders with Spree Commerce How a typical retail store uses Spree to process orders (and what to do if you re not typical ). 2014 Resolve Digital LLC San Francisco, CA and Christchurch,

More information

Sarah J Stevenson, PhD

Sarah J Stevenson, PhD S. Stevenson CV 1 Sarah J Stevenson, PhD Manhattan, KS 66502 Email sasteven@ksu.edu Revised: March 2015 EDUCATION Texas Tech University 2007 2011. PhD. in Educational Psychology. Dissertation: Elliot s

More information

CREATING A GREAT CUSTOMER EXPERIENCE - SALES

CREATING A GREAT CUSTOMER EXPERIENCE - SALES CREATING A GREAT CUSTOMER EXPERIENCE - SALES Gabe Davis Sales Operations Manager, Sunrun Tuesday, February 17, 2015 San Diego, CA COURSE AGENDA Introductions Why does Customer Experience matter? How do

More information

ALIGARH MUSLIM UNIVERSITY

ALIGARH MUSLIM UNIVERSITY Page 1 /20 List of candidates provisionally called for reporting under Nomination (Admission will be offered through counselling vis-a-vis the availability of seats in the Nominated ) BC 6843031 CA040$

More information

MAXIMUS Telephone Enrollment- Phase I Call Center Script

MAXIMUS Telephone Enrollment- Phase I Call Center Script Hello, is (First Name) there? (Full Name)? Hi, Mr./Ms. (Last Name). This is (Representative Name) calling from California Health Care Options. I m calling about your Medi-Cal benefits. Did you get the

More information

Triangles can be classified by angles and sides. Write a good definition of each term and provide a sketch: Classify triangles by angles:

Triangles can be classified by angles and sides. Write a good definition of each term and provide a sketch: Classify triangles by angles: Chapter 4: Congruent Triangles A. 4-1 Classifying Triangles Identify and classify triangles by angles. Identify and classify triangles by sides. Triangles appear often in construction. Roofs sit atop a

More information

Student Support Services

Student Support Services Student Support Services Fall 0 Activities Services include: FREE Academic Career Counseling Transfer Assistance Cultural Enrichment Financial Aid Assistance s Please see the attached Student Support Services

More information

Helping Schools Help Families. Family Guide to Financial Aid

Helping Schools Help Families. Family Guide to Financial Aid Helping Schools Help Families Family Guide to Financial Aid You ve made the decision to invest in an independent education for your child. Paying for an independent education can be expensive. But did

More information

Electric Rates for residential and farm customers

Electric Rates for residential and farm customers Electric Rates for residential and farm customers January 2014 The electric service rates listed in this brochure reflect the rates effective Jan. 1, 2014, as authorized by the Public Service Commission

More information

Chicago Stock Exchange, Inc. Market Regulation Department Information Memorandum

Chicago Stock Exchange, Inc. Market Regulation Department Information Memorandum November 22, 2013 MR-13-10 Chicago Stock Exchange, Inc. Market Regulation Department Information Memorandum RE: Match Trade Prevention Order Modifier Available for Use on CHX On December 2, 2013, the Chicago

More information

Substance and Chemical Structure Searching in CAS REGISTRY SM and DCR on new STN

Substance and Chemical Structure Searching in CAS REGISTRY SM and DCR on new STN Substance and Chemical Structure Searching in CAS REGISTRY SM and DCR on new STN Agenda Settings and Cross File Search operators Substance search fields in CAS REGISTRY SM Structure examples DCR/DWPI substance

More information

Stephanie!Kirk!!!!!!!!!!skirk@wustl.edu!

Stephanie!Kirk!!!!!!!!!!skirk@wustl.edu! 1 StephanieKirk skirk@wustl.edu Dept.ofRomanceLanguagesandLiteratures WashingtonUniversityinSt.Louis CampusBox1077, OneBrookingsDrive, St.Louis,MO63130 Tel:314"935"8221 EDUCATION NewYorkUniversity Ph.D.,SpanishandPortuguese,May2003(Grantedwithdistinction).

More information

Making an independent education a reality.

Making an independent education a reality. Family Guide to Financial Aid Making an independent education a reality. You ve made the decision to invest in an independent education for your child. Paying for an independent education can be expensive.

More information

Ermeto Original Weld fittings

Ermeto Original Weld fittings Ermeto Original Weld fittings Visual index Tube to weld Weld fitting AS WAS p. L p. L4 Weld bulkhead ASK p. L5 Weld nipple ESV p. L6 Reducing weld nipple SKA SKA-ORB p. L7 p. L0 Tube bend weld nipple SKAR

More information

Security server configuration

Security server configuration csc Security server configuration Security server 5.0x. Version 0.3 pmuhonen 4/15/2014 Date Version Description 10.3.2014 0.1 Initial version 24.3.2014 0.2 - changed LY-tunnus to Y-tunnus - Section 10

More information

Retrieving Precise Substances Using Element Counts with Generic Groups in CAS REGISTRY SM

Retrieving Precise Substances Using Element Counts with Generic Groups in CAS REGISTRY SM Retrieving Precise Substances Using Element Counts with Generic Groups in CAS REGISTRY SM Science IP, The CAS Search Service. CAS REGISTRY, the gold standard for chemical information, contains more than

More information

Using the CA Unicenter Service Desk User Name: Your full MDECA Email Address (For example: otoski@mdeca.org)

Using the CA Unicenter Service Desk User Name: Your full MDECA Email Address (For example: otoski@mdeca.org) Using the CA Unicenter Service Desk User Name: Your full MDECA Email Address (For example: otoski@mdeca.org) Password: mdeca, or a blank space, or mdeca#help1 (If none of the above passwords work then

More information

Sheet Set Manager: Create a List of Sheets Instantly

Sheet Set Manager: Create a List of Sheets Instantly Best Practices Series Part 2 Sheet Set Manager: Create a List of Sheets Instantly Heidi Hewett, Autodesk, Inc. Most sets of drawings include a cover sheet or title sheet that has a list of all the sheets

More information

Request Submission Confirmation Email

Request Submission Confirmation Email Request Submission Confirmation Email Email Subject: [Request Title] Request Confirmation Request Confirmation Thank you for your request. We ll send a confirmation once your request has been reviewed

More information

Most popular response to

Most popular response to Class #33 Most popular response to What did the students want to prove? The angle bisectors of a square meet at a point. A square is a convex quadrilateral in which all sides are congruent and all angles

More information

Financial Aid Application

Financial Aid Application Financial Aid Application Information for Families Applying for Aid for the 2015-16 School Year Thank you for your interest in Providence High School for the 2015-16 school year. To be considered for financial

More information

Learning Module 3 Journal Entries

Learning Module 3 Journal Entries Learning Module 3 Journal Entries The Accounting Equation Balance Sheet Income Statement = + + - Assets Liabilities Owners' Equity Revenue Expenses Dr. Cr. Dr. Cr. Dr. Cr. Dr. Cr. Dr. Cr. Recording journal

More information

Logical Operations CyberSec First Responder: Threat Detection and Response (CFR) Exam CFR-110

Logical Operations CyberSec First Responder: Threat Detection and Response (CFR) Exam CFR-110 Logical Operations CyberSec First Responder: Threat Detection and Response (CFR) Exam CFR-110 Exam Information Candidate Eligibility: The CyberSec First Responder: Threat Detection and Response (CFR) exam

More information

Electric Rates. for residential and farm customers. January 2015

Electric Rates. for residential and farm customers. January 2015 January 2015 Electric Rates for residential and farm customers The electric service rates listed in this brochure reflect the rates effective Jan. 1, 2015, as authorized by the Public Service Commission

More information

1-800-411-7343. 24 Hours A Day, 7 Days A Week. sdge.com

1-800-411-7343. 24 Hours A Day, 7 Days A Week. sdge.com customer service E-Payment Options 1-800-411-7343 24 Hours A Day, 7 Days A Week sdge.com SDG&E offers several flexible and convenient electronic payment options. These payment services provide fast and

More information

index business gen y atms social checking seminars marketing twitter

index business gen y atms social checking seminars marketing twitter A California bank s $50 million Small Business Lending Program has a Go Local marketing theme that s also promoted with officer calls S get them. ummit State Bank ($460 million, Santa Rosa, California)

More information

Medicare Supplement Plans Easy$Pay form

Medicare Supplement Plans Easy$Pay form An Independent Member of the Blue Shield Association A10578-MS (10/12) Medicare Supplement Plans Easy$Pay form Say goodbye to paying by check with Easy$Pay blueshieldca.com What is Easy$Pay? Easy$Pay SM

More information

More money. More freedom. More options. Four Ways Disability Benefits Support Work

More money. More freedom. More options. Four Ways Disability Benefits Support Work : nd her DEts a get SI efi k to IN ben wor ow n H ca b jo a More money. More freedom. More options. Four Ways Disability Benefits Support Work WORK IS AN IMPORTANT PART OF YOUNG PEOPLE S LIVES 2 Four ways

More information

High School Geometry Test Sampler Math Common Core Sampler Test

High School Geometry Test Sampler Math Common Core Sampler Test High School Geometry Test Sampler Math Common Core Sampler Test Our High School Geometry sampler covers the twenty most common questions that we see targeted for this level. For complete tests and break

More information

Section 7.1 Solving Right Triangles

Section 7.1 Solving Right Triangles Section 7.1 Solving Right Triangles Note that a calculator will be needed for most of the problems we will do in class. Test problems will involve angles for which no calculator is needed (e.g., 30, 45,

More information

PDSA Special Report. You Can Develop Software Successfully

PDSA Special Report. You Can Develop Software Successfully PDSA Special Report You Can Develop Software Successfully Almost everyone in business today has tried to develop custom software at one time or another. 74% of these projects (according to a recent study

More information

Local SEO vs. Google Ads

Local SEO vs. Google Ads PERFORMANCE M edia P lacement Local SEO vs. Google Ads When a local search is made on Google the page below is displayed. This is a different search result page from the standard Google search page. Local

More information

SOLUTION: Since this is an isosceles triangle, two sides are congruent. Here, FG is 2a units long. Draw

SOLUTION: Since this is an isosceles triangle, two sides are congruent. Here, FG is 2a units long. Draw and Codinate Proof Position and label each triangle on the codinate plane 1 right with legs and so that is 2a units long and leg is 2b units long Since this is a right triangle, two sides can be located

More information

List of Part Numbers Manufacturer's No. / Hella No.

List of Part Numbers Manufacturer's No. / Hella No. List of Part Numbers Manufacturer's No. / No. List of part numbers.02-.09 Manufacturer's no. / no..-.53 Note: The original numbers listed in the manufacturer number - number comparison serve exclusively

More information

Send a document for electronic signature

Send a document for electronic signature Step-by-Step Guide Send a document for electronic signature Signing documents via email used to entail sending, printing, signing, scanning, and resending files - sometimes more than once. Multiple signatures

More information

A-A A-B A-C C-A C-B C-C PS-A PS-B PS-C X X X

A-A A-B A-C C-A C-B C-C PS-A PS-B PS-C X X X Lesson Plan 4: Estimated Family Contribution Core www.cfnc.org Area: Financial Planning Total Time: 20 minutes in class, 30 minutes homework, 10 minute in class follow up. Target Grades: Appropriate for

More information

hp calculators HP 12C Loan Amortizations Amortization The HP12C amortization approach Practice amortizing loans

hp calculators HP 12C Loan Amortizations Amortization The HP12C amortization approach Practice amortizing loans Amortization The HP12C amortization approach Practice amortizing loans Amortization The word 'amortization' comes from a Latin word meaning "about to die". When a loan earning interest has regular, fixed

More information

RECORDS MANAGEMENT IN THE UNITED NATIONS

RECORDS MANAGEMENT IN THE UNITED NATIONS RECORDS MANAGEMENT IN THE UNITED NATIONS A Shared Responsibility arms@un.org Agenda Why Records Management? Records vs. documents Roles and Responsibilities Records Life Cycle Records Disposition Information

More information

Transfer of non-profit pension annuity business to Canada Life

Transfer of non-profit pension annuity business to Canada Life Dear Pensioner October 2006 Our ref: malt2/hbd Pension(s): Transfer of non-profit pension annuity business to Canada Life As you may know, Equitable Life has agreed to transfer most of its non-profit pension

More information

Grandstream Networks, Inc. Guide on Interconnecting Multiple

Grandstream Networks, Inc. Guide on Interconnecting Multiple Grandstream Networks, Inc. Guide on Interconnecting Multiple UCM6100 series IPPBX OVERVIEW This document describes basic configuration to interconnect two UCM6100s. In this example, we will be using two

More information

TCS-CA. MS Outlook XP Configuration [VERSION 1.0] U S E R G U I D E

TCS-CA. MS Outlook XP Configuration [VERSION 1.0] U S E R G U I D E U S R U I D TCS-C MS Outlook X Configuration [VRSION 1.0] C O N T N T S 1 DSCRITION... 1 2 MICROSOFT OUTLOOK X ND CRTIFICTS... 1 3 STTINS TO CHOOS VLID DIITL CRTIFICTS... 2 4 NBLIN SCURITY STTINS FOR MIL

More information

Lubrication Technologies, Inc.

Lubrication Technologies, Inc. Synthetic Lubricant Cross Reference Chart Series API Group V Synthetic Lubricant Base Stocks Philadelphia, PA 2 3 4 5 6 8 10 11 12 14 19 22 24 40 100 150 MONO ESTERS Lexolube IPP, IPO, NBS (all 3 are 2

More information

1230 1315 Mål for produksjonstilgjengelighet, Runar Østebø, StatoilHydro 1315 1400 Regularitetsanalyser, Atle Stokke, DNV

1230 1315 Mål for produksjonstilgjengelighet, Runar Østebø, StatoilHydro 1315 1400 Regularitetsanalyser, Atle Stokke, DNV ! " "# $!% 0930 1000 Registrering, kaffe 1000 1015 Åpning, velkommen, Henrik Kortner, DNV 1015 1100 Generell presentasjon av standarden, Henrik Kortner, DNV 1100 1145 Regularitetsstyringsprogram, Harald

More information

2. Log in to the website with your online account, and from the Profile menu, select Redeem Promo code.

2. Log in to the website with your online account, and from the Profile menu, select Redeem Promo code. How to Redeem Codes on the website (any platform): 1. First make sure you have an EA online account. a. For a walkthrough on how to create your EA online account on the PC game, Xbox 360 videogame and

More information

HOW TO COMPLETE THE PARENTS FINANCIAL STATEMENT (PFS) ONLINE

HOW TO COMPLETE THE PARENTS FINANCIAL STATEMENT (PFS) ONLINE Isidore Newman School partners with School and Student Services (SSS) By NAIS in our financial aid process. To begin your financial aid application, you will complete Parents Financial Statement (PFS)

More information