img img site owned sims berkeley click page join ring click info web sters net work large pretty web graphic women information technology shameless plug haven bought copy wired women gender realities cyberspace stop staring web browser buy webster derived fr oe female weaver webster weaver designation woman woman occupation weave esp weaver words word webs word webster dis covered judy written webster word meant female weaver ending indicating female ancestor female possession word word weavers recent centuries daniel webster dictionary listings merriam webster stem english family names descended female line great great grandmother gave webster websters intergalactic english language mary jane top 5 point comm corp logo hoping page provide annotated list sources relating women fields library information science computer science information technology halls academia sources make suggestions page presentation organization send mail sims berkeley table contents things meta resources stop shopping info women technology bibliographies sources bibliographic archival information women computing directories finding women web women status cs papers women status computing technical fields meta resources organizations organizations academic professional political devoted women computing information technology career funding info find jobs sources money press women man pressing digital envelope newsgroups lists ongoing discussions women information technology things descriptions ala social responsibilities round table feminist task force check newsgroups lists women online check press women multimedia check organizations women computing 1996 top 100 women computing check women computing entry press women age computers part larger yahoo search directory women listed meta resources extra interesting publication press section check initial issue armed dangerous meta resources stop shopping information women technology women computer science run ellen spertus places information women information technology fields includes pointers writings women computer science including female computer scientists women pointers major resources dealing issues women minorities technology academia tap ada project ada project yale variety resources including extensive bibliographies issues relating women technology lists calls participation upcoming events fellowship grant information conference information lists organizations discussion groups interest women homepage work mit er sarah full pointers documents relating women computer science engineering documents women studies programs women centers women academia industry gender sexuality women health care women guide internet mit suspect water courtesy michele women information technology scholarship colloquium univ illinois women information technology scholarship wits colloquium sponsored center advanced study interdisciplinary group women faculty academic professionals graduate students university illinois urbana champaign campus working insure communications technologies structured ways beneficial site excellent annotated bibliography women information technology bibliography section lists publications wits members list upcoming events connecting women pipeline goal attract high school girls computer science retain interested girls women computer science pipeline high school ph supported grant nsf sponsors variety mentoring activities workshops operates rensselaer polytechnic institute project collecting resources online study gender technology funded economic social research council project maintained nina links divided major areas people places journals papers projects collection papers prove researching women technology single list research papers sites women computing networking organized page put chris university illinois urbana champaign major subdivisions published articles papers talks projects programs academia miscellaneous related local resources good complement project obtaining research papers women computing international gender science technology policy information map maps produced auspices international federation institutes advanced study sophia put list resources facilitate policy research collaboration issues relating gender science technology policy national regional international levels divided major areas women international science technology women science technology north america europe policy institutes agencies organizations social environmental implications science technology university programmes career support gender science technology general women resources information women computers page service comprehensive world wide web based directory information resource information exclusively women girls online pointers www information general areas art business computers culture education entertainment feminism girls health organizations politics publications resources women writing women computers list major resources www interest women computing including resources specifically devoted women web dictionary page ve told smart loud tall short fat thin brash shy sexy plain bitchy nice needy weak strong independent sensitive cute silly demanding includes directory news events collection links sites faq manifesto fed people expectations site pleiades network focal point women information dialog world wide web goal encourage women access internet creating space dedicated women includes section internet tools including search tools pleiades illustrated guide internet bulletin board service conversation topical areas directories individuals organizations calendar upcoming events classified ad services women mathematics page similar theme devoted women mathematics community found univ maryland includes information obtain newsletter surviving graduate school find internet information women mathematics technical fields university minnesota women technology home page page devoted provide information resources women technological sciences information women information technology field includes information technical programs univ minnesota including engineering fields biosciences chemistry math physics astronomy pointers pages devoted women sciences professional societies check incredibly expanding hot list link find links variety links women computer science technology women studies gender issues technology gopher run ontario institute studies education toronto canada pointers summaries full text articles dealing themes gender issues computer design technology networking women age computers part larger yahoo search directory specializing resources women women age computers section specially marks women owned businesses page helpful searching company hire runs conferencing area women computing find women age computers forum women undergrads computer science provided university melbourne page includes information internships scholarships conferences organizations resources mailing lists obligatory cool page information graduate students women online provided amy women online evolved online forum women internet addition providing resources ll find women online web site specialize web site design women owned businesses good site check information mailing lists newsgroups relevant women issues general women interested technology internet women mailing lists great page lesbian org amy collected women computing sara callahan pittsburgh set page similar including interesting information women airforce service pilots gender issues maintained bay area women technology computer professionals social responsibility server page interesting articles gender issues computing communications networking obligatory collection references pages material gopher women resources project put colleagues school information library science unc chapel hill page information resources women focuses resources triangle area pointers variety resources internet good site information women studies programs related info sources women studies feminist information internet provided laura hunt program univ michigan page guide conducting feminist women studies research internet good place listservs relating feminism women studies issues amy site listed joan regularly updated compilation women related lists newsgroups lists section bibliographies archives women science engineering located iowa state university library 1994 archives exist document history women science engineering social history story scientific achievements allied iowa state program women science engineering goal encourage women scientists engineers future archives document lives careers achieved goal past archives collects widely fields engineering physical earth life computational sciences medicine excellent resource researching history women history sciences country history women science health technology berkeley library gopher bibliography published univ wisconsin system women studies librarian organized parts 1 overviews 2 women scientific professions 3 health biology 4 home economics domestic science 5 technology 6 children young adult literature bibliography prepared aid colleagues designing gender centered courses integrating feminist scholarship existing survey courses make history women professions accessible practitioners branches science medicine technology feminist information system design research original version bibliography compiled english server intend start adding local version find works pertaining information system design feminist perspective women information technology annotated bibliography nice comprehensive annotated bibliography put wits colloquium university illinois highly recommended broad perspective issues effecting women interactions technology complaint enabled form access didn make pages sequentially jerry tip day http art uiuc wits ll directory listing includes bibliography pages helpful skip bibliography gender sex sexuality strictly speaking bibliography english server page devoted feminism women studies gender studies queer studies including interesting articles gender technology check feminist cyberspace ellen information international network women technology entry professional organizations information directories women technology purpose women technology directory facilitate encourage women ability network directory provide information women collaborate mentor advance careers web weavers personal personal pages women selected pages content women status cs grace hopper celebration women computer missed order conference poster shirt read keynote speech anita jones good folks university video communications made videos conference including ir deity karen jones eecs women enrollment committee report committee report mit mit attempts address male female enrollment eecs program berkeley engage similar process examination mit engineering coalition schools excellence education leadership coalition 7 schools colleges engineering engaged year effort renew undergraduate engineering education infrastructure making engineering attractive broader spectrum youth girls allowed article melissa koch posted gnn discussing reasons women excluded technology women computers sacramento bee special report special report sacramento bee written reporter photography laura chun examining women high technology fields report broken 8 major sections overview women computer industry profiles 4 female executives computer business pat illustra ly pham apple heidi maker williams system examination technology effects staff discussion women experience online environment section girls computing girls video games section raising computer savvy kids inevitable list web sites information women sciences engineering page variety statistics presence women science engineering fields talk dr mit santa barbara 1992 bibliographies women science engineering pointers internet resources organizations general sm international organization providing networking opportunities classes directory services job announcements mention great parties check page founding member women multimedia women multimedia bay area based profit organization concerned social implications emerging technologies primary goals information resource education events jobs issues media women information technology network women information technology network dutch nationwide association women involved information technology shape form information speak dutch organizations encouraging women science engineering sounds comprehensive lists ve found huge amount information touch information academic berkeley berkeley women computer science electrical engineering home page variety information women ucb cs fellowships names important mailing lists information parents eecs eecs parents mailing list schedule meetings events pointers important resource pages page society women engineers berkeley chapter women information computer science irvine irvine chapter women information computer science dedicated making place friendly female students encouraging enter remain continue higher education ph degree page sets links faculty staff graduate student undergraduate alumni home pages list web resources computer science contact information wics uci chapter stanford university women computer science wics stanford wics page giving calendar events pointers student faculty home pages interesting papers check variety www resources wics maintains mail distribution list communication women cs department women affiliated department ways contact information women interested touch prospective students visitors wics women computer science brown information cs dept brown including programs study fellowship grant information listing wider resources web harvard university women computer science wics organization women computer science harvard university members include undergraduates graduates faculty members harvard wics page links members www pages short list www resources university oregon women computer science univ oregon wics chapter homepage links members pages women services univ oregon eugene area list wics chapters universities collection links women cs women computer sciences university wisconsin madison women computer sciences wics informal group female members computer sciences department uw madison includes students graduate undergraduate faculty research teaching staff includes pointers information sources instructions subscribing wics mailing list uw madison carnegie mellon women scs includes transcripts workshop academic careers women held fcrc san diego 1993 information apply systers mailing list caltech women center calendar events newsletter collection find information center women science engineering chapter caltech caltech chapter society women engineers women engineering society southampton group university southampton uk wes sg support group female students overcome difficulties meet southampton professional social activities female engineers university academic staff researchers undergraduates professional association women computing association women computing national nonprofit professional organization individuals interest information technology dedicated advancement women computing fields business industry science education government states primary goals promote awareness issues affecting women computing industry professional development advancement women computing establish promote growth local chapters chapter 13 states number independent members south african women science engineering objectives sa wise 1 raise profile women scientists engineers 2 highlight problems faced specifically women science engineering 3 lobby advancement women science engineering 4 provide input development science policy south africa 5 provide leadership role models young people wishing enter fields science engineering england chapter association women science seattle area chapter association women science national organization devoted promoting equal opportunities women enter professions achieve career goals international network women technology professional association women representing tremendous diversity backgrounds positions disciplines working technology organizations founded response 1989 glass ceiling report devoted helping women improve position industry developing wider range national international contacts sponsoring conference 1996 women technology conference channels change political institute global communications home igc networks peacenet econet page devoted women issues women resources making great deal information united nations international conference population development cairo check latest addition virtual global women electronic support network dedicated increasing women access effective electronic communications site interested progressive politics women internet council mission wic establish point presence women working internet wic works establish paradigm internet global community dominated gender racial social economic group career funding info daphne jackson memorial fellowships trust daphne jackson fellowships exist enable high level scientists engineers return professions career break cultural diversity internet online career center information career resources women minorities women science technology program located argonne national laboratory program information efforts provide outreach female students encourage pursue careers science women science technical fields generally including variety www pointers global fund women international organization devoted improving women working women full participation society global basis check page find career information professional women societies pages listed press women online joint venture women online founder amy founder kathleen women online intended provide articles prominent women online regular features online content tips www technically inclined interactive forums site extra publication appears tackling head issue internet male dominated sphere maintained initial description press release electronic magazine challenging exclusion white women people color technologies hope show people organizations changing technology significant productive ways talking internet www talented brave people challenging paradigms kinds paradigms actively exclude minorities broad spectrum cultural activites pursuits media business electronic resources hope provide simply ideology practical examples models paradigms changed create alliances effect substantial social change aggressive issue armed dangerous seeks inform 15 5 statistic girls internet 84 5 male initial consists interviews including interviews plugged paper tiger television amber worth watching expand editorial content include interview materials pilgrim media pilgrim media multimedia developer publisher specializes creating cd rom titles topics interest women title heritage biographical encyclopedia famous american women grace hopper web sters note heritage named top cd roms 1994 library journal commercial site worth keeping eye women web women web news internet resources forum discussion women issues provided sf gate project san francisco chronicle san francisco examiner voices women solid state meets goddess includes articles voices women print publication directory large number differing resources women calendar events links variety resources beware page extremely netscape enhanced don downloading images home patient sort planet woman page devoted women science technology pages issues arts business careers health leisure activities political legal issues maintains calendar upcoming events interest women electric anima home page technological fun feminine twist fearful women oriented electronic zine australia wonderful graphics issues feminist magazine critical thinking dedicated fostering collective responsibility positive social change women wire interactive magazine focusing women interests provided women wire online service information subscribe online service check page women computing newsletter top women monthly publication mcgraw hill devoted discussing technical issues affecting women including mentoring networking salary strong practical business orientation issues line subscription information page check 1996 top 100 women computing page complete suggestions companies expand gender diversity upper www resources biographical sketches top 100 newsgroups lists ala social round table feminist task force ala runs feminist listserv feminist mit communicates work encourages discussion feminism applies educom educom listserv women information technology gender related electronic forums large list listservs instructions subscribing put joan university maryland baltimore county women studies dept dealing gender issues women lists divided activists lists arts humanities education health international lists internet information religion science technology sexuality sexual orientation social science lists women color lists women studies lists women related science technology lists interest comprehensive resource regularly updated belongs page don mail address spinning jerome sims berkeley south hall school information management systems university california berkeley berkeley california 94720


introduction lion head shot read page don cheers death date drop note photo fine find offensive calm remember hurt people alot things arts artist colorful pictures alot visual effects rendered combinations colors purple yellow blue green purple green purple white technical names wrong simple generic colors present unique character numerous painting lessons attended youth remain worst painter clan friend victor hand talented computer artist cyber art gallery favourite picture gold fish music musician crazy tina turner turn run life michael jackson won long long years learning piano gave end classical music piano years ve playing stephen heller 1888 boring work personally prefer work developped taste jazz great don care pop music pals formed band called back years ago good tremendous fun band practicing sessions travel travelling youth exotic places excluding home country ve stepped foot soil 20 countries lucky greatest wonders world pyramids egypt mayan pyramids mexico lost inca city peru great walls china chance visit artistic face earth st peter cathedral vatican taj mahal india opera house sydney australia forget flying mysterious lines walking 2 days nepal 4 hour custom check 1 lt plastic coke bottle war head port favourite city world queens town town wrap tight splendid cities includes nepal istanbul turkey la paz jerusalem jordan don care cairo egypt dislike don wrong promote hatred annoyed behaviour irresponsible smokers hate people smoking care lock home smoke till lung cancer smokers generally irresponsible killing neighbours smoke public mention unpleasant smell bring smokers smokers irresponsible dispose cigarettes properly throw ground worse lawn people concern pick filled piece crap perceptive notice majority garbage ground cigarettes don coke don candy wrapper cigarettes experiment conducted period 2 weeks shows 99 garbage ground cigarettes don understand smokers style school works click return mark ng home page


previous document cse 322 assignment 2 due friday january 12 1996 1 number 4 page 39 prove induction theorem 2 1 6 page 32 2 numbers 8 10 12 page 39 3 equation fixed sets set variable assume empty 1 argue solution equation 2 argue solution equation document james fix mon jan 8 13 11 34 pst 1996


section 3 doctoral program section 3 1 admission doctor philosophy degree marked excellence research superior comprehension discipline computer science paraphrase graduate college section xii university iowa general catalog 1990 92 admission ph program granted students demonstrated potential meeting twofold standard successful applicants superior academic records computer science solid scores graduate record examination outstanding references qualified people familiar applicant capacity potential early direct admission ph program desirable student master degree starts ph program acquire students complete degree computer science university iowa note obtain approval change status order continue studies ph program department reviews change status request application admission change status forms departmental office section 3 2 requirements entering ph program department assigns student academic advisor person student committee academic advisor member student committee section 1 8 academic advisor occur current academic advisor member student committee student academic advisor student committee selects sequence departmental requirements preparing student dissertation research qualifying examination presentation comprehensive examination graduate college requires minimum 72 semester hours academic work bachelor degree ph students computer science complete minimum 54 semester hours coursework 18 semester hours dissertation research 22c 299 research dissertation specialty areas require additional preparation time research ph students schedule courses carefully consultation advisor student committee early selection special interest area desirable students assigned advisors interest areas student interest student advisor easily changed interest area students unsure long term interests consult current academic advisor student committee advice scheduling plan study manner student plan emphasis identification area specialization department requirements ph degree note courses grading basis offered grading basis 100 level computer science courses ph student complete courses grade higher 22c 116 22c 122 22c 123 22c 135 22c 153 higher addition ph student additional 100 level courses approved academic advisor note specialty area require specific courses early planning advice important ii 200 level computer sciences courses ph student 18 semester hours 200 level courses research dissertation 22c 299 18 semester hours include semester hours readings research 22c 290 iii sequence student complete sequence courses minimum grades 200 level selected areas study 1 algebra 2 analysis 3 logic set theory 4 operations research 5 statistics probability 6 numerical analysis student selects statistics probability area study choose courses 100 level level 153 154 student satisfied requirements listed including sequence undergraduate petition graduate committee waive requirement student transfer credit satisfy requirements graduate committee petition effect acceptance transfer credit graduate college petitions waiver based undergraduate work transfer credit connection including number title textbook outline grade received petitions distribution courses substitution advanced courses mathematics engineering 200 level computer science courses submitted graduate committee addition requirements registration 22c 299 research dissertation part degree program noted earlier typically account 18 semester hours department imposes foreign language requirement section 3 3 ph qualifying presentation examination completion required 100 level courses ph student selects topic qualifying presentation student selects topic special interest student consultation academic adviser student committee eventual research area presentation provide student opportunity explore potential research area topic selection topic student prepares prospectus topic submits student committee approval student committee reviews prospectus student academic performance departmental standard ph students minimum gpa 3 3 completion required 100 level courses grade grades higher committee student prospectus requires student work prospectus contents prospectus clear identification scope topic relevant references careful statement technical objective topic study boundaries established satisfy guidelines constraints 20 30 page report 45 minute presentation objective student demonstration technical competence ability independent work potential research completion report presentation student committee review student performance student asked revise report repeat presentation student committee submits report recommendation student performance qualifications graduate committee timing ideal schedule student prospectus approved beginning semester make presentation end semester requirement monitored graduate committee qualifying presentation examination completed end fourth semester program section 3 14 relation qualifying presentation examination final examination thesis program thesis section 3 4 ph comprehensive examination addition departmental examination ph comprehensive examination required graduate college objective ph comprehensive examination assure student pursuing ph level research sufficient breadth depth knowledge specialty area superior competence understanding computer science 3 4 1 expansion student committee completion qualifying presentation examination student identifies specialty area student committee expanded adding faculty student specialty area minimum members required committee larger expanded committee appointed official ph comprehensive examination committee submitted graduate college chair graduate committee 3 4 2 conduct comprehensive examination student completed coursework preparation dissertation research student submits status report including proposed plan study description proposed area dissertation research expanded student committee committee meets review report agree form comprehensive examination written oral parts specification examination scheduling decided committee conveyed student chair graduate committee point official plan study request comprehensive examination submitted graduate college chair graduate committee preparation specification comprehensive examination student committee considers preparation research breadth preparation career computer scientist conduct examination reflects objectives context student program student broad plan study expect emphasis question research preparation student focused plan study expect emphasis general competence computer science 3 4 3 residency status requirements student registered university time comprehensive examination examination successfully completed session prior session graduation student probation examination section 3 5 research committee completion ph comprehensive examination student committee based research committee original members student committee student specialty area excused committee additional members added research committee composed minimum members department computer science members including research advisor interests student specialty area interfaces specialty area research areas member department computer science point dissertation research student presents written dissertation proposal research committee section 3 9 research results obtained boundaries dissertation identified proposal proposal submitted approved research committee research committee student approved graduate committee officially appointed chair graduate committee request final examination submitted graduate college minor graduate college requires member final examination committee comprehensive examination committee depending student specialty area research committee composed computer science faculty additional member added dissertation proposal final examination section 3 6 probation dismissal students ph program maintain gpa 3 3 courses leading ph degree order courses credited degree student earn grades higher 100 level computer science courses courses sequence courses repeated time attempting improve grade student attain grade department drop ph program graduate committee place student probation notify writing gpa falls minimum 3 3 requirement make semester hours work department student ph candidate grade option applies undergraduates computing student gpa registrar office include grades repeated computing student computer science gpa purposes probation department includes grade repeated student probation permitted ph comprehensive examination defend thesis receive ph degree student permitted comprehensive examination gpa 3 00 higher students wishing formal review dismissal refer appendix dismissal review procedure section 3 7 credit hour residence requirements doctoral candidate expected completed years residence graduate college minimum 72 semester hours graduate credit student spend part residence full time involvement discipline university 24 semester hours graduate work student meet requirement enrollment full time student hours minimum semesters enrollment semester hours semesters student holds time assistantship certified department contributing doctoral program enrollment research dissertation 22c 299 acceptable residency requirement graduate committee evaluate courses ten years prior comprehensive examination determine credit work graduate committee report evaluation graduate college student submits plan study section 3 8 post comprehensive registration student required register semester passing comprehensive examination university awards degree student fails register candidacy submitting application approved advisor department chair graduate dean department require student comprehensive examination section 3 9 dissertation proposal dissertation student write dissertation significant original contribution field computer science student submit written dissertation proposal research committee formulation principal topics questions proposal outline context proposed research kinds questions addressed work appeared literature related questions justify significance originality proposed research research committee hold oral review proposal section 3 10 dissertation deposit student present copy dissertation typed manuscript print graduate college check formal characteristics prior date graduate college deposit deadline approval graduate college final examination committee student deposit final copies dissertation graduate college prior date published graduate college final deposit deadline graduate college publication requirements graduate theses additional information deadlines required format theses student submit copy department published technical report section 3 11 final oral examination student completes dissertation research committee acting final examination committee administer oral examination makes critical inquiry purposes methods results investigation includes intensive questioning areas knowledge constituting context investigation examination occur sooner session successful completion comprehensive examination graduate college checks submission dissertation examination held years completion comprehensive examination section 3 12 application degree student file application degree registrar ten weeks start semester week start summer session degree conferred student application signed advisor failure file application date result graduation subsequent graduation section 3 13 enrollment final semester student enrolled session degree conferred students register session degree conferred university campus session meet requirement registering independent study research thesis doctoral candidates completed work final examination register post comprehensive registration section xii manual rules regulations graduate college registration students register graduate college number 000 000 post ph comprehensive registration 0 credit section 3 14 receiving degree ph program student ultimate objective ph degree admitted directly ph program beginning graduate work opt receive degree cases student attain early involvement research remain focused ph program satisfaction degree requirements final examination requirement ph qualifying presentation examination final examination thesis program qualifying presentation examination based work thesis case thesis defense combined phd qualifying presentation examination prior approval chair graduate committee required possibility qualifying presentation examination intermediate step thesis order advantage delaying ph qualification process thesis research finished student ultimate objective ph degree admitted directly ph program beginning graduate work opt receive degree cases student attain early involvement research remain focused ph program satisfaction degree requirements final examination requirement ph qualifying presentation examination final examination thesis program qualifying presentation examination based work thesis case thesis defense combined phd qualifying presentation examination prior approval chair graduate committee required possibility qualifying presentation examination intermediate step thesis order advantage delaying ph qualification process thesis research finished img section 2 img appendix webmaster webmaster www cs uiowa


faculty profiles page faculty profile cs professor printed department computer sciences 1994 95 annual report entries reflect hard copy document entries updated fluid profiles vitae personal pages faculty members located personal pages section cs homepage questions send mail trcenter cs utexas lorenzo alvisi robert blumofe don batory woodrow bledsoe robert boyer james browne jeffrey brumfield alan cline alfred dale nell dale edsger dijkstra chris edmondson yurkanan allen emerson donald fussell suzy gallagher mohamed gouda roy jr david kincaid benjamin kuipers simon lam vladimir lifschitz calvin lin norman martin risto miikkulainen daniel miranker jayadev misra aloysius mok raymond mooney gordon novak jr greg plaxton bruce porter vijaya ramachandran hamilton richards jr abraham silberschatz robert simmons robert van de geijn harrick vin john werth laurie honour werth paul wilson martin wong david young david zuckerman additional information obtained individual faculty members home pages img contents


people duke university department computer science faculty administrative staff research associates systems staff graduate students graduate alumni undergraduate students guests enter keywords duke phone book lookup clear img duke university department computer science report suggestions problems webmaster cs duke document changed


5234 cs 302 section 10 notes examples chapter 1 2 sample programs demonstrate material ch 1 3 2 5 basics ch 1 3 2 3 2 5 baseball demonstrates basic structure declaring variables int double char cin cout arithmetic operators double result dividing ints commenting dividing money concepts difference dividing ints doubles divide modulus integers similar identical program class flow control ch 2 4 income taxes concepts statements nested statements const constants similar identical program class multiplication tables concepts loops chapter 3 sample programs demonstrate material ch 3 force equation concepts functions prototypes definitions formal actual parameters similar identical program class confusing concepts names formal actual parameters match local variables functions area shapes concepts function overloading program class chapter 4 sample programs demonstrate material ch 4 compass headings concepts void functions precondition postcondition prompting user valid input thing operator making change concepts call reference good global constants program similar identical program wrote class evil simpsons program concepts pass reference pass functions calling functions scope local variables pass variables global variables class chapter 5 sample programs demonstrate material ch 5 making grid numbers concepts opening files checking files opened closing files formatting output copying files concepts put character eof function chapter 7 sample programs demonstrate material ch 7 voting concepts switch statements width output manipulator inside output stream version class rock paper concepts enum enumerated types loops nested switch statements chapter 6 sample programs demonstrate material ch 6 programs exact thing struct class increment date struct concepts declaring initializing structs passing structs arguments functions return types functions enum type integer version class increment date class concepts declaring class writing member functions class initializing class constructor version class electric company concepts overloading constructor functions abstract data types version class chapter 9 sample programs demonstrate material ch 6 points game concepts declaring initializing array partially filled array passing entire array argument function coming library class make understand searching sorting examples text book click return cs 302 section 10 homepage modified wed nov 6 1996 mike steele


1080 comment form prefer mail comments directly coral cs wisc post newsgroup comp lang misc mention coral subject line comments mail address machine os type hp ux 9 sun os 4 1x sun solaris solaris pc compatibles linux comment version coral 1 2 1 5 unknown unsure send comments erase comments return coral home page


bu cla cs 480 introduction computer graphics spring 1995 programming assignment 4 due friday april 28 final programming assignment free choose project code list projects choose project list propose alternate project 1 shaded rendering buffering implement buffering algorithm shaded rendering triangles vertex normals program users select flat gouraud phong shading models program user rotate scene demonstrate program polygonal models 2 spline editor implement 2 bezier curve editor support quadratic cubic curve program users input series connected bezier curve segments generate correct spline provide edit mode user rubber band resulting curve pulling control points 3 game write game program subject approval tetris acceptable project 4 animation write animation program subject approval provide tar file building subroutine library building program components previous assignments fit develop code hardware platform long demo project mcs building friday april 28 send mail friday april 14 send mail telling project chosen friday april 14 propose alternate project mail page description plan proposing alternate projects alternate projects subject prior approval means discuss project friday mail make appointment grading demo part grade programming assignment based giving short demo expected talk program works algorithms test drive program demos scheduled friday april 28 1 00 5 00 write graded write turned beginning class friday april 28 basically write include paragraphs describing design choices made writing project algorithms write discussion made program efficient made program efficient time lastly turn electronic copy code code commented easily understood extra credit extra credit project projects replace grade previous programming assignment start programming early incompletes stan sclaroff created april 5 1995


cs 537 programming assignment ii process synchronization corrected 9 19 96 due october 10 start class contents introduction generalized dining philosophers algorithm algorithm ii graph programming details turn threadscheduler introduction discussion synchronization operating systems metaphor sleeping barber problem cigarette smoker problem bakery problem dining philosophers scenarios essence models multiple processes access shared resources leading deadlock solutions problem guarantee fairness processes guaranteed access resources starved project required implement solutions generalization dining philosophers problem multithreading synchronization capabilities java simulate action multiple processes competing shared resources tanenbaum offers solutions outlined figure 2 19 57 subject deadlock animated demonstration solution java tutorial spelled complete detail figure 2 20 solution edsger dijkstra person made problem place avoids deadlock putting states philosophers public place global mutex semaphore inspect implementing solutions generalized dining philosophers original dining philosophers problem posed dijkstra involved philosophers sitting table fork pair philosophers philosophers eating tangled required forks eat subsequent authors generally assume number philosophers fixed constant necessarily authors realized story forks replaced chandy misra 1 generalized problem arbitrary pairs philosophers share forks diagram shows ten philosophers numbered 0 9 line represents fork shared pair philosophers 15 forks fork identifiers numbers 0 14 philosopher shares forks philosopher 0 shares fork 0 philosopher 1 fork 10 philosopher 5 fork 4 philosopher 4 picture graph theory peterson graph algorithm simplest algorithm problem hungry philosopher grab forks forks surrounding order start eating fork simply waits algorithm lead deadlock philosopher picks forks increasing order fork identifiers deadlock occur prove statement philosopher 0 grab forks order 0 4 10 matter forks numbered long number algorithm ii chandy misra call algorithm hygienic solution problem fork clean dirty fork eat dirty remains dirty cleaned clean fork remains clean eating philosopher fork mailing hygienic fork cleaned mailed eating philosopher satisfy requests forks finished eating key issue requests eating philosopher defer algorithm eating philosopher requests forks clean satisfies requests forks dirty 2 suppose aristotle berkeley neighbors berkeley eating berkeley finishes eating continues hold shared fork aristotle asks berkeley hungry simply reuse fork start eating provided rest forks aristotle fork berkeley starts eating berkeley hungry eating aristotle grabs fork give eaten chandy misra show algorithm deadlock free provided initial placement forks acyclic sense draw arrow head edge graph points process holding fork start process follow edges graph returning starting point directions arrow heads deadlock philosopher forks wait long eat algorithm placement forks philosopher 8 forks eat hungry poor philosopher 0 fork 11 shared philosophers 6 1 held philosopher 1 placement acyclic lead deadlock cycle 3 4 9 7 2 back 3 graph specification philosopher graph number philosophers forks indication forks shared pairs philosophers file graph file initial placement forks give graph files library class parse don worry format library class supplied interface class graph graph string filename throws constructor reads graph file public int public int public int int phil neighbors phil share forks public int int phil int nth fork shared phil public int int phil int phil share nth fork public boolean int phil int phil initially hold nth fork methods explanatory arguments philosopher id phil number range 0 1 number range 0 phil 1 return fork id phil nth fork philosopher id philosopher shares indication phil holds fork initially forks arranged philosopher increasing order fork id phil 0 lowest numbered fork shared phil figure 4 3 4 4 4 0 3 3 true 1 4 0 true 2 14 9 false programming details general outline program invoked java project2 peterson 10000 peterson graph file 10000 number iterations solutions philosopher represented thread instance class extends thread implements runnable run method class public void run int 0 eat eat simply sleep random amount time command line random class java util thread sleep implement eat algorithm solution define semaphore class create instance class represent fork class semaphore semaphore int public synchronized void public synchronized void method simply operation forks order returned graph operation order method graph solution main function public static void main string args make correct number arguments args length 2 system err usage command filename iterations return read file graph information graph graph graph args 0 catch system err args 0 system exit 1 number iterations cycles argument int iterations integer args 1 create array forks semaphore forks semaphore graph int 0 graph forks semaphore 1 create array philosophers philosopher phil philosopher graph solaris create scheduler honest threadscheduler sched threadscheduler sched start start processes int id 0 id graph id phil id philosopher iterations phil id start sched phil id wait philosophers die int id 0 id graph id phil id join sched stop algorithm 2 coding algorithm considerably complicated program forks represented separate objects variables philosopher objects grabbing forks order hungry philosopher repeatedly cycle forks requesting doesn respond requests forks eating depending state thinking hungry eating state requested fork clean dirty respond giving requested fork respond negatively remember request philosopher finishes eating records requests refused earlier sends forks philosopher remember field class philosopher state pieces information fork shares clean dirty requested neighbor called philosopher hungry forks doesn return private synchronized void state hungry don forks 0 number neighbors don ith fork record ith fork clean don forks wait state eating called philosopher finishes eating private synchronized void state thinking 0 number neighbors mark ith fork dirty previously rejected request ith fork previously refused request fork givefork remember don fork called philosopher request fork returns true request granted immediately false deferred public synchronized boolean int find give ith fork record longer ith fork return true remember ith fork requested return false called philosopher give fork previously requested calling method public synchronized void givefork int find record philosopher ith fork clean notify give lot thought design data structures record state philosopher forks note information fork stored places philosopher shares fork idea state separate fork object program correct information consistent philosophers fork time debugging check conditions happen receiving request fork don print error message throw exception turn turn copies java files project script file showing program action algorithms supplied graph files peterson star threadscheduler class runs hand run test 20 iterations philosopher eats 20 times maximum thinking time maximum eating time 1 2 print message time philosopher state eating thinking thinking hungry hungry eating threadscheduler elapsed timestamp message private random rand random private static final int 1000 private static final int 500 private void thread sleep int rand catch interruptedexception system threadscheduler elapsed philosopher hungry private void eat system threadscheduler elapsed philosopher starts eating thread sleep int rand catch interruptedexception system threadscheduler elapsed philosopher finishes eating code written good internal structure meaningful variable names helpful comments code incomprehensible benefit doubt threadscheduler windows solaris versions java scheduling policies threads windows version preemptive periodically switches read threads solaris version runs thread blocks reason created class simulates preemptive scheduling concurrent threads running concurrently solaris copy ~cs537 1 public src threadscheduler java directory rest source files compile javac threadscheduler java main method start threads create instance threadscheduler threadscheduler scheduler threadscheduler scheduler start starting thread register scheduler thread thread start scheduler works threadscheduler extends thread thread raises priority high level guaranteed run blocked circular list threads register blocks running calling thread suspend fashion individual thread thread resume sleeps short period giving resumed thread chance run threadscheduler wakes control due high priority suspends previous thread resumes continues cycle registered threads giving slice time execute copyright 1996 marvin solomon rights reserved 1 chandy misra drinking philosophers problem acm trans programming languages systems vol 6 4 october 1984 pp 632 646 2 chandy misra op cit page 637


8011 cs838 java http www cs wisc ~cs838 1 instructors instructor mark hill james larus office 6373 cs 5393 cs office hours monday 2 3 pm wed 11 12 tuesday 3 4 pm friday 11 12 phone 262 2196 262 9519 email markhill cs wisc larus cs wisc home page www cs wisc ~markhill www cs wisc ~larus java java curious mixture extreme hype sound technology fall cs838 graduate seminar examine java including java programming language network security design distributed applets java virtual machines java implementations compilers interpreters special hardware java related topics encouraged taugh research seminar professors java experts expect learning students experience studying developing ideas colleagues insight java plan lecture weeks present overview java students work month long group projects students evaluated oral written presentation project offering cs 838 core cs background material text countless java books bookstores books written quickly superficial addison wesley series official sun reference books java average line implementation reader collection papers java implementation doit line documentation sun maintains web site considerable java documentation url http java sun site considerable java documentation including java language specification virtual machine specification java api application programmer interface libraries specification java language tutorial security related papers dean felten wallach java security hotjava netscape frank yellin low level security java javasoft frequently asked questions applet security web provide java development kit writing running java applications pc kit installed sparcstations department java department source jdk run java applets recent versions netscape microsoft internet explorer sample java applets places sun collection http java sun java sun applets index html typo largest collection java programs applets appears http www gamelan lecture slides postscript lecture transparancies java big picture java language overview java virtual machine implementing java vm hardware java security project click project assignment list project topics intended starting point enumeration comparison java smalltalk scheme simula implementation java interpreter caches recently basic blocks fly compilation java applets small memory embedded machines memory system behavior compiled interpreted java applets evaluation alternative implementations java monitors comparison java virtual machine xerox mesa bytecodes microarchitecture processor directly executes java bytecodes optimizing java compiler java library performance evaluation tools results java programs evaluation java security investigate compiling languages java vm subset java vm interesting investigate formalizing security requirements language system ways automatically generating verifying vm implementations security related topic investigate cost making primitive types int float bool objects eliminating dual type systems java static typing sufficient alleviate overheads java eel dynamic compilation language mandated tests array bounds null pointer scheduled unused cycles superscalar processors java runs fast unsafe language project meetings date time group tue nov 12 1 00 tue nov 12 1 15 tue nov 12 1 30 break tue nov 12 1 45 tue nov 12 2 00 thu nov 14 1 00 thu nov 14 1 15 thu nov 14 1 30 break thu nov 14 1 45 thu nov 14 2 00


paris 19 july 1996 ariane 5 flight 501 failure report inquiry board chairman board prof lions foreword 4 june 1996 maiden flight ariane 5 ended failure 40 seconds initiation flight sequence altitude 3700 flight path broke engineers ariane 5 project teams industry immediately started investigate failure days director general esa chairman set independent inquiry board nominated members prof jacques louis lions chairman acad des sciences france dr lennart beck vice chairman swedish space corporation sweden mr jean luc de ge ne pour france mr gilles kahn institut national de recherche en informatique en automatique inria france prof dr ing wolfgang technical university darmstadt germany dr ing stefan daimler benz aerospace germany dr ing leonardo italy mr didier thomson france dr colin defence evaluation research agency terms reference assigned board requested determine launch failure investigate qualification tests acceptance tests relation problem encountered recommend corrective action remove anomaly weaknesses systems found fault board started work 13 june 1996 assisted technical advisory committee composed dr mr marconi space mr remy mr bernard mr eric esa accordance terms reference board concentrated investigations failure systems supposed responsible failures similar nature similar systems events linked accident recommendations made board limited areas examined report analysis failure board conclusions recommendations corrective measures undertaken flight ariane 5 addition report restricted circulation board findings documented greater technical detail consulted data recorded flight board undertaken evaluation data made complete review systems report result collective effort commission assisted members technical advisory committee worked hard present precise explanation reasons failure make contribution improvement ariane 5 software improvement ensure success programme board findings based open presentations ariane 5 project teams documentation demonstrated high quality ariane 5 programme engineering work general completeness traceability documents chairman board 1 failure 1 1 general description basis documentation made information presented board observed weather launch site morning 4 june 1996 acceptable launch day presented obstacle transfer launch pad risk lightning strength electric field measured launch site negligible uncertainty concerned visibility criteria countdown comprises filling core stage smoothly 7 minutes launch put hold visibility criteria met opening launch window local time visibility conditions improved forecast launch initiated local time ut ignition engine solid nominal lift vehicle performed nominal flight approximately 37 seconds shortly time suddenly flight path broke preliminary investigation flight data showed nominal behaviour 36 seconds failure back inertial reference system immediately failure active inertial reference system extreme position solid slightly engine causing abruptly destruction correctly triggered links solid core stage origin failure rapidly flight control system inertial reference systems function simultaneously 36 7 seconds 1 2 information information launch includes data received ground 42 seconds trajectory data radar stations optical observations ir camera films inspection recovered material data received transferred toulouse data converted parameter time plots provided copy data carried analyses concentrating data electrical system 1 3 recovery material destruction occurred launch pad altitude approximately 4000 fell back ground scattered area approximately 12 east launch pad recovery material proved difficult area swamp retrieve inertial reference systems interest worked active mode stopped functioning information data provision transmission ground information confined whichever units fail results examination unit helpful analysis failure sequence 1 4 unrelated anomalies observed post flight analysis shown number anomalies reported board minor significance expected demonstration flight anomaly brought attention board gradual development starting ho 22 seconds variations hydraulic pressure actuators main engine nozzle variations frequency approximately 10 hz preliminary explanations variations investigation consideration board formed opinion anomaly significant bearing failure ariane 501 2 analysis failure 2 1 chain technical events general terms flight control system ariane 5 standard design attitude movements space measured inertial reference system sri internal computer angles velocities calculated basis information inertial platform laser data sri transmitted board computer executes flight program controls solid engine hydraulic actuators order improve reliability considerable redundancy equipment level operating parallel identical hardware software sri active hot stand detects active sri failed immediately switches provided unit functioning properly likewise number units flight control system duplicated design ariane 5 sri practically sri presently ariane 4 software based extensive documentation data ariane 501 failure made board chain events inter relations established starting destruction tracing back time primary started 39 seconds high loads due angle attack 20 degrees led separation main stage turn triggering system angle attack caused full nozzle solid main engine nozzle commanded board computer software basis data transmitted active inertial reference system sri 2 part data time proper flight data showed diagnostic bit pattern computer sri 2 interpreted flight data reason active sri 2 send correct attitude data unit declared failure due software exception switch back sri 1 unit function previous data cycle 72 milliseconds period reason sri 2 internal sri software exception caused execution data conversion 64 bit floating point 16 bit signed integer floating point number converted greater represented 16 bit signed integer resulted operand error data conversion instructions ada code protected causing operand error conversions comparable variables place code protected error occurred part software performs alignment inertial platform software module computes meaningful results lift function serves purpose alignment function operative 50 seconds starting flight mode occurs 3 seconds ariane 5 lift occurs function continues approx 40 seconds flight time sequence based requirement ariane 4 required ariane 5 operand error occurred due unexpected high internal alignment function result called bh horizontal bias related horizontal velocity sensed platform calculated indicator alignment precision time bh higher expected early part trajectory ariane 5 differs ariane 4 results considerably higher horizontal velocity values sri internal events led failure reproduced simulation calculations recovered board investigation failure context precisely determined memory addition board examined software code shown consistent failure scenario results examinations documented technical report established reasonable doubt chain events set reflects technical failure ariane 501 2 2 comments failure scenario failure scenario primary technical operand error converting horizontal bias variable bh lack protection conversion caused sri computer stop stated board conversions protected maximum workload target 80 set sri computer determine vulnerability code analysis performed operation give rise exception including operand error conversion floating point values integers analysed operations involving variables risk leading operand error led protection added variables evidence appears ada code variables left reference justification decision found directly source code large amount documentation industrial application assumption agreed essentially obscured deliberately external review reason remaining variables including denoting horizontal bias reasoning physically limited large margin safety reasoning case variable bh turned faulty important note decision protect variables jointly project partners levels evidence trajectory data analyse behaviour variables important note jointly agreed include ariane 5 trajectory data sri requirements specification source operand error identified mission fail specification exception handling mechanism contributed failure event kind exception system specification stated failure failure context stored eeprom memory recovered read ariane 501 finally sri processor shut decision cease processor operation finally proved fatal restart feasible attitude difficult calculate processor shutdown inertial reference system useless reason drastic action lies culture ariane programme addressing random hardware failures point view exception error handling mechanisms designed random hardware failure handled backup system failure due systematic software design error mechanisms introduced type problem computers continued provide estimates required attitude information reason concern software exception allowed required processor halt handling mission critical equipment loss proper software function hazardous software runs sri units case ariane 501 resulted switch healthy critical units equipment original requirement continued operation alignment software lift brought forward 10 years ago earlier models ariane order cope event hold count 9 seconds flight mode starts sri ariane 4 5 seconds events initiated hours reset period selected continued alignment operation 50 seconds start flight mode based time needed ground equipment resume full control event hold special feature made earlier versions ariane restart count waiting normal alignment takes 45 minutes short launch window fact feature 1989 flight 33 requirement apply ariane 5 preparation sequence maintained commonality reasons based view proven wise make software worked ariane 4 cases requirement found valid questionable alignment function operating lifted alignment mechanical laser platforms involves complex mathematical filter functions properly align axis gravity axis find north direction earth rotation sensing assumption alignment positioned fixed position alignment function totally performed flight measured movements interpreted sensor offsets coefficients sensor behaviour returning software error board wishes point software expression highly detailed design fail sense mechanical system software flexible expressive encourages highly demanding requirements turn lead complex implementations difficult assess underlying theme development ariane 5 bias random failure supplier sri specification event detected exception processor stopped exception occurred due random failure design error exception detected handled view software considered correct shown fault board reason view accepted areas ariane 5 software design board opposite view software assumed faulty applying accepted practice methods demonstrate correct means critical software sense failure software puts mission risk identified detailed level exceptional behaviour confined reasonable back policy software failures account 2 3 testing qualification procedures flight control system qualification ariane 5 standard procedure performed levels equipment qualification software qualification board computer software stage integration system validation tests logic applied check level achieved previous level eventually providing complete test coverage system integrated system testing equipment level case sri conducted rigorously regard environmental factors fact expected ariane 5 test performed verify sri behave correctly subjected count flight time sequence trajectory ariane 5 noted reasons physical law feasible test sri black box flight environment makes completely realistic flight test ground testing simulated signals accordance predicted flight parameters simulate angular movements test performed supplier part acceptance test failure mechanism exposed main explanation absence test mentioned sri specification supposed requirements document sri ariane 5 trajectory data functional requirement board noted systems specification sri operational restrictions emerge chosen implementation declaration limitation mandatory mission critical device served identify compliance trajectory ariane 5 principal opportunity detect failure mechanism numerous tests simulations carried functional simulation facility site industrial architect scope testing qualify guidance navigation control performance flight envelope sensors redundancy operation dedicated functions stages flight software board computer compliance equipment flight control electrical system large number closed loop simulations complete flight simulating ground segment operation flow dynamics run order verify nominal trajectory trajectories degraded respect internal parameters trajectories degraded respect atmospheric parameters equipment failures subsequent failure isolation recovery tests equipment items physically present exercised simulated specifically developed software modules open loop tests verify compliance board computer sri performed actual sri understood electrical integration tests low level bus communication compliance tests mandatory preferable parts subsystem present tests level physically exercise completely representative cases logical replace simulators careful check previous test levels covered scope completely procedure important final system test system tests performed 501 addressed specific flight control electrical system qualification order understand explanations decision closed loop simulation describe test configurations simulate large linear accelerations axes test bench discussed ways put sri loop put axis dynamic table stimulate ring laser substitute analog output stimulated mechanically simulation dedicated test input connector electronic board designed purpose similar method mentioned connection testing equipment level substitute analog output ring laser dedicated test input connector signals produced simulation approach provide accurate simulation limits axis dynamic table bandwidth expensive cheaper performance depends essentially accuracy simulation cases large part electronics complete software tested real operating environment project test philosophy defined importance loop recognized decision select method stage programme 1992 decision changed decided actual loop reasons considered fully qualified equipment level precision navigation software board computer depends critically precision sri measurements precision achieved electronics creating test signals simulation failure modes real equipment model base period sri 1 millisecond simulation 6 milliseconds adds complexity interfacing electronics reduce precision simulation opinion board arguments technically valid purpose system simulation test verify interfaces verify system application definite risk assuming critical equipment sri validated qualification previous ariane 4 high accuracy simulation desirable system tests compromise accuracy achieve objectives prove proper system integration equipment sri precision guidance system effectively demonstrated analysis computer simulation heading noted finally overriding means preventing failures reviews integral part design qualification process carried levels involve major partners project external experts programme size literally thousands problems potential failures successfully handled review process easy detect software design errors type primary technical 501 failure evident limitations sri software fully analysed reviews test coverage inadequate expose limitations implications allowing alignment software operate flight respects review process factor failure 2 4 weaknesses systems involved accordance reference board examined weaknesses primarily flight control system weaknesses found related failure spite short time board conducted extensive review flight control system based experience gained failure analysis review covered areas design electrical system embedded board software subsystems inertial reference system board computer flight program software addition board made analysis methods applied development programme software development methodology results efforts documented technical report hope board contribute improvement ariane 5 flight control system software 3 conclusions 3 1 findings board reached findings launch preparation campaign count events occurred related failure meteorological conditions time launch acceptable play part failure external factors found relevance engine ignition lift essentially nominal environmental effects noise vibration payload found relevant failure propulsion performance specification 22 seconds command main engine ignition variations 10 hz frequency started hydraulic pressure actuators control nozzle main engine phenomenon significant fully explained consideration found relevant failure 36 7 seconds approx 30 seconds lift computer back inertial reference system working stand guidance attitude control caused internal variable related horizontal velocity exceeding limit existed software computer approx 0 05 seconds active inertial reference system identical back system hardware software failed reason back inertial system correct guidance attitude information longer obtained loss mission inevitable result failure active inertial reference system transmitted essentially diagnostic information main computer interpreted flight data flight control calculations basis calculations main computer commanded main engine nozzle make large correction attitude deviation occurred rapid change attitude occurred caused 39 seconds due forces destruction automatically initiated designed altitude 4 km distance 1 km launch pad spread area 5 2 5 equipment recovered inertial reference systems analysis post flight analysis data listed number additional anomalies investigated considered significant failure inertial reference system ariane 5 essentially common system presently flying ariane 4 part software caused interruption inertial system computers launch align inertial reference system ariane 4 enable rapid system case late hold countdown function serve purpose ariane 5 retained commonality reasons allowed ariane 4 operate approx 40 seconds lift design software inertial reference system ariane 4 ariane 5 decision protect inertial system computer made excessive variable related horizontal velocity protection provided variables alignment software taking design decision analysed fully understood values variable assume alignment software allowed operate lift ariane 4 flights type inertial reference system failure trajectory 40 seconds flight variable related horizontal velocity reach adequate operational margin limit present software ariane 5 high initial acceleration trajectory leads build horizontal velocity times rapid ariane 4 higher horizontal velocity ariane 5 generated 40 excessive caused inertial system computers cease operation purpose review process involves major partners ariane 5 programme validate design decisions obtain flight qualification process limitations alignment software fully analysed implications allowing continue function flight specification inertial reference system tests performed equipment level specifically include ariane 5 trajectory data function tested simulated ariane 5 flight conditions design error discovered technically feasible include entire inertial reference system system simulations performed number reasons decided simulated output inertial reference system system detailed simulation system included failure detected post flight simulations carried computer software inertial reference system simulated environment including actual trajectory data ariane 501 flight simulations faithfully reproduced chain events leading failure inertial reference systems 3 2 failure failure ariane 501 caused complete loss guidance attitude information 37 seconds start main engine ignition sequence 30 seconds lift loss information due specification design errors software inertial reference system extensive reviews tests carried ariane 5 development programme include adequate analysis testing inertial reference system complete flight control system detected potential failure 4 recommendations basis analyses conclusions board makes recommendations r1 switch alignment function inertial reference system immediately lift generally software function run flight needed r2 prepare test facility including real equipment technically feasible inject realistic input data perform complete closed loop system testing complete simulations place mission high test coverage obtained r3 sensor inertial reference system stop sending effort data r4 organize item equipment incorporating software specific software qualification review industrial architect part reviews report complete system testing performed equipment restrictions equipment made explicit review board make critical software configuration controlled item cci r5 review flight software including embedded software identify implicit assumptions made code justification documents values quantities provided equipment check assumptions restrictions equipment verify range values internal communication variables software solutions potential problems board computer software paying attention board computer switch proposed project team reviewed group external experts report board computer qualification board technically feasible exceptions tasks devise backup capabilities r7 provide data failure component recovering equipment essential reconsider definition critical components taking failures software origin account single point failures include external project participants reviewing specifications code justification documents make reviews substance arguments check made include trajectory data specifications test requirements r11 review test coverage existing equipment extend deemed r12 give justification documents attention code improve technique keeping code justifications consistent r13 set team prepare procedure qualifying software propose stringent rules confirming qualification specification verification testing software consistently high quality ariane 5 programme including external rams experts considered r14 transparent organisation cooperation partners ariane 5 programme considered close engineering cooperation clear cut authority responsibility needed achieve system coherence simple clear interfaces partners end


index users kornerup cs105 pohl examples modified size parent directory dir ch1 03 mar 95 14 55 dir ch2 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 dir 03 mar 95 14 55 12 files


hoofer sailing club 4 6 23 99 800 street madison wisconsin 53706 usa 608 262 1630 608 262 fax upcoming meetings recent events sailing education committee tech oct 12 13 wednesday 11 13 paul wins ig tech championship results board captains monday month hoofer sailing club hsc events news hoofer web calendar hoofer activities events sponsored hoofer sailing club newsletters join hoofer equipment information tech info flying junior info info info boat small information maria soma info badger tech predecessor mit tech boston mit hard water fleet home page boards sailing windsurfing instruction general instruction information flowchart instruction manuals windsurfing basic manual tech beginning sailing manual intermediate racing manual fleet flying junior manual 20 mega construction pages info maria soma manual start sailing sailing fundamentals rescue sailing books hoofer sailing instructor application information racing opportunities overview racing information racing rules 1995 edition experimental rules undergraduate racing team midwest collegiate sailing association intercollegiate yacht racing north america 1996 madison tech intergalactic fall hoofer challenger alumni east coast october 1996 spring chicken final scores saturday april 27 1996 sailing national governing body sailboat racing world wide governing body sailboat racing safety safety rules hoofer sailing club general sailing safety recommendations special sailing programs accessible sailing hoofer youth sailing instruction program hoofer sailing cruising program weather madison conditions forecast north central radar map advanced weather resources administration commodore drew input email hoofer sailing constitution bylaws hoofer sailing history sailing windsurfing information hoofers hoofer web pages initially created set 12 94 1 95 jerry jim rogers larry walker dawn university wisconsin madison feel free send comments jim rogers wisconsin hoofers home page sponsored wisconsin union directorate


previous document cse 322 assignment 8 solution set wednesday february 28 1996 1 nfa table construct dfa table subset construction 2 steps converting nfa problem 1 regular expression start original nfa make start state incoming arcs make final state outgoing arcs eliminate state state good candidate eliminate state eliminate accounting final start state equivalent regular expression simplified 3 proof regular languages closed reversal suppose language regular accepted nfa nfa show accepts behavioral lemma behavioral lemma lemma true prove suppose ay note suppose ay combining observations nfa accepts regular regular document james fix wed feb 28 11 09 35 pst 1996


grades entered jon bodner jonb cs wisc 1326 mound st 1 madison wi 53715 modified september 15 1996


devise 1 1 12 devise 1 1 8 devise 1 2 2 readme setup scripts inside afs


austin kannada information upcoming events posted suggestions feel free send sriram cs utexas contact information member milo amd celebration planning stage venue state park time 11 00am year past time seize moment meet karnataka spirit high time call home time change plan meet outdoors state park 25 miles se austin park boasts wooded trails small lakes volley ball court open areas cricket dining area rented 75 hall handy case bad weather plan food local indian restaurants assuming 75 people attend event cost approximately 7 50 head cost children reduce larger attendance folks reply asap event success wholly depends attending ideas activities volunteers organize hoping hear tuesday 27th feb great family attend occasion suggestions respond 0 anu ph 707 shri amd 1 meera bharath ph 329 nucleus amd 2 venugopal ph 306 venugopal amd 3 ph 837 rama milo amd 4 anu satish rao ph 257 satish risc austin ibm anu 5 ph 329 net academia 6 sriram ph 450 sriram cs utexas


stuff china china home page www server online shopping cool site buy chinese music cnd www server read chinese magazines alternative site hxwz chinese scenary animation click return home page comments luxue cs utexas


note printable postscript version document general information instructor andreas leonidas class hours mon wed 6 10 7 25pm class location 259 engineering terrace office hours monday 4 5pm tuesday 12 1pm appointment office 511 computer science 939 mail andreas cs columbia description programming languages w3101 01 programming prior programming experience assumed catalog description 3101 introduction programming language section devoted specific language intended fluent programming language week meet wednesday september 4 1996 monday october 7 1996 10 classes texts wang paul 1992 introduction ansi unix wadsworth brian ritchie dennis 1978 programming language prentice hall required papyrus bookstore broadway street reserve copies library requirements grading homework assignments final exam homeworks final weight 20 homework assignments handed wednesday due week beginning class extensions partial credit considered incomplete work assignments accepted answers made lag time due date posting answers homeworks accepted marked late late homeworks penalized disagree grade submit grievance writing grader responsible documenting merits case final exam day class monday october 7 1996 closed book exam programming policy acis computer account programming developed machine programs run acis machines programs submitted electronically submit program acis machines accepted graded critically important submitted program listings executions documented documentation internal included comments source file good programming style account substantial portion grade assigned programming assignments make provide adequate test cases robustness approaches general failure grader understand work testing considered error homework submissions assignment required make homework submissions hardcopy paper submission class folder cs department front office electronic submission submit handout describes submit assignments acis account note submissions occur deadline due date hardcopy paper submissions assignments write comments make corrections programs returned electronic submissions test programs class homepage class homepage http www cs columbia 1 created class primary means electronic announcements including corrections hints extensions copies handouts including homework assignments solutions made resource class newsgroup acis set class account cunix machines account visit class directory changing directory cd 1 class newsgroup columbia spring created class encouraged resource forum discussion projects section collaboration students office hours instructor office hours mail collaboration discussion material covered class strongly encouraged acceptable receive students features operating system software programs projects work submit work group work permitted class line discussion cheating line enforced refer computer science department handout exact details open door policy run smoothly feel free find good interesting sooner reverse leave note send mail


software distributions list software distributions entry consists description distribution hypertext link distribution related web pages img utcs general img ssgrg title page img ssgrg publication page 1 p2 software distribution genvoca data structure compiler 1994 written jeff thomas don batory bart geraci retrieve software 2 p2 manuals distribution set manuals describing features syntax p2 written don batory bart geraci jeff thomas retrieve software 3 gnu make required p2 written free software foundation retrieve software 4 le textual layout editor genvoca domain models 1993 written don batory retrieve software 5 genesis extensible dbms 1989 written don batory jim barnett jay roy steve benz al retrieve software 6 prototype design rule checker genvoca domain models 1995 written don batory bart geraci retrieve software modified december 24 1996 don batory batory cs utexas


visit office engineering admissions learn academic curricula including fields engineering degree programs special options op program descriptions discover student services advising registrar career services engineering minority programs women programs find makes college great research institution meet people part college faculty students administrators alumni search college web site phrase college engineering carpenter hall cornell university ithaca ny 14850 2201 dean office 607 255 4326 corporate relations 607 255 development alumni affairs 607 255 corrections updates web site correspondence directly desired recipients


2296 cs367 materials required data abstraction problem solving walls mirrors frank carrano benjamin cummings 1995 text required uw bookstore intend cs major recommend text reference cs1000 basic unix primer courses uw madison cs dept line paper copies doit document desk optional primer stanley lippman 2nd ed addison wesley 1995 recommended reference programmer handbook paul lucas prentice hall 1992 good reference book problem solving object programming walter savitch addison wesley 1996 text cs302 sections presents language programming experience suggest text brush programming skills intro object oriented design jo ellen perry harold levin addison wesley 1995 text cs302 sections fall suitable brush programming skills cs1000 supplement longer reference vi csh shell recommend intend major cs vi quick reference document doit customer center lists commands introduction cs1000 gnu emacs reference card document doit customer center choose emacs vi copyright 1996 james skrentny skrentny cs wisc


fantasy science fiction fantasy science fiction sf fantasy sf felt include pointers types literature main focus sf enjoy read telling find tend prefer light reading won stuff find lists reviews random generic comments science fiction overlap divisions basically work stuff organized authors authors end feel work read belongs overlap fantasy sf listings space opera doc smith military science fiction drake weber hard science fiction heinlein asimov hey vague miscellaneous social science fiction post apocalypse parent updated 07 26 96 douglas stuart department computer sciences university texas austin dastuart cs utexas


robotics lab courses 439 introduction robotics ece cw 780 robot motion planning ece cs 532 theory applications pattern recognition 903 seminar mechanical engineering


peter devries publications devries holy 1990 confocal laser scanning microscopy dimensional volume rendering biological structures proc spie 1205 20 28 wright centonze stricker devries 1992 introduction confocal microscopy dimensional reconstruction methods cell biology special edition vol 38 eds matsumoto academic press san diego pp 1 45 devries carroll 1992 colour imaging drosophila embryos laser scanning confocal microscopy 14 1993 pp 42 48 centonze devries 1992 integrated microscopy resource imr biomedical research bulletin 22 2 84 86 devries 1993 colour confocal imaging application note 07 devries gates carroll 1993 morphing graphics tool display confocal images molecular biology cell 4 devries carroll 1994 morphing graphics tool animating confocal images march 1994 vol 6 3 thomas devries hardin white 1996 dimensional imaging computer visualization 3d movements living specimens science 2 august 1996 273 603 607 hazen devries 1997 methods applications colour confocal imaging press illustration credits report howard hughes medical institute 1992 egg adult hall stephen technique changing science science 17 july 1992 257 caldwell mark 10 great unanswered questions science single cell body discover magazine november 1992 winner annual cover photo contest 1993 wednesday december 11 1996 11 39 pm peter devries pdevries cs wisc


papers constraints constraint hierarchies lisp comp ps cooldraw uist 93 ps debug 94 ps extending hclp 89 ps hclp iclp 89 ps hclp tr nov 88 ps indigo uist 96 ps kaleidoscope ecoop 92 ps kaleidoscope 92 ps readme readme sannella dissertation skyblue 93 ps skyblue uist 94 ps ultraviolet cp 95 ps uw cse 92 07 01 ps uw cse 92 07 02 ps uw cse 92 07 05a ps uw cse 93 01 02a ps uw cse 93 05 01 ps uw cse 93 09 04 ps uw cse 94 03 07 ps uw cse 94 07 07 ps uw cse 96 05 01 ps


report kapu cs washington updated 7 18 95


garbage boehm ps boehm text chambers ps ps diwan ps ps ps ps hoelzle ps hosking ps hudson ps jackson text johnson ps ps moss ps nilsen ps ps russo ps ungar ps ps ps


2026 img late policy programming assignments due end class date assignments handed class midnight day receive automatic penalty 20 subsequent day late 20 deducted weekends count days finally assignment accepted days late programming assignments handed online hand assignment online files timestamped current time date copy handin directory timestamp check handed time late day penalties apply asked hand printed copy program output hand class date hand printouts late give person ta consultant sign date work slip office door put mailbox 5th floor absence signature date hand time determined receive days make section number written printouts hand avoid handing assignments late strongly recommend starting debugging program work correctly significantly longer expect copyright 1996 gareth bestor bestor cs wisc modified march 19 1996


etag content length accept ranges bytes students past present eytan works haystack ben works rethinking cs101 project 6 096 fall 1996 jen alexander spent summer 1995 mit cra nsf distributed mentor project built system sound localization meeting room summer 1995 mark works haystack joshua brown helped develop 6 80s 6 096 rethinking cs101 project summer 1996 clarke works haystack michael coen sc 1994 works sodabot software agent environment construction system click extended abstract sal tj wrote parser natural communication robots part cognitive robotics project summer 1996 matthew sc 1994 ta aaai robot building lab 1993 national conference artificial intelligence washington dc wrote 6 270 organizer manual information 6 270 student run mit robotics taught january 6 270 home page matt supported robots ian horswill ph 1993 built polly robot tours ai lab thesis specialization perceptual processes nominated acm distinguished dissertation award won mit department electrical engineering computer science award mike evans worked tj spring 1996 heji kim spent summer 1995 mit cra nsf distributed mentor project worked motion based multi person tracking joshua kramer works sodabot carol lee ta aaai robot building lab 1993 national conference artificial intelligence washington dc lili liu works haystack antonio jr sc 1988 brown university implemented hybrid object oriented language merges delegation inheritance salil advanced undergraduate project rethinking cs101 project spring 1996 eric works haystack line bibliography project lydia works rethinking cs101 project 6 096 fall 1996 brian scassellati eng 1995 high level perceptual contours variety low level physical features morris joseph levin memorial award master works oral thesis presentation intends work part visual system cog sit works rethinking cs101 project including 6 80s summer 1996 6 096 fall 1996 ellen spertus works information access world wide web works rethinking cs101 project including 6 80s summer 1996 6 096 fall 1996 works rethinking cs101 project 6 096 fall 1996 tim tang supported mark torrance sc 1994 taught communicate naturally natural communication robots tour duty cog settling work intelligent room active notebook karsten ta aaai robot building lab 1993 national conference artificial intelligence washington dc mit robot building collaborative fall 94 chuck van works haystack mike sc 1995 built modular visual tracking system click formal description exploring motor control holly sc 1994 worked multiagent learning adaptable synthetic robot languages membership list ap group urop page back lynn andrea stein home page las ai mit


previous document top construction pda context free grammar assume productions form numbered 1 pda accept language generated function consists rules document james fix mon mar 4 14 26 16 pst 1996


spline bibliography collection references relevant spline theory begun larry presently larry carl de boor updated 06 aug 96 search references fitting pattern aware search run slow machine takes minute email corrections additions deboor cs wisc enter electronic form references sorted alphabetically author reference carrying unique label fashioned author year publication references format makes easy convert tex format journal editor desire make ii easy type code words tex file refmac tex details examples references tex environment format explained detail end tex file journal tex definition abbreviations journal names references abbreviations standard proceedings found proceed tex


skiing couloir extreme couloir extreme extreme people reg double black diamond run blackcomb whistler 1 ski resort north america click extreme people area back button back home page jamrozik cs washington v1 0 march 21 1996


2240 music websters long hair ha back formation fr 1 person artistic gifts interests esp lover classical music 2 impractical intellectual long hair adj long classical intellectual impractical yeah listen gustav mahler favorite composers week include rachmaninoff bach chopin recent listening ella duke place swinging respite long music saturday afternoon ella queen brahms variations piano johan de symphony 1 wind band lord rings romantic cosmic reminds cross wagner john williams mahler symphony 9 bruno walter 1961 pages www music references minor glenn gould homepage classical net home page cd club web server full catalogs bmg columbia house clubs musical amusements page viola jokes tm headquarters modified october 26 1996 david finton finton cs wisc


1452 ted romer publications structure performance interpreters romer lee voelker wolman wong baer bershad levy asplos vii abstract postscript reducing tlb memory overhead online superpage promotion romer ohlrich karlin bershad isca 95 pp 176 187 dynamic page mapping policies cache conflict resolution standard hardware romer lee bershad chen osdi 94 pp 255 266 avoiding conflict misses dynamically large direct mapped caches bershad lee romer chen asplos vi pp 158 170 kernel support recoverable persistent virtual memory chew reddy romer silberschatz usenix mach symposium 1993 pp 215 234 algorithm reminiscent euclidean gcd computing function related scheduling romer algorithmica


program 2 cs302 section 12 ta michael birk assigned tue 9 17 96 due tue 9 24 96 program 2 computer programmer hired local restaurant write program computer replace cash register restaurant items menu pick items set prices item price running total ordered loop cash register operator asks program print total bill track item purchased display final bill creative restaurant sorts food restaurant offers prices lack imagination menu shown menu formatting dollar amounts formatted 2 decimal places hamburger shack hamburger 1 00 1 20 double 2 40 bacon 2 00 quit adding items print bill current subtotal 0 00 enter selection point cash register operator press press program thing add cost item running subtotal redisplay menu updated subtotal enter selection subtotal 1 00 hamburger shack hamburger 1 00 1 20 double 2 40 bacon 2 00 quit adding items print bill current subtotal 1 00 enter selection operator chooses menu program print itemized list ordered total cost item subtotal sales tax 5 sales tax total subtotal sales tax enter selection customer bill 1 hamburger 1 00 2 2 40 1 bacon 2 00 subtotal 5 40 sales tax 0 27 amount due 5 67 notice ordered cost listed 2 times 1 20 2 40 notice double ordered mentioned bill 0 double program stop executing final bill printed hand program 1 hand printed copy source code output displayed program run printed output demonstrate features program show ordering item ordering item ordering item don forget program print section number show printouts mbirk cs wisc


ut austin good good ut austin 23 dec additions university web send announcements good awards recognition user comments web texas worldwide 12 dec list description additions web texas world lecture hall 18 dec additions universities 9 dec additions university list commercial daily update commercial sites open market yahoo daily update items yahoo ncsa gnn discontinued archive ncsa gnn good search kaleidoscope students academics research library computing business administrative 20 december 96 ut teamweb ut austin comments www www utexas


previous web based repository manager brain mapping data jakobovits modayur brinkley dept computer science engineering university washington seattle wa 98195 email rex cs washington repository object api file storage area database tool interface web api implementation control database interfaces references document rex jakobovits tue 7 12 39 06 pdt 1996


cse 321 discrete structures autumn 1996 syllabus instructor paul beame beame cs washington lectures mwf 10 30am 11 20pm electrical engineering 108 office sieg 416 phone 543 5114 office hours mwf 11 30 11 50 thursdays 11 00 11 50 appointment communication instructor ta email encouraged ta jonathan nowitz nowitz cs washington section thursday 1 30 2 20 johnson 437 section thursday 2 30 3 20 loew 216 office hours tuesdays 2 30 3 20 sieg 326a wednesdays 3 30 4 20 sieg 326d quiz sections quiz sections meet 1 30 2 20 thursday loew hall 437 2 30 3 20 thursday johnson 437 attend quiz sections text book text rosen discrete mathematics applications edition text edition close exercises differ editions text consult edition make solving problems follow text fairly closely discrete mathematics texts cover material grading grade based homework midterm final exam approximate weighting components 40 50 homework 15 25 midterm 30 40 final exam homework homework intended major portion assignments due weekly friday expected homework solutions represent original work web cse 321 handouts department web document url http www cs washington education courses 321 subdirectories copies handouts previous offerings including exams purpose provide introduction formal methods concepts computer science topics chapters 1 8 covered main topics logic 1 1 1 3 methods proof 3 1 3 3 counting probability 4 1 4 5 relations 6 1 6 6 graph theory 7 1 7 3 trees 8 1 8 3