advanced software engineering spring 1996 fact sheet class syllabus project role assignments project deliverable requirements list class assignment 1 class assignment 2 class assignment 3 class assignment 4 fact sheet title advanced software engineering designation e1 instructor john ellis mail slot crawford hall 2nd floor ellis phone emergencies work 723 mail iu net john ellis mlb office hours appointment classroom 221 times tuesday thursday 6 30 7 45 pm text mythical man month frederick brooks software engineering practitioner approach 3rd ed roger pressman computer systems students expected communicate instructor mail students accounts mail access expected acquire account university nighthawk zach sun sparcstation tuck personal computers pcs crawford hall floor lab library class project development performed target program executed pcs project documents pc microsoft word 6 0 format home pcs pcs workplace permitted employer approved individual assignments require machine readable form floppy disk pc 3 5 hd grading graded homework assignments participation class examinations mid term final grading based relative weights project grade homework 50 mid term examination 15 final examination 30 class participation 5 total 100 collaboration collaboration working essential authorized full communication class member project undertaking standards area primary responsibility part class team executing class project quality assurance manager configuration manager enforce standards class independent verification validation engineer evaluate agent customer instructor standards benefit experience shown adherence standards results producing working programs time turning assignments assignments turn solution attach assignment includes student number mail address telephone number contacted summary individual task include comments instructor late assignments general late assignments accepted cases instructor chooses accept severe grading penalty apply remember students development depend contribution project class scenario recently hired prestigious software company company won contracts upgrade government developed training aid called low cost flight simulator end development phase single contract awarded company wins competitive product fly demonstration company future depends winning competition talent laden tiger team develop upgrade product win fly product maintainability included criteria final product evaluation 15 working weeks complete task upgrade ready fly demonstration return top 1 fact sheet 2 syllabus 3 roles 4 5 assignment 1 6 assignment 2 7 assignment 3 8 assignment 4 syllabus text mythical man month fred brooks software engineering practitioner approach roger pressman instructor john ellis class date pages topic 1 9 jan 96 introduction class project 2 11 jan 96 40 64 life cycle models 1 26 40 64 management metrics project 3 16 jan 96 29 37 organization 73 83 4 18 jan 96 549 594 controlling disciplines qa cm 693 710 5 23 jan 96 65 127 cost size planning 87 94 173 204 6 25 jan 96 41 50 requirements analysis specification 61 69 7 30 jan 96 97 103 requirements assessment review 8 1 feb 96 207 265 structured analysis object oriented analysis 9 6 feb 96 configuration control board meeting assignment 1 due 10 8 feb 96 315 366 design concepts models 115 123 11 13 feb 96 preliminary design review 12 15 feb 96 367 394 structured design 13 20 feb 96 395 428 object oriented design 14 22 feb 96 team meetings 15 27 feb 96 critical design review assignment 2 due 16 29 feb 96 mid term examination 4 8 mar 96 spring break 17 12 mar 96 513 545 structured programming 127 150 implementation considerations 18 14 mar 96 595 630 software testing 19 19 mar 96 631 661 testing strategies 20 21 mar 96 107 112 formal technical reviews 21 26 mar 96 team meetings assignment 3 due 22 28 mar 96 software inspection 23 2 apr 96 481 511 real time systems 24 4 apr 96 713 735 case case tools 25 9 apr 96 cleanroom software engineering 26 11 apr 96 179 226 silver bullet 663 691 post development sw evolution 27 16 apr 96 153 175 maintenance documentation assignment 4 due 28 18 apr 96 229 292 mythical man month 20 years 29 23 apr 96 artifact demonstration post development evaluation 30 25 apr 96 107 112 evaluations review final examination return top 1 fact sheet 2 syllabus 3 roles 4 5 assignment 1 6 assignment 2 7 assignment 3 8 assignment 4 project roles role assigned job description summary responsible creation software product primary responsibilities include 1 cost schedule performance task leader team 2 authoring cs fit requirements specification document 3 advising design 4 supervising implementation testing responsible resource allocation tracking primary hung ju cost analysis project henry control computer human administrator cho resource acquisition cs fit supervision collects data issues bi weekly cost consumption reports final report responsible change control primary responsibilities include configuration management plan tracking change requests discrepancy reports calling conducting change control hsin chi board meetings archiving configuration dillon preparing product releases data manager chen responsible final preparation cs fit documentation prior delivery customer ensures documents delivered accordance program milestones establishes program documentation standard ensures documents conform yuh responsible testing test rosa evaluating individual modules evaluation chen subsystems preparing engineer cs fit test plans test documentation primary responsibility developing aspects design designer task leader winnie fit includes assessing impact alternative implementations proposed primary responsibility implement individual modules design serve technical specialist paul programming language implementor operating system cs fit requirements specification design stages implementor develop tools experiment unfamiliar language features needed project return top 1 fact sheet 2 syllabus 3 roles 4 5 assignment 1 6 assignment 2 7 assignment 3 8 assignment 4 project deliverable requirements list item num document responsibility software development plan task leader software configuration management configuration data manager plan program documentation standards configuration data manager coding standard maintenance configuration data manager manual cost schedule status report project administrator bi weekly software requirements task leader specification interface requirements task leader specification software design document designer test plan test evaluation engineer user manuals task leader code implementor test report test evaluation engineer return top 1 fact sheet 2 syllabus 3 roles 4 5 assignment 1 6 assignment 2 7 assignment 3 8 assignment 4 assignment 1 note track hours spent project activities turn weekly activity report forms project administrator task leader familiarize present design low cost flight simulator program write report general impressions design utility product include description major deficiencies found review requirements document ensure reflects present configuration product identify requirements software fails satisfy code features explicitly required establish key project objectives major project activites development support identify key project milestones establish initial project schedule provide project administrator salary figures personnel locate references cleanroom software development provide short summary salient features approach including projection applicability project project administrator create weekly activity report war forms team members report hours expended specific individual tasks coordinate design form task leader ensure captures costs working project schedule salary figures developed task leader assign preliminary earned values milestone plot planned scheduled milestones time duration project cost work scheduled line baseline program plan collect actual costs project start activities 25 jan 96 interviewing team members include initial cost project status reports prepare initial cost schedule status report shows entire project initial cost initial actual cost work performed duration project collect weekly activity reports team member prepare updating cost work performed week present bi weekly team hard copies task leader customer configuration data manager investigate write short report availability software configuration management scm tools run pc make recommendation task leader scm tool project recommendation scm tool recommend collect existing project documents establish project library team members establish log track copies controlled documents establish procedures distribution authorization make documents establish criteria placing documents code configuration control design format hard copy soft copy discrepancy reports change requests write configuration management plan defines scm applied program plan complete covers topics baseline definition change management coordinate scm plans task leader task leader approval report team scm accomplished project including tools procedures forms make software configuration control board evaluate existing program documentation consistency format identify common deficiencies individual documents prepare report documents findings generate documentation standard defines required format program documents effects current documents generate coding standard maintenance manual describes program source code formatted enhance product maintainability issues relating readability include module identification program header logic description embedded comments traceability implementation back design documentation test evaluation engineer locate papers testing object oriented programs determine unique characteristics testing oo programs coordinate task leader establish target platform configuration project product determine testing aids programs target platform prepare written report evaluating learned generate test plan document fully describes software testing conducted documented program designer locate papers software design approaches write report summarizes differences object oriented design structured design review existing program design material compare documented design actual code identify inconsistencies structure existing design data design document identifies top level architecture design detailed design update reflect inconsistencies found design documentation implemented code assist team leader implementor evaluating proposed product suggesting designs consistent current design implement implementor locate study references object oriented programming programming language concentrate concepts classes inheritance write short report summarizes oo structures implemented language make report designer task leader coordinate preparation coding standard maintenance manual configuration data manager assist task leader designer evaluating implementation impact suggested designs aware commercial shelf cots public domain shareware software team assist implementation return top 1 fact sheet 2 syllabus 3 roles 4 5 assignment 1 6 assignment 2 7 assignment 3 8 assignment 4 assignment 2 note track hours spent project activities turn weekly activity report forms project administrator individual assignments due 27 feb work advance date order project remain schedule task leader write change requests discrepancy report cr drs requirements document source code reflect inconsistencies turn cr dr configuration manager support cr drs software configuration control board meeting presented requirements document log document configuration manager make authorized return updated document configuration manager code authorized result cr drs coordinate designer implementor required recommend significant change discrepancy product turn cr configuration manager project administrator collect weekly activity reports wars weekly prepare bi weekly cost schedule status reports presentation team customer hard copies task leader customer discuss expected effort remaining team member coordinate remaining tasks task leader update estimated cost completion eac configuration data manager collect cr drs team members log cr drs records assign numbers schedule review meetings administer meeting describe proposed cm plan ensure team members understand processing defined cm plan coordinate release documents authorized prepare configuration status report customer test evaluation engineer conduct regression tests program determine product functions properly test suite test plan matches product capabilities assistance implementor write original tests test section product covered current test suite report results testing customer write cr drs test plan identifying coordinate proposed task leader ensure degrade quality developed product turn cr drs configuration manager support cr drs meeting presented test documents authorized log document configuration manager make authorized return updated document configuration manager designer write cr drs design document identifying content compared development requirements turn cr drs configuration manager support cr drs meeting presented design documents authorized log document configuration manager make authorized return updated document configuration manager coordinate task leader implementation proposed enhancements system establish feasibility implementation technical cost schedule factors prepared present justify findings change considered implementor write cr drs coding standard maintenance manual reflecting found review turn cr drs configuration manager support cr drs meeting presented justify proposed existing standard terms effects existing code activities coding standard maintenance manual authorized log document configuration manager make authorized return updated document configuration manager assist test evaluation engineer developing tests work designer evaluate implementation proposed turn code write helping project team members return top 1 fact sheet 2 syllabus 3 roles 4 5 assignment 1 6 assignment 2 7 assignment 3 8 assignment 4 assignment 3 note track hours spent project activities turn weekly activity report forms project administrator individual assignments due 26 mar work advance date order project remain schedule task leader continue manage team activities finalize requirements statements approved requirements added product update requirements document add customer approved requirements product prepare project status report customer highlights major milestones date team ability meet milestones identifies milestones remaining completion project includes cost data provided project administrator includes configuration status status cr drs provided configuration manager includes evaluation management style applied project effective offer suggestions change improve project performance project administrator continue collect wars provide bi weekly discuss expected effort remaining team member coordinate remaining tasks task leader update eac configuration data manager continue maintain documents code configuration control maintain records cr drs audit document code made date ensure authorized cr dr made items returned configuration control provide task leader customer audit report provide task leader configuration status report test evaluation engineer prepare unit integration final testing approved cr drs product write additional tests verify sections feel fully covered existing tests conduct testing program accordance project schedule supply tests verify code report task leader adequacy previous product tests inclusion customer report include recommendation program release change designer complete design approved code authorized coordinate ideas implementor primary user documents present design preliminary design review critical design review cdr respond action items assigned reviews make updates design documents implementor implement approved program approved defined designer turn code wrote time return top 1 fact sheet 2 syllabus 3 roles 4 5 assignment 1 6 assignment 2 7 assignment 3 8 assignment 4 assignment 4 note track hours spent project activities turn weekly activity report forms project administrator individual assignments due 23 apr work advance date order project remain schedule task leader continue manage team activities prepare final project report customer summarize project objectives describe management plan addressed objectives feel managed development process victim circumstances describe software engineering principles applied project summarize performance team members fulfilling individual roles mention things demonstrate understanding role responsibilities describe lessons learned exercise suggest differently improve success project project administrator continue collect wars provide bi weekly prepare final project report customer provide final ssr 18 apr 96 project remaining work show current eac summarize activities project describe efforts contributed project effectiveness feel data considered making project decisions describes lessons learned exercise suggest differently improve success project configuration data manager continue maintain documents code configuration control maintain records cr drs ensure project end final tested configuration formal control provide customer hard copy soft copy documents prepared modified project prepare final project report customer provide copy cr drs submitted project include final report cr drs summarize activities project describe efforts contributed project effectiveness feel policies managing configuration aided hindered progress team describe lessons learned exercise suggest differently improve success project test evaluation engineer continue perform document testing code generated changed project lead final product demonstration prepare final project report customer include description testing activities performed project found test cases describe test cases provided describe efforts contributed project effectiveness feel findings aided hindered progress team describe lessons learned exercise suggest differently improve success project designer prepare final project report customer summarize activities project describe efforts contributed project effectiveness describe design methodology software design output methodology easily understood team members describe lessons learned exercise suggest differently improve success project implementor continue support required implementation product prepare final project report customer summarize activities project describe code generated project describe efforts contributed project effectiveness describe lessons learned exercise suggest differently improve success project return top 1 fact sheet 2 syllabus 3 roles 4 5 assignment 1 6 assignment 2 7 assignment 3 8 assignment 4


cmps131 elementary computer programming gultekin ozsoyoglu general information description fall 1996 schedule logistics grading grading policy programming assignments check grades study materials examples book supplemental instruction string library header string library implementation software servers compilers borland windows 3 windows nt 3 updated borland windows 95 windows nt 4 0 updated codewarrior macintosh os www resources line dictionary computing marling cmps131 homepage kraft cmps131 homepage stephan cmps131 homepage feedback cmps131 tekin ces cwru updated 27 august 96


operating system fall 1996 page construction print copies material cets printers important dates program 1 sep 25 homework 2 sep 30 exam 1 oct 29 exam 2 dec 5 lecturer lee teaching assistant hee hwan office hours monday 12 00 ~ 1 00 friday 10 00 ~ 11 00 description lecture notes introduction operating system structure process unix process multi programming process control block concurrent programming interprocess communication monitors cpu scheduling memory deadlock introduction distributed systems homeworks projects exams homework 1 homework 2 solution homework 3 sample data 0 sample data 1 sample data 2 sample data 3 sample data 4 sample data 5 sample data 6 sample data 7 multi processor sample data 8 multi processor project part introduction solaris thread 1 2 3 project part ii program alarm based thread switching round robin program process communications sockets makefile readme inet server tcp client tcp server udp client udp midterm solution years exams exam 2 solution fall 94 exam 3 solution fall 94 visitor 9 04 96 updated november 18 1996


advanced computer graphics mon 5 7pm room 102 office hours 2 4pm wednesdays office 719 broadway rm 1224 students class notes student projects


comp 96 computers society summer session 1996 20 june 24 class monday friday 11 30am 1 00pm sn 011 instructor kevin arthur sn 364 office hours mon wed 1 00 2 30 tue thu 3 00 4 30 appointment updated 20 june 4 10 pm syllabus objectives requirements format topics semester plan schedule topics assignments modified june 6th announcements latest june 4 material lecture notes assignments term project assigned readings handouts line resources web comp 96 mailing list cs unc related pages oit lab schedules university north carolina chapel hill department computer science send comments questions arthur cs unc


eecs 590 homepage fall 1996 organizer professor gregory wakefield eecs 4118 eecs ph 763 mail umich time location tuesdays 12 30 1 30 1001 eecs building noted requirements prerequisite graduate standing permission instructor 1 credit hour receive credit attend class lectures calendar 10 research seminars write page summary research seminars expect design research seminar series choosing wide variety seminars occur weekly semester university michigan seminars technical merit interesting seminars james joyce politics 1400 drawn departments college engineering technical departments university doubt contact instructor make seminar receive credit attending research seminar host seminar sign completed research seminar series 590 form questions read fine print form contract instructor seminars college engineering posted level college web page publication series weeks ahead university record posts seminars areas labs department systems division ongoing seminars faculty communications signal processing control eecs 500 590 special note prof wasserman hosting special series systems eecs 500 include research seminars series registered eecs 500 double count seminars credit courses meeting dates attendance required 9 3 9 10 10 15 11 12 12 10 hand completed seminar sheets meetings sponsor department electrical engineering computer science return um eecs systems division homepage updated beth olsen 8 28 96


cs offered spring quarter 1995 96 academic year focus methods create animation sequences high level goals emphasizing generation motions table contents basic information lecture presentation schedule topics covered readings computer animation computer animation companies software student profiles student projects animation links line forms registration form due fri april 12 5 00p feedback form submit anytime stanford www cs dept robot james pages maintained cs stanford updated april 1 1996


cs270 information documentation exam information grades grades email homework notes program assignments class roll samples information contact chris lexington kentucky office tuesday thursday 10 30am 11 30am wednesday 8 00am 9 00am cs pc lab ee annex rm 203 home 606 269 work fax email pop uky return homepage


cpsc 210 data structures information homework 4 due tuesday november 26 monday december 2 final exam syllabus tutors homework 1 homework 2 homework 3 instructor keith jackson cs tamu 335 hrbb 847 grader wenyu kong cs tamu time section 503 tr 9 10 50am section 504 tr 12 45pm 2 00pm location zach


computer science 535 fall 1996 computer science department boston university current information homework solution submission date directory gacs handout pointers instructor peter gacs email gacs cs bu phone 353 2015 office mcs 277 office hours tue 3 30 5 00 wed 1 30 3 00 time tue thu 2 00 3 30 place mcs texts required lovasz computation complexity translation gacs file gacs comp notes ps ftp cs bu 180 pages print sided bind bu copy center recommended leonid levin fundamentals computing lewis papadimitriou elements theory computation prentice hall 1981 hopcroft introduction automata theory languages computation addison wesley 1979 papadimitriou computational complexity aw 1994 isbn 0 201 1 description topics covered machine models undecidability complexity notions important algorithms compression speed theorems nondeterminism np problems randomized algorithms prime number tests description complexity randomness information pseudorandom generators quadratic public key cryptography parallel algorithms exponential lower bounds alternating machines games decision trees communication complexity homework homework tuesday returned tuesday 50 credit late class period credit student exception submitting homework time exams midterm class period length final exam single double sided sheet handwritten notes crib sheet allowed final exam covers material grading final grade homeworks count 30 exams 30 40 incomplete grade exceptional circumstances cooperation discuss homework classmates write understand questions solution suspicious


cs 736 advanced operating systems fall 1995 marvin solomon office computer sciences office hours 9 00 tr office phone 262 1204 email address solomon cs wisc news watch space latest updates updated thu dec 14 10 30 08 cst 1995 dec 14 schedule project presentations listed dec 8 final exam monday dec 18 2 45 4 45 pm room 1221 computer sciences statistics building project presentations room 2310 friday dec 15 10 noon oct 20 past midterm exam sample answers oct 19 midterm exam wednesday october 25 7 15 9 15 pm room 1221 computer sciences final exam monday december 18 exact time place determined sep 29 project suggestions information project avaiable aug 30 readable version figure 5 multics memory management paper contents news summary lecture information text schedule grading project project presentations summary intended give broad exposure advanced operating systems topics assume students good semester operating systems cs 537 equivalent cover topics presented considerably detail synchronization interprocess communication memory management file systems protection security distributed systems lecture information lecture 11 00 12 15 tuesday thursday 1263 computer sciences text satisfactory textbook graduate level operating systems class selection 26 classic papers text structured readings journal articles conference proceedings purchase readings doit macc documentation desk 20 readings semester similar identical previous semesters copy make individual papers copy class discuss topics relevant current papers click tentative schedule lecture detail detail review papers discussion major topics themes papers focal point active participation discussion strongly encouraged participate actively daily class ll lot expect sit quietly listen 15 weeks class grading exams midterm final project worth 1 3 total grade exams designed verify carefully read readings project required complete term project list suggested topics provided strongly encouraged make project projects involve implementation tools experimental implementations algorithms suggested research literature measurement studies simulations projects experimental component literature surveys design papers sufficient projects person groups larger smaller groups approved case basis write term paper summarizing results project paper meet standards research publication graded quality writing content make short presentation project class project presentations schedule project presentations room 2310 computer sciences statistics times approximate 10 00 stubbs andrew francis salmon 10 20 wang chien pang james chen eric larsen fritz craig jordan 10 40 prasad deshpande avinash sodani jim basney rajesh raman biswadeep nag 11 00 wei chen taxiao wang lei cao yanming cao richard zhang todd munson 11 20 qiu xinyi wang yufei zhu chen sridhar gopal michael lee solomon cs wisc thu dec 14 10 30 08 cst 1995


66 438 database fundamentals instructor david spooner fall 1996 administrative documents introduction syllabus unofficial lecture notes html lecture notes construction cases haven proof read risk homework assignments homework 1 due wednesday september 11 1996 sample solution homework 2 due wednesday september 25 1996 sample solution homework 3 due wednesday october 9 1996 sample solution homework 4 due wednesday november 6 1996 sample solution homework 5 due wednesday november 20 1996 project documents project team assignments project home pages project part 1 description project part 2 description project part 3 description oracle introduction oracle lectures lecture 1 august 26 lecture 2 august 28 lecture 3 september 4 lecture 4 september 9 lecture 5 september 11 lecture 6 september 16 lecture 7 september 18 lecture 8 september 23 lecture 9 september 30 lecture 10 october 2 lecture 11 october 7 lecture 12 october 9 lecture 13 october 21 lecture 14 october 23 lecture 15 october 28 lecture 16 november 6 lecture 17 november 11 lecture 18 november 13 november 18 lecture 19 november 20 november 25 lecture 20 december 2 database fundamentals fall 1996 david spooner cs rpi


cs 835 seminar networked computing systems fall 1996 instructors professors bestavros crovella yates time monday 1 3 pm location mcs credit audit 4 credits description seminar hands approach examining design current networked computing systems adopt case study software system world wide web server consist code walk throughs lectures code walk throughs include kernel level linux network file system process scheduling functions application level web server apache lectures cover research issues server design performance modeling simulation techniques seminar prerequisite corequisite participating commonwealth server project led instructors student interested studying implementation networked computer system invited attend attendees week job track main themes discussion interesting points made participants participation seminar encouragement consent instructors students taking credit expected complete related project chosen consultation instructors project serve master project phase proposal accepted instructor phase serve ms project students form teams work projects project scope scale linearly team size work explicitly load balanced fair credit lead ms project subsequent semester schedule end semester student participating asked talk short time 10 mins project related topic finally information commonwealth server project follow link schedule proposed week week schedule topics cover weeks 5 9 code walkthroughs version 2 0 10 linux kernel linux 2 0 10 sw f96 weeks 10 11 code walkthroughs version 1 1 1 apache server apache 1 1 1 place presenter scribe week mail notes cs bu linked home page week 1 9 9 research problems networks computer systems presenter mark crovella notes scribe mark crovella week 2 9 16 review related work networks computer systems presenters bestavros crovella notes scribe alex notes references dns tutorial week 3 9 23 tour web transaction presenter david yates scribe paul references apache api http spec week 4 9 30 networking tutorial presenter david yates scribe paul references socket tutorials tcp tutorial week 5 10 7 networking walkthrough presenter david yates references socket system calls linux week 6 10 15 networking walkthrough ii presenter david yates week 7 10 23 networking walkthrough iii presenter david yates week 8 11 11 process scheduling walkthrough presenter david yates week 9 11 18 project proposals presenters students week 10 11 25 filesystem walkthrough presenters crovella week 11 12 2 server code walkthrough presenters chow yates week 12 12 9 server workload characterization server performance modeling techniques presenter bibliography oceans project nice bibtex format references web abrams williams fox caching proxies limitations potentials proc 4th intl world wide web conference december 1995 transarc corporation afs file system distributed computing environments white paper 1996 de performance analysis www server proc cmg conference 1996 note viewable ghostview print anderson patterson application fast packet 1996 arlitt performance study internet web servers msc thesis june 1996 anderson lutz patterson design large scale raids 1995 basu buch vogels von eicken net user level network interface parallel distributed computing proc 15th acm symposium operating systems principles december 1995 network interface protected user level communication phd thesis june 1996 hoschka performance engineering world wide web application cache design proc 5th world wide web conference 1996 dahlin serverless network file systems phd thesis december 1995 druschel banga lazy receiver processing network subsystem architecture server systems proc 2nd osdi conference oct 1996 felten li software support virtual memory mapped communication proc 10th international parallel processing symposium april 1996 engler kaashoek fast flexible message demultiplexing dynamic code generation proc acm sigcomm august 1996 ncsa prototype html postscript proc 1st intl world wide web conference 1994 kwan reed user access patterns ncsa world wide web server abridged version appeared november 1995 issue ieee computer markatos main memory caching web documents proc 5th world wide web conference 1996 power choices randomized load balancing phd thesis 1996 mogul case persistent connection http dec wrl research report 95 4 1995 mogul network behavior busy web server clients dec wrl research report 95 5 october 1995 padmanabhan mogul improving http latency proc 2nd intl www conference oct 1994 wallach engler kaashoek application specific handlers high performance messaging proc acm sigcomm august 1996 williams abrams fox removal policies network caches world wide web documents proc acm sigcomm august 1996 ncsa web server technology advanced guide world wide web information providers recent book interesting projects oceans project nice collection links interesting projects excuse duplicates horizon project university illinois urbana champaign linux high performance computing project university california berkeley open group osf research institute cambridge works web operating system technologies pablo project university illinois urbana champaign scalable initiative shrimp project princeton university net project cornell university world wide web traffic analysis virginia tech maintainer david yates created 1996 08 30 updated 1996 10 08


cs database system implementation fall 1996 professor don batory ta tong wang syllabus homeworks problem set 1 solution problem set 2 solution problem set 3 solution project read test dml files project 4 retrieve dml sample output ret dml sample output replace dml sample output append dml sample output delete dml sample output dml test files project 5 dml dml dml dml raw data files project 4 5 data dept data student data contest contest run benchmark dml script 3 raw data files data student data dept data usr bin time measure running time order tuples attributes tuple output wrote perl script transform outputs order compare usr bin diff turns 10 programs passed benchmark error programs failed pass reasons test sample output email suggestions comments dec 96 tong wang


2443 computer science 302 section 19 time mwf 1 20 place 226 noland instructor todd turnidge office hours tba lab hours tba announcements class notes classes handout structs program 5 started information read started general information text facilities grading policies syllabus tentative syllabus assignments text reading programming assignments solutions handouts collection class handouts date class mailing list information send messages class home page home page sections 302 information general interest including information tutors consultants windows operating system email netscape cs302 sections find information provided instructors helpful handout gregory sharp difficulty modified mon nov 4 11 43 36 1996 todd turnidge turnidge cs wisc


img img computer science department computer architecture cps 420 home page cps 420 televised taught semester 60 students campus michigan state university students registered national technological university ntu satellite information syllabus assignments information relating labs project software software visitor site contemplating enrolling cps 420 contact faculty member scheduled teach enrolled cps 420 direct questions current instructor ta mail address comments website cps msu


university illinois pablo research group note endorsed licensed affiliated estate pablo project img visitor september 29 1995 contents research overview major group projects research group members upcoming conferences job opportunities contact information research overview pablo academic research group located department computer science university illinois urbana champaign direction professor dan reed members group investigate interaction architecture system software applications massively parallel computer systems major research topics include performance instrumentation data analysis tools integration data parallel compilers hpf performance analysis virtual reality techniques performance data immersion real time adaptive control portable parallel file system software data caching staging experiments parallel input output systems input output characterization studies variety group papers postscript form description group computing facilities addition general information national high performance computing communications hpcc program arpa hpcc program software tools high performance computing major group projects pablo performance analysis environment high performance fortran hpf virtual reality massively parallel systems www server performance analysis portable parallel file system ppfs input output characterization scalable initiative research group members group photograph project leader dan reed message love research img research staff ruth ana cristina eric shaffer ying zhang post doctoral associates luiz de rose smirni randy graduate students chris matt gardner thomas kwan tara mario medina mike jim luis group alumni university connecticut postdoc 94 95 beth frank ncsa staff 94 95 dirk grunwald university colorado ra 86 89 phd ra 95 96 jay huber corporation ra 93 95 ms dave argonne national laboratory ra 91 94 ms stephen netscape corporation ra 94 96 mcs burton li ra 95 96 al malony university oregon ra 86 90 phd oleg oracle ra 95 96 ms roger noe platinum solutions staff 91 96 microsoft ra 94 96 mcs jon reid claris corporation staff 94 96 phil roth chen systems ra 93 94 ms netscape corporation ra 93 95 mcs keith shields tera computer ra 91 95 ms brian inktomi ra 88 94 phd chun wang ibm postdoc 94 95 updated august 8 1995 mpeg videos input output intensive applications obtained virtual reality environment recent paper characterization hpcc application patterns supercomputing 95 virtual reality displays dynamic performance data paper analyzing months ncsa www server logs displays day life ncsa www server performance data portable parallel file system ppfs upcoming software distribution release 4 0 pablo performance environment demonstration input output characterization results paper integration rice fortran compiler pablo performance environment expanded description pablo defining data format white paper presentation keys building successful performance tools upcoming conferences acm federated computing research conference fcrc meetings related performance analysis high performance input output sigmetrics 96 conference measurement modeling computer systems sigmetrics 96 symposium parallel tools iopads fourth annual workshop parallel distributed systems job opportunities find research interesting enjoy working academic environment applying research programmer post doctoral associate positions contact information department computer science university illinois 1304 west springfield avenue urbana illinois 61801 usa telephone 217 333 group secretary fax 217 244 report problems server root guitar cs uiuc usage statistics www server change 15 july 1996


metacat watching cognitive architecture analogy making metacat project attempt computationally model key aspects human cognition foundations earlier project called computer model high level perception analogy making central theme underlying idea nondeterministic stochastic processing distributed large number small computational agents work aspects analogy problem simultaneously speeds achieving kind differential parallelism processing occurs collective actions agents working higher level executive process directing events lies firmly paradigm emergent computation time incorporates ideas traditional paradigm symbolic ai kind middle ground current research concerned extending model create richer representations analogies makes involves idea watching ability perceive remember patterns occur processing solves analogy problems based ability metacat understand explain answers eventually perceive analogies analogies faculty douglas hofstadter graduate students jim marshall affiliated projects letter spirit douglas hofstadter john rehling support research supported funding center research concepts cognition provided iu college arts sciences


rhythm music language description music spoken language organized hierarchically structured patterns strong weak accents rhythm people expert recognizing rhythmic structure music speech guiding musical linguistic behavior match perceived rhythm capacity understood computer program approaches project concerned 1 experimental investigation perception production rhythm people 2 development computational model learning processing simple rhythmic patterns evolving model based idea world captured activity computational device responsible dealing general terms project concerned methods establishment temporal lock computational device environment realtime activity computer world suspect temporal locking essential human speech music behavior behaviors catching ball basketball pushing child swing faculty robert port michael gasser postdoc mauri 1996 7 graduate students doug eck paul fred cummins linguistics affiliated projects accent reduction project diane port robert port support office naval research information click back return computer science research page


project principal investigators steve carr philip sweany current graduate students chen ding wu current undergraduate students don denise wieber description goals project source level analysis improve memory performance advanced microprocessors current research efforts include algorithms combining software prefetching unroll jam automatic optimization linear algebra codes optimizing loop order cache performance high level analysis low level code generation project intimately rocket project publications carr combining optimization cache instruction level parallelism pact 96 boston ma michigan technological university department computer science technical report tr95 06 mckinley carr tseng improving data locality loop transformations acm transaction programming languages systems michigan technological university department computer science technical report tr95 09 carr ding sweany improving software pipelining unroll jam proceedings 29th annual hawaii international conference system sciences carr compiler algorithm qr decomposition proceedings seventh siam conference parallel processing scientific computing carr mckinley tseng compiler optimizations improving data locality proceedings sixth international conference architectural support programming languages operating systems carr kennedy improving ratio memory operations floating point operations loops acm transactions programming languages systems november 1994 carr kennedy scalar replacement presence conditional control flow software practice experience 24 1 january 1994 carr kennedy compiler numerical algorithms proceedings supercomputing 92 callahan carr kennedy improving register allocation proceedings sigplan 1990 conference programming language design implementation invited publications carr kennedy compiling scientific code complex memory hierarchies proceedings 24th hawaii international conference system sciences carr kennedy blocking linear algebra codes memory hierarchies proceedings 4th siam conference parallel processing scientific computing technical reports carr wu scalar law diminishing returns michigan technological university department computer science technical report tr96 04 submitted journal programming languages carr compiler dense matrix factorizations michigan technological university department computer science technical report tr95 08 submitted acm transactions mathematical software carr wu analysis unroll jam hp 715 50 michigan technological university department computer science technical report tr95 05 carr wu analysis loop permutation hp pa risc michigan technological university department computer science technical report tr95 03 carr wu performance scalar replacement hp 715 50 michigan technological university department computer science technical report tr95 02 research grants hiding latency level 1 level 2 cache alpha 21164 digital equipment corporation 1995 1997 83 500 improving cache performance scientific applications nsf ccr 1994 1997 82 584 109 899 matching funds improving memory performance hp pa risc hewlett packard company 1994 1995 56 000 cache conscious loop hewlett packard company 1993 41 000 phd dissertations carr memory hierarchy management rice university department computer science september 1992 masters theses guan unroll jam guided linear algebra based memory reuse model michigan technological university department computer science december 1995 ding improving software pipelining unroll jam memory reuse analysis michigan technological university department computer science june 1996


robotics intelligent machines laboratory department electrical engineering computer sciences university california berkeley areas research aro muri center integrated approach intelligent systems minimally invasive surgery control hybrid systems adaptation learning biological artificial systems air traffic management systems partners advanced transit highways path tele system risc robotics motion planning nonholonomic velocity constraints algebraic geometric computing robotics vision vision micro robotics people professors post doctoral scholars graduate students undergraduate students alumni related links robotics demos movies robotics tools ucb robotics ftp server tools publications ucb computer vision group interfacing reality robotics related sites interest www sites interest ucb robotics lab moy 23 sep 1996


complementarity problem net result decades research subject complementarity problems diverse applications engineering economics sciences established fruitful discipline mathematical programming monographs surveys documented basic theory algorithms applications complementarity problems role optimization theory page serves center information research complementarity problems listing meetings interest community pointers software complementarity problems links pages interest listing researchers application areas table contents directory researchers complementarity software complementarity problems applications complementarity relevant web links directory complementarity researchers software complementarity problems mcplib collection nonlinear mixed complementarity problems problem description access gams source files problems complementarity toolbox matlab evolving freely toolbox consists mex files mcplib problems accessed matlab access gams mex files give function evaluations sparse evaluations machine specific versions downloaded path solver toolbox details solver interface gams describes library routines hook solver gams mcp modeling language contact steve gams rutherford colorado ferris cs wisc details miles miles extension classical newton method solution computed lemke complementary pivot algorithm newton point define newton direction merit function measures violation feasibility complementarity miles employs restart procedure cases newton point computed due termination secondary ray elements appearing data path runs gams mcp directly matlab path solver applies techniques similar newton methods smooth systems nonsmooth mcp algorithm consists sequence major iterations consisting approximation linearization step similar miles construction path newton point solution approximation search path newton point exists path constructed step partially computed path problem nonmonotone strategy employed applying path search helps avoid convergence local minima norm function underlying nonsmooth equation number function evaluations required small list solver options document ne ne algorithm based system nonsmooth equations ne algorithm implemented gams mcp solver robustness improved proximal perturbation strategy giving algorithm equations handled directional derivatives smooth smooth algorithm based system nonsmooth equations approximately solving sequence smooth approximations lead nonsmooth system iteration smooth approximation original system formed accuracy approximation determined residual current point implemented gams mcp system solvers implemented subsystems gams compared paper applications complementarity engineering economic applications complementarity problems paper lists applications complementarity problems preprocessor gams modeling language economic equilibrium problems formulated easily gams home page information national energy modeling system papers related algorithms paper giving overview project relevant web links michael trick operations research page interesting links interior point web information interior point methods argonne national laboratories archive modified october 24 1996 michael ferris ferris cs wisc


voice natural language laboratory department computer science duke university durham north carolina overview area natural language processing systems seek develop class task oriented natural language processors enable human machine collaborate efficiently problem solving emphasize importance fast convenient communication minute multimodal input voice typing touch screen output synthesized voice video screen work primarily concentrates theories semantics systems emphasis mechanisms handling complex noun phrase resolution focusing mechanisms dialogue comprehension user models order test theories continuously build natural language interactive systems study performance typical problem solving situations human subjects experimental work examples human machine dialogue study yields data related achieved level efficiency personalities faculty alan biermann curry phil long graduate students amit yue joyce michael fulkerson greg krishnan rajagopalan paul zheng liang richard smith chris jenkins barry koster robert rodman ruth day projects dialogue theory virtual environments programming tutor circuit fix shop collaborative modeling text abstraction voice interactive processing system document management argumentation theory metaphor resources publications cs duke january 17 1996


refresh main html basefont 4 click image skip animation page express dml publications page img ucla data mining laboratory home page click text


content length 3092 accept ranges bytes cognitive robotics home page page construction cognitive robotics project professor lynn andrea stein ap group artificial intelligence laboratory massachusetts institute technology cognitive robotics projects neo modular systems imagination project natural communication robots adaptable synthetic robot languages visual systems modular visual tracking system postscript formal description html high level perceptual contours variety low level physical features gzipped postscript 2 cog humanoid robot joint project http www ai rest cog group cognitive robotics project supported national science foundation young investigator award professor stein opinions findings conclusions recommendations expressed material author necessarily reflect views national science foundation emily wade fund massachusetts institute technology gordon brown fund department electrical engineering computer science massachusetts institute technology office naval research multidisciplinary university research initiative trainable modular vision systems mit ai lab cbcl maintained lynn andrea stein las ai mit copyright 1996 massachusetts institute technology rights reserved


content length 2560 accept ranges bytes infolab systems information access language based systems home page globe ai laboratory infolab systems group develops agents answer questions world wide web ordinary english generally agents connect information seekers information sources natural language seekers people computers sources computers people sources provide information variety media text photographs audio video agents centered start natural language system developed boris katz mit artificial intelligence laboratory start information annotations form natural language sentences phrases retrieval enabling handles globe server answers questions weather reports maps geographical questions ai lab server answers questions mit artificial intelligence laboratory including questions people work research adding news server connections multiple news sources answers questions daily news information work contact infolab systems group infolab systems group artificial intelligence laboratory massachusetts institute technology


programming language group interested aspects programming languages design semantics implementation current members include zena ariola stefan visiting faculty mathematics computer science universiteit amsterdam netherlands lars hansen barton massey bjorn amr sabry sabry cs uoregon


img optics topography involving cornea lens optical cs berkeley project overview home page optical research group project studying cornea front part eye responsible quarters light refraction eye visual correction contact lenses recently developed corneal require precise information shape cornea geometric modeling scientific visualization project developing sophisticated techniques provide improved shape representations patients corneas affiliated computer graphics group computer science division university california berkeley research collaboration school optometry berkeley late breaking exciting news optical project submissions siggraph 96 accepted siggraph 96 electronic theatre video entitled optical project uc berkeley computer aided cornea modeling visualization siggraph 96 paper entitled reconstructing curved surfaces specular reflection patterns spline surface fitting normals information optical project research goals faculty students optical cs berkeley mailing list software suite optical papers visual results algorithm prof barsky november 1994 silicon valley siggraph talk proposal newly designed 1995 1996 copyright image optical humor optical photos group photos refraction keratometry mathematics statistics conference related information sites berkeley computer graphics shirt hit siggraph 95 information professor brian barsky barsky cs berkeley finger information keywords corneal topography videokeratography keratometry contact lenses corneal topographic mapping contact lens design fabrication corneal surgery radial rk laser situ net surfer number img access homepage copyright 1996 optical research project rights reserved www maven dan garcia cs berkeley img send feedback made macintosh img img img img optical representative icon page pages clicking bring back


parallel distributed computing group professor jehoshua shuki bruck graduate students vasken bohossian charles fan michael gibson paul marc xu research group focusing number fundamental issues related design algorithms protocols architectures enable efficient fault tolerant parallel distributed computing scientific commercial applications research program blend basic research experimental systems activities creating balance theory practice experimental activities centered laboratory fault tolerant parallel distributed computing includes cluster powerful workstations connected communication hubs consisting high speed interconnects scope program consists highly interrelated topics efficient parallel computing distributed environments fault tolerant parallel distributed computing models computing inspired neural networks projects rain reliable array independent nodes publications electronic technical reports related links california institute technology dept electrical engineering dept computation neural systems cns 188 computation theory neural systems links caltech library computer username caltech toc doc library computer username glimpse eccc mathscinet britannica alta vista check access logs site email comments fan paradise caltech


titan generation infrastructure integrating computing communication funded national science foundation cise institutional infrastructure program computer science faculty university california berkeley developing computing communication infrastructure type computing system called titan computing system comprises integrated ensemble computing communication elements organized provide user number services characterize practice computing century important multimedia video capabilities delivery vehicles storage communication ii huge computing power clusters workstations operating single parallel computer enormous storage space iii innovative parallel languages debuggers libraries iv high accessibility mobile fixed locations progress report 1995 96 progress report 1994 95 project presentation 1995 nsf pi meeting duke university june 1995 primary components project core computing component forms architecture operating systems portion core computing component titan castle forms parallel programming compilation portion core media component driving applications general cs research infrastructure architecture os network workstations network workstations high performance integrated system areas research component active messages fast communication primitives culler fast implementations conventional communication layers fast sockets mpi culler anderson global management resources anderson xfs distributed file system striping workstation disks operative caching client memories anderson patterson network virtual memory patterson anderson culler benchmark suite patterson castle core parallel programming language support castle project integrated software support parallel computing areas research castle component split performance programming language nows parallel machines include mantis graphical debugger culler yelick multipol library distributed data structures designed ease programming irregular problems large scale distributed memory multiprocessors yelick scalapack scalable version titanium compiler language support parallel programming distributed memory multiprocessors aiken yelick graham parallel version object oriented language sather feldman multimedia systems support content development areas research multimedia component tenet protocols real time applications ferrari multimedia research group continuous media applications systems infrastructure rowe multimedia authoring initiative harrison ensemble language document centric interactive systems graham harrison computer graphics sequin barsky forsyth canny malik info pad prototype providing ubiquitous wireless access multimedia data brewer katz rowe daedalus project wireless networking strategies katz connection driving applications global climate modeling gator demmel soda hall building walkthrough sequin simulation animation package part path project varaiya yelick bat bayesian automated taxi autonomous vehicle control part path project russell cancer cell simulation yelick demmel digital repositories intelligent access massive quantities multimedia information distributed repositories wilensky stonebraker cs technical report server electronic environmental library project nasa eosdis alternative architecture project topography involving cornea lens barsky database stonebraker scalable web services brewer general cs research infrastructure software warehouse cs division home page david culler culler cs berkeley culler cs berkeley


caltech archetypes etext project caltech archetypes etext project combines work areas investigation programming archetypes programming briefly abstraction class programs common structure includes class specific design strategies collection program designs implementations experimental electronic textbook content based idea programming archetypes send comments suggestions cs caltech etext cs caltech overview paper concurrent program archetypes html ps delivered keynote address 1994 international parallel processing symposium overview prototype implementations developed collection prototype implementations documentation program code applications developed based applications electronic textbook collection prototype chapters electronic textbook based archetypes chapters initially developed based authoring tool called etext engine related papers student projects collection papers student projects archetypes electronic textbook links collection links related projects textbooks bibliographies repositories code documentation program code anonymous ftp etext caltech noted individual documentation postscript versions html documents anonymous ftp etext caltech collected repository copyright 1994 mani chandy rights reserved reproduction part work permitted educational research provided copyright notice included copy compositional systems research group caltech cs dept modified berna massingill september 1996 work supported part darpa grant n00014 91 crpc grant ccr 9120008


artificial intelligence group cu boulder format picture position email office phone email names qualified cs colorado faculty img liz bradley asst professor 1 303 492 img mike eisenberg asst professor duck 1 303 492 img gerhard fischer professor gerhard 1 303 492 img clayton lewis professor clayton 1 303 492 img james martin assoc professor martin 1 303 492 img wharton asst professor adjunct 1 303 541 separate pages connectionist systems group lifelong learning design group graduate students img casey boyd 1 303 492 4800 img catherine brand brand 1 303 492 img michael jones 1 303 492 img bill myers 1 303 497 img reinhard 1 303 492 img stephen 1 303 492 recent graduates img roland 1 xxx xxx xxxx img christopher 1 xxx xxx xxxx img patrick 1 xxx xxx xxxx img john 1 xxx xxx xxxx img nick wilde wilde 1 xxx xxx xxxx cu boulder computer science department home page cs colorado


uw madison robotics lab 302 mechanical engineering 1513 university avenue madison wi 53706 vladimir lumelsky director lab review lab research activities people lab lab technical reports compressed postscript simulation library v2 0 related courses robotics seminar recent projects selected publication abstracts maze searching algorithms effect kinematics sensor based motion planning dynamics sensor based control jogger model sensing planning decentralized intelligence groups robots special topics sensor based motion planning tethered robots underwater robots kinematic redundancy sensitive skin project human centered systems computational geometry related research uw madison neil duffie manufacturing systems chuck dyer computer vision robert lorenz sensors actuators jude shavlik machine learning robotics links ieee society robotics automation ieee ras ieee ras tech committee robot motion path planning robotics internet resources page robotics web servers robotics nasa telerobotics research program robotics frequently asked questions list local links uw madison cs dept uw madison ai group uw madison college engineering comments suggestions errata hert cs wisc


learning case adaptation case based reasoning description central research challenge case based reasoning cbr developing methods adapting retrieved solutions solve problems current adaptation methods rely hand coded task specific information placing considerable burden system developer project studies case adaptation knowledge automatically learned reused models cbr systems starting domain task independent adaptation information augment general knowledge learning domain specific information adaptations perform learning storing traces solution process successful adaptations enable traces reused future adaptations method cbr systems learn solutions make existing solutions memories faculty david leake graduate students andrew david wilson support research supported grant iri knowledge models cognitive systems program iris division national science foundation information cbr research indiana click return computer science research page


university utah department computer science vision robotics research vision robotics group investigates broad range problems computer vision sensing robotics work involves interdisciplinary multi investigator efforts group works closely alpha 1 group utah center engineering design principal faculty tom henderson john hollerbach william thompson projects laboratory extraction micro terrain features hard copy benchmark suite mobile robotics reverse engineering mechanical parts utah robotics kit utah prototyping environment upe virtual prototyping assemblies vision based navigation unstructured outdoor terrain visual motion miscellaneous facilities support research vision robotics supported grants advanced research projects agency national science foundation img img vision cs utah


project toolkit building problem solving environments funding project funded cise directorate national science foundation grant number ccr 9527130 entitled integration symbolic computing frameworks classes problem solving archetypes collaborating participants california institute technology computer science applied mathematics center advanced computing research mani chandy mani cs caltech dan dim caltech james pool caltech indiana university pete beckman beckman cs indiana randy bramley bramley cs indiana viswanathan cs indiana dennis gannon gannon cs indiana todd green cs indiana juan cs indiana mexico state university subhankar banerjee cs nmsu srikant srikant cs nmsu los alamos national laboratory advanced computing laboratory john acl lanl gov dan quinlan c3 lanl gov drexel university bruce char mcs drexel tom hewett hewett ocs drexel jeremy johnson mcs drexel mcs drexel university california irvine donald uci overview project trademarks registered trademarks www pages property respective owners home page beckman extreme indiana


www alert redirection response server handled client http www cs washington research projects weird www connection moved permanently document moved


grail graphics imaging laboratory home page grail graphics imaging laboratory university washington department computer science engineering information people courses research projects publications theses software data cool images neighborhood department computer science engineering university washington seattle local interest grail disk usage policy comments mtwong cs washington 23 july 1996


wwt logo wisconsin wind tunnel project future massively parallel computers built workstation nodes programmed high level parallel languages hpf support shared address space processes uniformly reference data wisconsin wind tunnel wwt project seeks develop consensus middle level interface languages compilers system software hardware proposed interface cooperative shared memory evolutionary extension conventional shared memory software hardware recently working revolutionary interface called tempest tempest mechanisms programmers compilers program libraries implement message passing transparent shared memory hybrid combinations developing implementations tempest thinking machines cm 5 cluster workstations wisconsin cow hypothetical hardware platform approach cow bus snooping logic implemented fpgas sram collaborating wisconsin paradyn project adapt performance tools tempest overview annotated bibliography slides overview talk november 1995 slide page slides page complete technical papers contributors funding sources origin project wisconsin week article wwt paradyn related projects wisconsin cs computer architecture group computer sciences department university wisconsin world wide computer architecture information updated 6 july 1995 mark hill markhill cs wisc


cs database group homepage cs database group suny buffalo people faculty member dr zhang student member cheng phd graduated 1996 student member phd student student member john whitley phd student student member wendy chang phd student ece student member sreenivas student member student member song student member wen student member thomas johnson student member bhat student member venkatesh student member hao wang student member deepak murthy publications distributed database system project multimedia database project page construction don surprised email cs buffalo


flux operating system project img fluke nested process architecture flux project objectives provide infrastructure flux highly efficient component based systems flexible degrees inter component trust initially oriented hardware enforced protection ii provide transparent flexible control resources arbitrary subsystems iii distribute free usable versions developed software recently developed kernel os structure future work based paper microkernels meet recursive virtual machines describes system efficiently supports recursive virtual machines paper paper cpu inheritance scheduling appeared osdi 96 draft api fluke kernel html format 1 postscript 2 postscript beware 110 pages long white space design rationale document forthcoming year design features provide large performance gains safely storing portions normal kernel objects user space outlined slides work progress talk december 95 sosp avoids kernel entry exit common cases artist fluke nested process architecture fluke os providing encapsulated environments untrusted applications project members papers core os related papers module management related papers dsm related papers software flux os toolkit toolkit provide infrastructure constructing operating systems mach kernel major component project improved kernel kernel development moved fluke major work mach kernel stopped unix server distribute version server pa mach 4 4 lite system snapshot freely distributable pa risc source binaries form hosting 4 4 lite system quarks alpha release portable efficient distributed shared memory system moss highly functional dos based part flux os toolkit completely modularized developed mach shared objects project creates portable object descriptions class declarations future flux project enable system provided polymorphic functions pa risc gnu tools maintain gnu language tools hp pa risc architecture provide recent versions source hp ux binary forms related utah projects computing resources support group research operating systems related language work sponsored grants arpa nsf hewlett packard ibm center software science utah state center excellence job openings research staff student fellowships research assistantships directions hotel information directions salt lake airport computer science department university information salt lake hotels university utah department computer science home page lepreau cs utah modified fri nov 1 1996


mathematics experiences image processing metip project director steven tanimoto department computer science engineering university washington box 352350 seattle wa 98195 2350 usa major educational problem united states countries students grades 12 lose interest mathematics science progress school students complain mathematics difficult don past simple arithmetic response concerns national council teachers mathematics identified number features grades 5 8 curriculum include order motivate students stay interested favor conceptual learning rote operations emphasize practical mathematics encourage discussions group learning encourage exploratory open ended learning goal metip project digital image processing meet objectives developed series applications designed students manipulate digitized images choice materials intended enrichment activities part standard classroom curriculum teachers play roles activities student learning leading discussions concepts students explored computer metip project number programs students explore mathematics image processing pixel calculator click order free copy today image warper click order free copy today transform programmer click order free copy today applications developed primarily 386 486 pentium based pc running microsoft windows application pixel calculator apple macintosh list people working metip project closely related project involved study multiplayer educational activities metip project working integrate www activities ideas prospects direct distributed image databases educational image processing project collecting experiences users xform image transformation software fun software putting current version documentation online link set demonstrations xform put graduate students seminar winter 1996 xform programming environment integrated subset common lisp offers technical essentials approach learning teaching computer programming fundamental attraction approach students learn program computer pursuit creating neat visual effects digital images people things interest successfully installed software discuss teaching programming contact links related projects listed metip supported part national science foundation grant number mdr 9155709 bricker cs washington tanimoto cs washington modified tuesday 6 february 1996


center lifelong learning design university colorado boulder human computer communication research group center lifelong learning design part department computer science institute cognitive science university colorado boulder mission center establish theoretical work building prototype systems scientific foundations construction intelligent systems serve amplifiers human capabilities information topics introduction making learning part life gift wrapping approach technology jargon upcoming events members collaborating groups internal password required meetings courses current research grants projects research prototypes publications 1995 publications 1994 earlier recent presentations relevant resources web news vl 96 conference chi 96 conference child play 96 world wide web 5 96 cu boulder update 22 august 96 cs colorado


ucla parallel computing laboratory ongoing research overview maisie parallel simulation language visual programming environment maisie sesame system software measurement evaluation travler system support mobile computing wamis cad microsystems high performance wireless network systems uc data parallel language message latencies sp2 results mpl maisie mpi research sponsors recent publications courses parallel computing directions lab los angeles int airport research personnel principal investigator prof bagrodia graduate students bhargava yu chen stephen andy kahn richard meyer brian park sundeep prakash ph 1996 ha yoon song suresh thakur research staff ph 1995 engineer programmer analyst xiang zeng prospective graduate student alumni claudia 1996 dhagat ph 1995 calvin leung 1996 jay martin 1994 expect work published upcoming conferences symposia remind upcoming deadlines research area access restricted members group interesting sites ucla ucla computer science department ucla csd research laboratories informs page georgia tech parallel simulation william mary simulation laboratory parallel distributed computing chinese university hong kong scientific computation ucsd warped simulation university cincinnati parallel distributed simulation university texas san antonio simulation bookmarks university calgary updated tuesday 19 nov 96 16 25 56 pst designed richard meyer


img william weihl associate professor computer science engineering researchers large scale parallel software group develop easier methods writing efficient parallel programs projects group conducted jointly parallel distributed operating systems group current research conducted major areas work begun system continuing autopilot project compiler modifications widely languages goal work develop compiler runtime system mechanisms raise level abstraction parallel programs making easier port tune program studying architectural operating system support low overhead communication multi programmed multi user systems goal combine speed today high performance multiprocessors protection guarantees distributed systems developing techniques high performance simulation multiprocessor systems work focuses parallel implementation proteus single processor simulator finally group members involved projects dedicated designing evaluating parallel algorithms applications img img img


university utah department computer science utah verifier uv project formal methods system design verification uv cartoon synopsis process designing modern digital hardware systems multiprocessors challenging ways terms correctness problems solved projects area years large group sizes constantly face changing requirements personnel newly unanticipated facts applying today verification tools verify entire systems nature requires inordinate amounts human effort computer resources darpa award utah verifier uv project hopes address solve problems making formal verification techniques apply problems industrial scale ideas developed context real systems projects avalanche specific activities date include efficient explicit enumeration methods based partial order reduction methods model checking trivial industrial bus specifications specific activities planned include creation suite verification tools explained uv system block diagram protocol verifier accept descriptions extended subset protocol modeling language key extensions area incorporating abstract data types uninterpreted functions employ efficient fly explicit enumeration algorithms unique feature support refining high level protocol descriptions assume infinitely sized communication buffers finite shared buffers cv cycle level verifier cv accept descriptions extended subset verilog key extensions area incorporating abstract data types perform implicit enumeration efficiently recently developed graph representations logic functions multiway decision graphs al cv support pragmatically motivated features including facility accept test vectors cross validating cv models sv switch level verifier sv feature parametric forms boolean expressions investigated incorporating input constraints symbolic simulation vectors verification conditions established sv symbolic simulation derived descriptions provided cv tool db design requirements base db shared members project group core db based pvs verification system sri expressive power pvs theory description language permit design requirements captured high level abstraction permit future extensions exploit pvs full power permit state transition relation cv translated pvs prove key system properties db facilities translate assertions design requirements base assertions verified protocol cv data layout cycle level details tools ensure consistency models valuable aspect organization permit regression verification runs design db tool hypertext based api allowing designers pursue links pieces specification benchmark examples benchmark examples cutting hierarchical levels abstraction released key verification benchmark suite delivered distributed shared memory cache protocol refinement hardware realization industrial bus routing network refinement bus transactions refinement bus arbitration schemes flow control bus interface logic details prospective graduate students post doctoral fellows encouraged contact cs utah http www cs utah details faculty gopalakrishnan alan davis students ratan ravi img img


intelligent learning environments summary cognition technology group vanderbilt ctgv developing jasper problem solving series based program designed motivate students learn reason mathematically complex realistic problems part project developing collection computer based learning environments incorporate project constructivist theories generative learning techniques intelligent learning environment design resulting paradigm microworld exploration problem solving interesting systems constructed tested 1 trip planning microworld jasper system students construct evaluate reason solutions trip planning problems 2 linked trip planning microworld students study develop graphical tools quickly answer questions distance time rate gas consumption system test bed studying richness computer traces protocol analysis systems incorporate beneficial aspects intelligent tutoring systems cognitive tools reflective interaction coaching current work area focusing onr sponsored project studying student understanding ac circuit concepts goal develop instructional methodologies computer based environments training complex maintenance troubleshooting tasks index selected bibliography graduate students tamara balac email tamara vuse vanderbilt email cs stephen owens links web ai education general ai links navigate web img modified november 03 1996


centre systems update img science members img centuries logical math css groups science capture simplest hotlist common sense notions fuzzy logic offers feedback characterize subjective ideas search mathematician george fuzzy logic courses offered sfu 2 css speakers series announcements feature day william havens associate professor computing sciences constraint reasoning methodology intelligent systems applications director intelligent systems lab


1075 multiscalar logo wisconsin multiscalar project technical papers talks multiscalar people contributors funding sources related projects software wisconsin cs computer architecture group computer sciences department university wisconsin world wide computer architecture information information interest local users updated 20 february 1996 guri sohi sohi cs wisc


center display technology manufacturing dtm university michigan center national focal point research development flat panel display technologies focus manufacturing processes materials keys producing low cost high quality displays dtm center established university michigan college engineering cooperation state michigan federal government flat panel display industry picture center located north campus university michigan img site points interest site late breaking news dtm navigation links img img img img img img img dtm research newsletter public facilities events ftp img questions pertaining dtm center send dtm info umich


case based reasoning group img img img img img img img request information webmaster


etag content length accept ranges bytes trainable modular vision system project joint undertaking mit ai lab cbcl center biological computational learning mit funding received onr multidisciplinary university research initiative muri principal scientific issues underlying work project learning vision research undertaken group tackle inter complexity learning training set size prior information configurable learning networks performance analysis steerable pyramid attention mechanism series online report summaries projects funded fully part muri accessed clicking applications link projects key ideas objectives milestones challenge approach multidisciplinary team management structure system modular vision system architectures applications slides show overview structure microsoft provided generous assistance project information contact ichiro 545 technology square rm 721 cambridge ma 02139 ai mit phone 617 253 fax 617 258 updated november 15 1995


case based reasoning group cbr web server case based reasoning group part department computer science university massachusetts amherst find specific information research publications abstracts personnel purpose research professor rissland cbr group deals case based reasoning cbr ai legal reasoning cbr machine learning cbr information retrieval cbr scheduling current research projects include projects investigate multiple case representation indexing schemes precedent based cbr effect high level reasoning goals supporting cbr tasks vice versa mixed paradigm blackboard based architecture cbr generation retrieval strategies context information retrieval automatic selection parameters dynamic scheduling problems research cbr ir case based information retrieval system cbr determined relevant cases generate queries submitted inquery cbr system framework heuristic search guide retrieval cases pertinent knowledge adversarial argument frank blackboard based architecture create diagnostic reports tailored user prescribed goals report type broadway case retrieval classification system learns set distinguished cases actual prototypes demonstrated classification power broadway cbr system retrieval relative type case cabot project case based search developed inductive learning algorithm retrieval adaptation mechanisms cbr ml project investigated selection training instances characterizations cases point employed cbr systems mixed paradigm cbr rbr hybrid precedent based cbr system img server traffic summary reports cbr web server administrator update 2 17 95


galileo sci projects wisconsin table contents galileo project description publications related projects sci wisconsin project description publications project members galileo wisconsin obligatory header picture galileo galileo project conducted computer architecture group university wisconsin madison project focuses medium long term evolution processor system architectures emphasis memory system specifically studying relationship processor main memory future systems completely separate today integrated extent processing capability bit storage merge ways increasing chip penalties instructions limited chip bandwidth designers place capacity processor chip module eventually sizable fraction main memory resides chip represented arrow labeled diagram possibility migration processor capability dram chips eventually central processor iram arrow specific research focuses areas examining performance impact large memory latencies limited memory bandwidth current future microprocessor based systems performance modeling design points processor memory integration spectrum cache hierarchy design integrated systems design main memory banks integrated system program execution systems multiple integrated chips architectures galileo specific publications exploiting optical interconnects eliminate serial bottlenecks doug burger james goodman appears 3rd international conference massively parallel processing optical interconnects october 1996 architectures execution model doug burger stefanos kaxiras james goodman university wisconsin madison computer sciences department technical report 1317 july 1996 quantifying memory bandwidth limitations current future microprocessors doug burger james goodman alain ka gi appears 23rd international symposium computer architecture 1996 declining effectiveness dynamic caching general purpose microprocessors douglas burger james goodman alain ka gi university wisconsin madison computer sciences department technical report 1261 january 1995 related projects iram uc berkeley kyushu univeristy japan sci wisconsin group closely involved research relating cache coherent shared memory multiprocessor design specifically studying scalable coherent interface coherence transport layers sci ieee standard 1596 1992 base platform exploration ideas sci standard specifies linked list based hardware coherence protocol includes support efficient synchronization primitives queue lock bit optimizations sharing patterns pairwise sharing fresh read sharing standard includes definition extremely high bandwidth 1 gb low latency transport layer processing elements individual clusters performing sci related research topics extending sci growing sharing structures efficient hardware synchronization shared memory multiprocessors scalability study base sci protocol including standard extensions aggressive consistency models shared memory multiprocessors wisconsin sci publications glow cache coherence protocol extensions widely shared data stefanos kaxiras james goodman proceedings 10th acm international conference supercomputing 1996 extensions sci stefanos kaxiras proceedings 10th international parallel processing symposium april 1996 techniques reducing overheads shared memory multiprocessing alain ka gi douglas burger james goodman appears architecture paper proceedings 9th acm international conference supercomputing july 1995 university wisconsin madison computer sciences department tr 1995 simulation sci transport layer wisconsin wind tunnel douglas burger james goodman proceedings international workshop sci based high performance low cost computing march 1995 university wisconsin madison computer sciences department technical report march 1995 hierarchical extensions sci james goodman stefanos kaxiras university wisconsin madison computer sciences department technical report july 1994 extending scalable coherent interface large scale shared memory ross evan johnson university wisconsin madison computer sciences department technical report 1136 february 1993 hardware support synchronization scalable coherent interface sci stein james goodman philip university wisconsin madison computer sciences department technical report 1117 november 1992 interconnect topologies point point rings ross johnson james goodman university wisconsin madison computer sciences department technical report 1058 december 1991 analysis sci ring steven scott james goodman mary vernon university wisconsin madison computer sciences department technical report 1055 november 1991 lower bounds latency scalable linked list cache coherence ross johnson university wisconsin madison computer sciences department technical report 1029 june 1991 analysis synchronization mechanisms shared memory multiprocessors philip james goodman university wisconsin madison computer sciences department technical report 1005 february 1991 set efficient synchronization primitives large scale shared memory multiprocessor james goodman mary vernon philip proceedings international conference architectural support programming languages operating systems april 1989 university wisconsin madison computer sciences department technical report 814 project participants faculty jim goodman graduate students doug burger alain ka gi stefanos kaxiras project alumni ross johnson steve scott modified fri aug 2 09 12 00 1996 doug burger dburger cs wisc


visual design analog computers description analog field computers strongly visual component design analogy concrete butterfly wing abstract matrix ability design field computer depends ability visualize system research involves defining transformations map system analog computer formalizing inference methods visual design faculty jonathan mills gerard allwein graduate students students research area send mail jonathan mills gerry allwein affiliated projects iu visual inference laboratory information modern analog field computing related projects analog vlsi robotics laboratory return computer science research page


case based selection problem solving methods scientific computation description project applies case based reasoning problem selecting methods solving sparse linear systems scientific computation hard fast rules determine solvers apply experience based reasoning cbr promising method solver selection goal develop algorithms automatically learn methods apply problems types hardware publicly distribute implementation algorithms solvers developed part project scientific computation faculty david leake graduate students vikram subramaniam david wilson affiliated projects scientific computation indiana university support research supported systems assistantship indiana university computer science department information cbr research indiana click return computer science research page


img victor stephanie senior research scientist principal research scientist associate director lcs computers fast ubiquitous part lives appetite information increasing result researchers sought develop convenient human computer interface ordinary people effortlessly access process manipulate vast amounts information education decision making purchasing entertainment researchers spoken language systems group speech interface user language ideal natural flexible efficient economical form human communication tasks lend spoken input making travel arrangements selecting movie fact exercises interactive problem solving solution built incrementally user computer playing active roles conversation language based input ouput technologies developed integrated reach goal speech recognition combined natural language processing computer understand spoken commands context previous parts dialogue output side information provided computer computer requests clarification converted natural sentences delivered verbally james glass david research scientist research scientist research activities fall categories basic research aimed quantifying modeling aspects speech communication chain ranging development computational models humans hear modeling linguistic regularities spontaneous speech area research results develop algorithms speech recognition language understanding research category integrate component technologies prototype spoken language systems varying capabilities spoken language systems real application domains developed group voyager system future drivers explore navigate unknown urban setting system enables traveller make airline reservations galaxy system intended provide easy access line information information highway language tutor directed interactively learning foreign languages img img img


constraint description research concerned finding fast algorithms constraint satisfaction problems constraint satisfaction problem series constraints imposed set discrete variables task find set values variables satisfies constraints simultaneously scheduling traffic lights light discrete states constraints states traffic lights require cross streets green lights time constraint satisfaction problem thousands variables thousands constraints constraint satisfaction problems arise diverse areas include generating tests correctness electronic circuits understanding line drawings computer solving combinatorial problems predicting folding rna molecules set constraint satisfaction problems np complete problem sets fast algorithm constraint satisfaction problems found brute force algorithms constraint satisfaction problems extremely slow nonetheless algorithms found fast problems np complete problem sets research concerned finding characterizing algorithms problem sets constraint satisfaction problems solved quickly aim finding general algorithms fast wide range problem sets faculty paul walton jr graduate students dmitri neil haven support nsf img return computer science research page


computational geometry lab mcgill slightly web page computational geometry lab mcgill part school computer science mcgill things reach faculty visitors postdoctoral researchers students alumni information research computational geometry bibliography cryptography related files reach mail courier computational geometry laboratory school computer science mcgill university 3480 university street suite 318 montreal quebec h3a 2a7 canada electronic mail cgm cgm cs mcgill ca phone 514 398 4838 faculty professor david professor luc professor professor sue whitesides visitors postdoctoral researchers dr dr pei dr dr stephen students alumni david min kong alain img


img construction walkthru project interactive virtual building environments simulation based design principal investigator carlo sequin project explore interactive virtual environments existing planned buildings key model serves driving force tools algorithms user interfaces computer model soda hall computer science building work tasks extending soda hall model making photo realistic mark reconstruction surface details range video data laura downs parallelizing radiosity walkthrough project object associations making walkthru model interactive rick bukowski object associations simple practical approach virtual 3d manipulation paper published proceedings symposium interactive 3d graphics monterey california april 1995 bukowski ms thesis csd 95 886 walkthru editor realistic effective interaction virtual building environments considerably detail design implementation walkthru interactive editor postscript increasing rendering efficiency soda hall model maryann simmons automatic object simplification converting model 0 ajay unigrafix vrml conversion randy keller efficient dynamic objects walkthrough models integrating model fire simulator rick bukowski interactive walkthru environments simulation developing tools make building model generation easier rick lewis 1995 abstract building model generation 1996 ilp presentation bmg building model generator projects overlap part img arcade architectural computer aided design evaluation ^^^ back soda hall home page back graphics projects page page editor carlo sequin