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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FG Guarantee-Platinum. A Single Premium, Fixed Deferred Annuity with tax-deferred earnings featuring a choice of a 3, 5 or 7-year rate guarantee

FG Guarantee-Platinum. A Single Premium, Fixed Deferred Annuity with tax-deferred earnings featuring a choice of a 3, 5 or 7-year rate guarantee A Single Premium, Fixed Deferred Annuity with tax-deferred earnings featuring a choice of a 3, 5 or 7-year rate guarantee ADV 1010 (01-2011) Fidelity & Guaranty Life Insurance Company Rev. 07-2014 12-716

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

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

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

When You Have Options, You Can Save Big!

When You Have Options, You Can Save Big! Auto & Home When You Have Options, You Can Save Big! Think about how much you currently pay each year for your auto and homeowner s insurance. What if there were a way to potentially put hundreds of dollars

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

COMP 790-088 by Jasleen Kaur. COMP 790-088 by Jasleen Kaur. Page 1. Page 2

COMP 790-088 by Jasleen Kaur. COMP 790-088 by Jasleen Kaur. Page 1. Page 2 Pi Printed tdon Monday, October 05, 2009 at 140PM 1:40 PM. Has everyone taken a copy of each of these 4 handouts? Welcome to this course! My name is Jasleen Kaur and I m the instructor for this course.

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

BlueCard Tutorial BlueCard Program Basics

BlueCard Tutorial BlueCard Program Basics BlueCard Tutorial Welcome to BlueCard After completing the tutorial, you will be able to: Understand basic facts and processes Know the benefits of submitting your BlueCard claims to Blue Shield of California

More information

SAS Decision Services Engine XXXXXX Loggers Logger(file:///myMachine/Lev1/Web/Common/LogConfig/SASDecisionService Level sengine-log4j.

SAS Decision Services Engine XXXXXX Loggers Logger(file:///myMachine/Lev1/Web/Common/LogConfig/SASDecisionService Level sengine-log4j. SAS Decision Services Engine XXXXXX Loggers Logger(file:///myMachine/Lev1/Web/Common/LogConfig/SASDecisionService Level sengine-log4j.xml) Root Logger com.sas.services.deployment.omi com.sas.rtdm.implementation.eventexecutor.activity_time

More information

Chapters 7 and 8 Solow Growth Model Basics

Chapters 7 and 8 Solow Growth Model Basics Chapters 7 and 8 Solow Growth Model Basics The Solow growth model breaks the growth of economies down into basics. It starts with our production function Y = F (K, L) and puts in per-worker terms. Y L

More information

ANZ Home Insurance. Protection you can afford Cover you can understand

ANZ Home Insurance. Protection you can afford Cover you can understand ANZ Home Insurance Protection you can afford Cover you can understand Insurer: CGU Insurance Limited ABN 27 004 478 371 (CGU Insurance) Agent for Insurer: Australia and New Zealand Banking Group Limited

More information

Two More Methods for Proving That. Triangles Are Similar

Two More Methods for Proving That. Triangles Are Similar Two More Methods for Proving That Triangles Are Similar (As promised in the footnote of p. 29 in Girls Get Curves) In chapter 17 of Girls Get Curves, we saw how to prove that two triangles are similar

More information

Excellence Financial Results - How to Improve? A NEW APPROACH By Dr. GBRK Prasad, CFPIIM

Excellence Financial Results - How to Improve? A NEW APPROACH By Dr. GBRK Prasad, CFPIIM Excellence Financial Results - How to Improve? A NEW APPROACH By Dr. GBRK Prasad, CFPIIM Introduction: Michael Dell said Keep raising the bar, for the industry and for you. This approach enables any company

More information

Right Triangles 4 A = 144 A = 16 12 5 A = 64

Right Triangles 4 A = 144 A = 16 12 5 A = 64 Right Triangles If I looked at enough right triangles and experimented a little, I might eventually begin to notice a relationship developing if I were to construct squares formed by the legs of a right

More information

Lesson Plan 10: Financial Aid Wizard: Planning Your Academic Finances in 7 Easy Steps

Lesson Plan 10: Financial Aid Wizard: Planning Your Academic Finances in 7 Easy Steps Lesson Plan 10: Financial Aid Wizard: Planning Your Academic Finances in 7 Easy Steps Core www.collegeincolorado.org Area: Financial Planning Total Time: 50 minutes. Target Grades: Recommended for grade

More information

WORKERS COMP FILE FORMAT SPECIFICATIONS

WORKERS COMP FILE FORMAT SPECIFICATIONS WORKERS COMP FILE FORMAT SPECIFICATIONS File Format Specifications: These file specifications are taken from the 837 X12 Implementation Guide. The purpose is to provide guidance on specific loops and segments

More information