coherent virtual machine cvm coherent virtual machine cvm software distributed shared memory dsm system developed university maryland project goals include multiple protocol support cvm initial configuration memory models single multiple writer versions lazy release consistency sequential consistency eager release consistency cvm extensible source freely modules written classes easily derived master protocol class allowing protocols easily incorporated multi threading support cvm multi threaded allowing overlap computation communication context switching additionally plan extend multi threading support multiprocessor nodes dec machines fault tolerance cvm limited amount fault tolerance allowing recover node failure time status cvm runs unix systems including sparcs sp 2 digital unix running dec multi threading support undergoing performance optimization cvm freely gnu copyleft project members dr pete keleher papers cvm manual related projects dsm bibliography updated november 20 1996


active harmony discussion group links complex software systems today characterized distribution heterogeneity changing resource requirements capacities attributes make static systems unsuitable wide range tasks high performance long lived order achieve high performance environments short period time systems dynamically adapt changing resource capacities application requirements designing building active harmony software architecture supports distributed execution computational objects environments innovations dynamic execution environment dynamic adaptation network resource capacities computational objects created application requirements resource capacities change active harmony attempt maximize data affinity load balancing intelligent resource allocation object migration automatic application adaptation framework permits runtime adaptation algorithms data distribution load balancing active harmony export detailed metric interface applications allowing access processor network operating system parameters applications export tuning options system automatically optimize resource allocation measurement tuning class objects programming model programmers write applications include ways adapt computation observed performance changing conditions shared data interfaces active harmony support shared memory semantics computational objects location allowing peer peer client server computations exploit simplified programming model fine grained sharing permitted traditional shared memory environments innovations include support heterogeneity data program code multi level security scheme adapts data code interfaces degree trust computational objects support dynamic execution environment unique aspect active harmony work emphasis adapting heterogeneous changing environments researchers studied constituent issues plan address emphasis inter relationships objects system primary result research infrastructure set algorithms permit global resource optimization changing conditions project members dr jeff hollingsworth dr pete keleher discussion group forming reading discussion group investigate issues check back week 11 18 details papers partial list exploiting process lifetime distributions dynamic load balancing effective distributed scheduling parallel workloads interaction parallel sequential workloads network workstations runtime measured workload characteristics parallel processor scheduling open questions fastest sequential process migration parallel applications process state moved prior scheduling parallel application scheduling parallel client server applications data affinity account scheduling important don care latency throughput scheduling perform move local networks internets updated november 11 1996


zpl project department computer science engineering university washington box 352350 seattle wa 98195 2350 usa zpl info cs washington zpl array based programming language suitable computations previously written fortran 77 zpl programs run fast sequential parallel computers modifications special directives zpl machine independent recompilation run zpl program machine zpl higher level concepts arrays borders eliminate error prone indexing tedious looping typical zpl programs shorter easily written easily understood modified computer scientists find concepts zpl regions directions borders shattered control flow conclusion zpl ideal engineering scientific programs walk small zpl program write compile run program machine scientific programmers area enrolling cse autumn programmed zpl check recent language project overview high level overview zpl program walk 10 minute introduction language web based zpl compiler compile zpl programs web browser papers papers manuals related zpl zpl details line information sample programs people project members horizon description group direction future projects acknowledgments list helped support work zpl uw cse uw zpl info cs washington


pattern separation mathematical programming www page describes work pattern separation linear programming mathematical programming section university wisconsin madison computer sciences department history method outline mathematical optimization approaches linear programming long problems pattern separation 65 linear programs construct planes separate linearly separable point sets separation nonlinear surface linear programming surface parameters appeared linearly quadratic polynomial surface formulations fail sets separable surface linear parameters multisurface method msm 68 93 avoided difficulty msm separates 2 disjoint finite point sets dimensional euclidean space 1 choose 2 parallel planes dimensional euclidean space close region planes points sets regions 2 parallel planes points 1 set points 2 discard points regions 2 parallel planes 3 repeat process points 2 parallel planes region 2 parallel planes points points multisurface method tree msm variant multisurface method developed 93 finite disjoint point sets dimensional euclidean space goal msm determine sequence planes dimensional euclidean space separate sets 1 determine plane dimensional euclidean space minimizes average distances points point set lies side separating plane assigned similarly point set lies side separating plane assigned 2 regions assigned points set stop generate error minimizing plane 1 region sequence planes generated viewed decision tree node tree split points reaching node found solving lp 1 node split 2 branches procedure applied points set node linear programming approach viewed training neural network 1 hidden layer 93 msm shown learn concepts traditional learning methods c4 5 cart advantage artificial neural network ann methods backpropagation training proceeds faster implementations msm msm implemented minos numerical optimization package nick street kristin bennett msm implemented matlab optimization package paul bradley description matlab implementation msm files required run chronological bibliography 65 mangasarian linear nonlinear separation patterns linear programming operations research vol 13 3 june 1965 pages 444 452 68 mangasarian multisurface method pattern separation ieee transactions information theory vol 14 6 november 1968 pages 801 807 bennett decision tree construction linear programming proceedings 4th midwest artificial intelligence cognitive science society conference 1992 pages 97 101 bennett mangasarian robust linear programming discrimination linearly inseparable sets optimization methods software vol 1 1992 pages 23 34 93 mangasarian mathematical programming neural networks orsa journal computing vol 5 4 fall 1993 pages 349 360 modified wed jul 12 10 40 37 1995 paul bradley paulb cs wisc


networks centres excellence bienvenue au reseaux de centres excellence networks centres excellence program innovative approach designed develop canada economy improve quality life english bienvenue au programme de reseaux de centres excellence rce une la du pays la de des franc ais


etag content length 3696 accept ranges bytes zoo zoo collection curious creatures world comprises acknowledged experts fields directly related cognitive research members mit ai lab world pursue long short term projects individual working independently explore topics surrounding main question human intelligence part group cog technical devices thinking tools explore reconsider theories based links anthropological theories empirical studies nature human intelligence changing array specialists science humanities emerge creative interaction rodney brooks img members zoo daniel dennett anne stephanie forrest thomas una reilly polly pook lynn andrea stein affiliated students cynthia steve robert carlo matthew rao brian scassellati anil matt williamson alumni leslie kaelbling alva noe ichiro erich rene follow weekly seminar img page anne updated oct 1 1996


software engineering lab software engineering lab computer science department university minnesota research software engineering including software requirement analysis software maintenance software safety testing develop prototypes implement research proposal research img img img img faculty img dr tek tsai graduate assistants img omar al img img hai huang img mustafa img img satish subramanian img sun img li img hong tang img ramakrishna img wang img weiwen xie img tao jiang img feng zhu img wu img felix img publication img data centered program understanding img variable classification img effect analysis program slicing dependence img business rules extraction img role program slicing effect analysis img program understanding follow send comments cs umn modified


cs dept logo knowledge representation reasoning group construction document construction people research areas publications projects courses offered links send comments questions royr cs columbia


church project functional programming language intersection types church project boston based project designing implementing ml functional programming language input language based rank 2 intersection types typed intermediate language intersection union product sum recursive types overview language intersection types basis type system proposed functional language matter research limit adjust intersection types fit implementation polymorphism provided intersection types universal quantifier polymorphism ml languages typically restriction restriction intersection types rank 2 shown flexible provide elegant solutions problems caused universal quantifier polymorphism ml languages started implementation core language input type inference rank 2 intersection types hope flexibility demonstrated add features core language pointers resources seminar schedule technical reports bibliography project organization project organized weekly seminar design meetings implementation effort seminar implementation driven project members summarize research reports literature directly relevant implementation joe wells coordinates seminar compiler church language implemented standard ml jersey computers boston university computer science department bob muller coordinates implementation seminar time working meeting working meetings scheduled times project participation church project based boston active participants boston university boston college harvard university wellesley college participants time work project attend seminar information send mail bob muller joe wells project church project named memory church died month project began


sneps research group long term goal sneps research group design construction natural language computerized cognitive agent carrying research artificial intelligence computational linguistics cognitive science endeavor part focus group knowledge representation reasoning natural language understanding generation group widely development sneps knowledge representation reasoning system computerized cognitive agent personnel meeting speaking schedule fall 1996 semantic network processing system current projects ontological mediation embodied sneps agents sneps manuals sneps tutorial linkable bibliography complete bibliography sneps ftp site stuart shapiro shapiro cs buffalo


refresh http www2 cs cornell net default html redirect http www2 cs cornell net default html


2332 img multipol multipol library distributed data structures designed ease programming irregular problems large scale distributed memory multiprocessors multipol structures divided state structures scheduling structures state structures include hash tables sets trees combination replication partitioning software controlled caching good locality scheduling structures kinds queues provide good load balancing destroying locality required state structures application papers software release line documentation send mail multipol cs berkeley faculty katherine yelick students soumen chakrabarti etienne deprit eun jin im arvind krishnamurthy randi thomas chih po wen jun yang alumni jeff jones steve steinberg img back cs division home page


1516 logical reasoning diagrams description engineers long diagrams essential part design process flow charts forms diagrams aides programming programming environments programming diagrammatic graphic capabilities computer led wide spread diagrammatic forms graphical representation information project attempts understand logical properties forms representation develop computational tools facilitate correct tools faculty gerry allwein jon barwise steve johnson graduate students kata philosophy cognitive science michael chui kathi fisler atsushi philosophy affiliated projects project takes place iu visual inference laboratory affiliated hyperproof project csli stanford university support coas information click img return computer science research page


usc img center img computational biology plain text web pages information resources books img journal img img books research papers comput software hto local online biology information faculty postdoctoral fellows michael waterman vladimir jae lee simon sridhar paul pavel pevzner george anna norm sophie leonard adleman departments web sites visitor biological sciences recomb 97 conference computer science mathematics internet yahoo http www hto usc webmaster hto usc 30 august 1996


computer science engineering dept 384 fitzpatrick university notre dame notre dame 46556 phone 219 631 dept fax 219 631 9260 research focuses distributed computing operating systems mobile computing flexible system software languages distributed computing technical report list index advisor david cohn graduate student members larry frederic alan yoder recent graduates arindam banerji michael casey dinesh kulkarni john john hong karen yan


unc group home page distributed collaboration average computer scientist distributed collaboration field emerging area large body knowledge text book bad news practitioner good news researcher interesting open problems easier find area brand field interdisciplinary area giving angles traditional fields traditional computer science assumed single user interacts computer program time range issues emerge decide violate fundamental assumption allowing multiple distributed users simultaneously communicate program research operating distributed systems programming environments user interface frameworks software engineering transaction models started study issues left aptitude fields specially area people group started john smith introduced kevin jeffay don smith idea cscw computer supported cooperative work looked back collaboration driving problem research initial group developed abc collaboration framework includes distributed hypermedia file system distributed shared window system abc supported special national science foundation program investigate collaboration technology program funded collaboration systems developed dave stotts prasun dewan maryland purdue light joined unc turn contributed spreading word specially jan prins lars nyland newest members group expect jim anderson sid chatterjee start area hussein abdel wahab working group inception adjunct faculty member faculty members universities collaborate rick furuta john mchugh john riedl working bill oliver afips plans client software develop diversity group put unique position address broad agenda interdisciplinary area ph students led working area chung brian john eileen jon munson jaime home pages idea kind research topics investigating current projects ongoing projects include collaboration bus composing collaborative systems existing single user collaborative systems investigating software infrastructure support development multi user 12 educational applications mmm multi client browsing supporting enhanced browsing semantics www collaborative software engineering building infrastructure tools supporting collaborative software engineering merging bringing distributed versions shared object common state shared windows supporting efficient multiple views shared window java based environments generation www server extending web support authorship reading list initial reading list case study area depth heavily biased tastes author page plan expand chance give input check home pages people working project papers written courses interested working area courses 242 advanced operating systems 243 distributed systems 232 real time systems seminar courses collaboration research equipment room 156 houses equipment researchers group recently awarded large year equipment grant national science foundation add equipment atm switches ten multimedia sgi indy workstations high end vr sgi maximum impact machines related work unc graphics dirt groups investigating vr multimedia support collaboration related work team rooms calgary list cscw toolkits tom cscw pointers media net qos middleware group applications object services world wide web consortium supporting accepted business practices network saber intelligent information infrastructure distributed clients list web java tools internet tool survey mobile code corba continuous media darpa intelligent visualization collaboration ic projects revised mon nov 11 17 36 55 est 1996 dewan cs unc


img img img virtual world data server project years 2 1 million dollar project funded nsf hpcc multidisciplinary challenge program project expand 3d interactive simulations virtual world models disk based storage today virtually systems require model data fit main memory project aspects including design storage structures real time delivery model data response user actions inclusion quality service tradeoffs resource management applications explicitly addressed project span range including urban simulation models figure 1 department architecture urban design 3d interactive visualization plasma physics data figure 2 physics department medial domain virtual work storage server designed implemented computer science department serve atm lines users department architecture plasma physics lab locally research adapting interfacing existing applications storage server work actual design storage server integration auxiliary databases respect integration spatial databases exploring 3d interactive capability query mechanism form presentation responses queries project people publications presentations facilities related works contact information prof richard muntz boelter hall computer science dept ucla los angeles ca 1596 tel 310 825 3546 fax 310 825 2273 email muntz cs ucla www nugget cs ucla created 96 02 29 modified 96 03 02


home page software systems generator research group software system generators tools assembling complex software interchangeable reusable components developed genvoca domain independent model software construction defines systems algebraic equations terms components genvoca successfully applied domains including database management systems avionics data structures results demonstrated genvoca generators substantially improve productivity application run time performance visit questions place start started research group members started project index publications software distributions related web pages utcs general members don batory professor angela ph student guillermo ph student jimenez perez jeff thomas ph student lance tokuda ph student yannis smaragdakis ph student shepherd research associate dinesh das ph 1995 villarreal ph december 1994 members bart geraci postdoc sep 1993 sep graduation dates 1994 marty sirkin ph march 1994 sankar sc 1994 overview started software components generators build software systems typical software modules components encapsulate feature domain systems domain share components encapsulate refinements parts classes software system refinements require manipulation metadata reflective computations basic approach simple object orientation large scale program transformations feel basic issues scalable software libraries involved breadth creating reference genvoca applicability architectures recommend papers design implementation starters read composition validation order subjectivity specific reengineering complex results improvement application productivity performance p2 lightweight dbms generator delivered generators memory simulators software relationship work design generators patterns check order automated software evolution design patterns information contact don batory batory cs utexas periodically release lecture notes tutorial software system generators architectures reuse lecture notes distributed tar file compressed postscript files modified december 24 1996 don batory batory cs utexas


aries laboratory advanced research intelligent educational systems aries laboratory advanced research intelligent educational systems focal point research projects areas intelligent tutoring systems adaptive learning environments vision goals people projects papers theses related sites report problems document home webmaster cs usask ca department home page page page modified monday september 23 1996


faculty staff graduate students group photo photographs pronunciations names names research activities ongoing projects dexterous manipulation project collective robotic intelligence project laboratory equipment laboratory facilities location 6th floor general services building publications anup basu graduate students xiaobo li graduate students hong zhang graduate students robotics videos offerings description courses offered 1996 97 ftp access official ftp site ftp cs ualberta ca www links links robotics net graduate students robotics additional information information contact img vision cs ualberta ca img img 1 1996


database systems group department computer science university pittsburgh img img img img img home page database system group university pittsburgh hope enjoy visiting number visits home page frame file 2tb exps sergio transfer rcv1 knn rcv1 webkb parser1 webkb flat project title banner html frame frame


1065 sfu medical computing group research applications 3d analysis display techniques medical images functional imaging modalities emission tomography pet collaborate mds scientists engineers vancouver health units apply analysis display techniques clinical setting including study cancer therapy planning ct mri pet images perform foundational research visual programming tools parallelisation compute intensive code speed results faculty stella atkins ronald harrop sfu tomography development medical imaging group top visit computing science simon fraser university


img frans kaashoek fernando corbato assistant professor ford professor computer science engineering engineering parallel distributed operating systems group conducts software research parallel distributed computing systems group collaborates extensively lcs researchers pragmatic approach focusing primary goals simplifying parallel distributed programming process building efficient distributed systems shelf technology parallel supercomputing building scalable flexible high performance storage services distributed systems goal addressed software based shared memory system called autopilot combines ease shared memory programming physical scalability distributed systems autopilot aspects include automatic management locality work distribution exokernel operating system microkernel low overhead protected communication user customizable kernel interface efficient communication valuable mechanism structuring complex systems systems decomposed separate protection domains allowing user customization applications set policies harnessed default kernel policy research high performance storage systems represented logical disk ld separates file disk management file systems run efficiently ld extending goals include mobile distributed systems img img img


exodus extensible object oriented database system toolkit note document construction exodus project shore project provide minimal support users exodus storage manager compiler persistent programming language ftp ftp cs wisc licenses required information needed contact exodus cs wisc principal investigators mike carey david dewitt publications related exodus shore successor exodus latest exodus storage manager compiler contributed software storage manager mailing list exodus users exodus cs wisc oo7 benchmark benchmark oodbs date prepared 19 april 1994 michael zwilling zwilling cs wisc


optimization rule condition testing active database systems project investigating ways optimize testing complex trigger conditions active databases funded grant nsf principle investigator eric hanson students working worked project include mohammed kulkarni sreenath yi gao technical reports 1993 discussion gator discrimination network structure optimization methods gator additional publications development extending ariel active dbms optimized rule condition testing mechanism developers working project active assignments publications technical reports documentation updated 2 14 95


amanda advanced maryland automatic network disk archiver copyright 1991 1995 university maryland college park rights reserved file copyright distribution conditions official warranty disclaimer amanda written james da silva amanda 2 3 0 alpha release notes 19 1996 latest version amanda anonymous ftp ftp cs umd pub amanda note software made umd making work people software production home site umcp department computer science make warranties work amanda development author maintains code spare time result support users helping amanda users mailing list information mailing lists 2 2 6 number material bugs fixed including fixes incorporated john wpi patches amanda called 2 2 6 5 backup files larger 2 gb supported current limit kbytes 2 terabytes hold years 1 2 support based backups support writing multiple tapes sequentially run support multiple backups parallel client host records database exported imported textual format fixing corrupted database running text version script individual records entire database exported imported details features found docs whats left amanda 2 3 release engineering porting platforms update extend documentation archival dumps skip incr thing pick lots things 2 2 5 number material bugs fixed lot lint picked package documentation date version locally compiled client side tested systems sunos 4 1 3 irix 5 2 solaris 2 3 bsdi bsd 386 1 1 ultrix 4 2 netbsd 1 0 dec osf 1 2 0 aix 3 2 don hp ux machines locally ve tracked patches submitted neal becker neal ctd confident 2 2 6 shouldn mark platform 2 1 things changed amanda 2 1 major items shared memory longer required server side mmap supports gzip compression supports mount names device names disk list usr amanda thinks real time run times day won confused supports kerberos 4 security bsd style rhosts including encrypting files net kerberos support separate add package file kerberos ftp site improved network protocol faster startup longer dump specific hooks place dump clients client side checks check sanity client hosts quickly supports multiple holding disks load balances details docs whats amanda alpha test release amanda advanced maryland automatic network disk archiver amanda backup system designed archive computers network single large capacity tape drive release daily university maryland college park computer science department backing disks workstations department 70 gigabytes data 400 filesystems 146 workstations servers single 5 gigabyte exabyte features amanda written freely distributable built top standard backup software bsd unix dump restore gnu tar back multiple machines parallel holding disk finished dumps tape fast write files tape gb 8mm tape interface host large holding disk filled amanda 4 hours simple tape management overwrite wrong tape supports tape generic interface easily customizable type tape robot controlled unix command line supports kerberos 4 security including encrypted dumps kerberos support separate add package file kerberos ftp site file docs kerberos package details restore tells tapes finds proper backup image tape recovers gracefully errors including hung machines reports results including errors detail email operators dynamically adjust backup schedule constraints juggling hand adding disks computers network includes pre run checker program conducts sanity checks tape server host client hosts parallel send mail report problems backups fail compress dumps sending net compress gzip optionally external backups large timesharing computers full dumps system single user mode bsd dump reliable active filesystems amanda daily dumps lots options amanda configurable system requirements amanda amanda requires host idle night large capacity tape drive exabyte dat tape tape server host computers dump backup client hosts server host client host amanda works large holding disk partition server host buffering dumps writing tape holding disk amanda run backups parallel disk writing tape backup finished note holding disk required amanda run backups sequentially tape drive running kills great performance advantage amanda features rule thumb performance holding disk larger dump output largest disk partitions backing full gigabyte disks compress 500 mb ll 500 mb holding disk hand gigabyte drives partitioned 500 mb filesystems ll compress 250 mb ll holding disk amanda perform larger holding disks 800 mb holding disk amanda work full dumps larger holding disk amanda send dumps directly tape time dumps limited dump speed machines systems amanda run amanda run modern unix system supports dump sockets system shared memory bsd mmap implemented amanda 2 3 0 compiled client side tested systems sunos 4 1 3 irix 5 2 sunos 5 5 bsdi bsd os 2 1 ultrix 4 2 netbsd 1 0 dec osf 1 3 2 aix 3 2 run server side sunos 4 1 3 compiles platforms reason time beleive work addition tracked patches systems don run house freebsd linux hp ux nextstep amanda running docs install general installation instructions docs system notes system specific information docs kerberos explains installation kerberos 4 docs tape explains customize changer interface docs whats details features talk problem amanda completely unsupported made don time answer user questions sites started maintain mailing lists interested amanda join mailing list send mail list send mail request cs umd line body message subscribe email address amanda announce amanda announce mailing list important announcements related amanda network backup manager package including versions contributions fixes note amanda users list amanda announce distribution subscribe lists subscribe send message amanda announce request cs umd amanda users amanda users mailing list questions general discussion amanda network backup manager package related files anonymous ftp ftp cs umd pub amanda directory note amanda users list amanda announce distribution subscribe lists subscribe send message amanda users request cs umd amanda hackers amanda hackers mailing list discussion technical details amanda package including extensions ports bugs fixes alpha testing versions subscribe send message amanda hackers request cs umd archive amanda mailing lists www archive amanda mailing lists amanda announce amanda users amanda updated tue nov 12 19 05 56 est 1996 validated nov 12 96 html 3 0 draft dtd dated 3 24 95


home page tech info orb trial preview stats faq coming groups registration grouplens open architecture collaborative filtering page grouplens img project including links papers ve written description grouplens architecture protocol specification usenet open ratings bureau download grouplens software register img grouplens grouplens project img page describes goals grouplens project tells features upcoming enhancements preview grouplens action grouplens interface img follow link daily ratings statistics ll java img enabled newsreader page shows bar graph number ratings processed day grouplens newsgroups frequently asked questions frequently asked questions grouplens tips img make grouplens newsreader keywords collaborative filtering grouplens open ratings bureau information filtering number visitors join mailing subscribe grouplens body message questions cs umn


img david gifford professor electrical engineering computer science programming systems research group exploring methodologies facilitate discovery information current projects include intelligent query access system implements resource discovery internet nii digital video storage composition presentation mobile access internet resources caching architectures information personal information discovery agents projects presently based extensions semantic file systems mosaic www servers wais servers object repositories projects designed test concept examples concepts examining include content routing algebraic video creative highly bandwidth approach research formal tools implementation experimentation understand limitations system end goals project publish algorithms experimental findings create complete system released people mit fun img img img


vis ad data visualization based lattices bill hibbard brian paul chuck dyer defining foundation data visualization based idea visualization process function set data objects called data model set displays called display model prototype system called vis ad implemented based ideas guided principles 1 scientists develop mathematical models nature data objects represent objects mathematical models mathematical objects frequently infinite precision real numbers functions infinite domains computer data objects finite amounts information approximations mathematical objects represent 2 computer displays finite amounts information finite numbers pixels colors chosen finite animation sequences finite numbers frames approximations ideal displays 3 close relationship data computation data model data objects computational model programming language 4 purpose data visualization communicate information content data objects define expressiveness conditions mapping data objects displays displays encode facts data objects facts 5 visualization system complete sense implements function data objects displays satisfying conditions define order relation data objects based precisely approximate mathematical objects define order relation displays based precisely approximate ideal displays based resolution order relations define lattices data objects displays model visualization process function lattice data objects lattice displays interpret expressiveness conditions context show satisfies expressiveness conditions lattice isomorphism define lattice scientific data objects data objects built primitive variables call time latitude radiance temperature tuple array data type constructors array time temperature data type time series temperatures lattice data objects scientific programming language define lattice vv displays display set voxels set graphics primitives call display pixel location size volume color place animation sequence show functions vv satisfying expressiveness conditions class functions defined mappings primitive variables data objects display graphics primitives voxels designers scientific displays assume primitive variables mapped graphics primitives data object type array time temperature natural display graph time axis temperature remarkable thing designing displays assumption consequence fundamental expressiveness conditions developing implementing system called vis ad scientists experiment algorithms steer computations visualize data objects create programs lattice defines data objects vis ad programming language system implements lattice vv displays data displayed function satisfies expressiveness conditions implementation precise data flow systems define user interface controlling data display based abstraction rendering pipeline vis ad system defines user interface controlling data display based abstraction mappings display define data lattices recursively defined data types complex linked types trees general purpose programming languages abstract data types object classes object oriented programming languages lattices provide rigorous foundation visualization develop analytical alternative usual approach defining visualization process constructively writing special purpose program computing display specific data object


server construction overview research groups knowledge based software engineering group human computer interaction group advanced simulation software engineering technology group principal investigators mehdi harandi harandi cs uiuc simon kaplan kaplan cs uiuc current projects worlds collaborative work environment university illinois computer science department home page university illinois urbana champaign home page


cedar cedar concerned science recognition analysis interpretation digital documents documents optically scanned paper created digitally text handwritten machine printed multimodal information drawings photographs speech work spans entire spectrum computational theory algorithms software hardware design system maintenance introduction people projects publications resources location affiliates feedback total number accesses page sign cedar ub commons suite 202 amherst ny 2567 usa voice 716 645 fax 716 645 information contact srihari


real time parallel understanding systems group computer science dept university maryland college park intelligent real time control artificial intelligence ai techniques mature growing interest applying techniques controlling complex real world systems involve hard deadlines ai techniques characterized unpredictable high variance performance making performance guarantees required real time control systems research focuses restricting ai techniques make predictable research date focused approach cooperative intelligent real time control architecture circa architecture ai subsystem reasons task level problems require powerful unpredictable reasoning methods cooperating parallel real time subsystem predictable performance characteristics deal control level problems require guaranteed response times investigating aspects architecture including planning real time control tasks interfacing real time real time subsystems explicitly making performance tradeoffs resources utilizing resources dynamically work conjunction real time intelligent control project autonomous mobile robotics lab reasoning real time competencies domains failure timely action potentially catastrophic behavioral adequacy control system established testing addition requirement logical correctness desirable program mission critical systems typically strict temporal constraints hard real time systems developed address requirements achieving intelligent behavior context proven requirement hard real time response incompatible fundamentally time bound high variance techniques classical ai inability precisely characterize performance resource requirements current reactive systems makes equally unsuitable hard real time systems propose develop system representing semantics low level reasoning isolation combination representation principled proofs correctness reaction based systems provide formal basis automated reasoning reactive support engineered reactive systems guaranteed logical performance features hard real time context time providing link classical ai methodologies short formal semantics reaction bridge gap mission critical domains ai techniques status availability recent papers musliner al circa cooperative intelligent real time control architecture ieee transactions systems man cybernetics vol 23 6 1993 kohout hendler musliner agrawala supporting intelligent real time control dynamic reaction maruti operating system submitted real time systems symposium 1994 kohout representing reactive hard real time systems ph dissertation proposal people dr james hendler pi dr david musliner postdoc bob kohout graduate student


csag concurrent systems architecture group csag research csag focuses hardware software architecture issues parallel computer systems mpp scalable servers clusters high performance workstations computer systems design involves cooperative effort software hardware designers research efforts reflect blend including efforts build parallel programming systems scalable input output systems high speed communication software hardware projects emphasize development innovative designs evaluation based actual implementations csag led andrew chien job opportunities research projects illinois concert system efficient concurrent object oriented programs languages illinois concert concurrent aggregates implementation techniques applications studies papers talks software distributions high performance virtual machines scalable clusters fast communication mpi fast messages mpi fm fast messages cray t3d myrinet network interfaces routing papers talks software distributions parallel input output characterization portable parallel file system talks morph high performance computing based smart reconfiguration people papers funding information projects concurrent systems architecture group supported part national science foundation advanced research projects administration office naval research national aeronautics space administration intel corporation tandem computer hewlett packard corporation microsoft corporation motorola corporation job opportunities find research interesting enjoy working academic environment applying research programmer post doctoral associate positions concurrent systems architecture group part department computer science university illinois urbana champaign img updated 15 1996 webmaster


2037 logo machine learning laboratory warning document construction introduction machine learning laboratory part computer science department university massachusetts amherst machine learning lab directed paul utgoff studies issues machine learning research comprises problem solving systems improving systems automatic feature construction apprentice learning inductive generalization research major research topics incremental decision tree induction augmenting reinforcement learning agents informal interest machine games othello checkers laboratory personnel current group members jeff clouse baumgartner doina precup members emeritus neil berkman carla jamie callan members gunnar visiting student laboratory facilities publications update july 20 1995 paul utgoff utgoff cs umass url http www ml cs umass


etag 1430 content length accept ranges bytes sodabot home page sodabot research project mit artificial intelligence lab aimed simplifying construction software agents part lab intelligent room project draft sodabot paper overview sodabot present ongoing effort building multi agent distributed brain intelligent room view outdated sodabot slide show don software agent click proceeding sodabot system philosophy software agents written vocabulary provided traditional programming languages create agents solely abstract behavior application introduce sodabot general purpose software agent user environment construction system primary component basic software agent computational framework building agents essentially agent operating system present language programming basic software agent primitives designed human level descriptions agent activity programming language users easily implement wide range typical software agent applications personal line assistants meeting scheduling agents software agents technically challenging write traditional programming languages writing agents requires large amounts esoteric system hacking knowledge network communication reliable transaction protocols software agents difficult distribute tend site specific dependencies reason difficult install people uncomfortable amount responsibility unknown possibly buggy agents sodabot universal computational framework basic software agent creating agent applications high level agent programming language level abstraction simple construction complex agent applications program basic software agent graphic user interface automatic distribution software agents internet sodabot mit artificial intelligence lab developed michael coen joshua kramer auspices hci group sodabot undergoing limited distribution beta testing source code publically find sodabot view sodabot slide show coen michael extended abstract september 1994 proceedings 1994 cikm workshop intelligent information agents coen michael sodabot software agent environment construction system mit ai lab technical report june 1994 michael coen ai mit room 835 mit artificial intelligence laboratory 545 technology square cambridge ma 02139 617 253 8916 fax 617 253 5060


multidisciplinary design technology development comparative investigation integrated aerospace vehicle design tools nasa langley research center grant number nasa nag 1 january 1 1994 december 31 1996 project monitor dr principal investigators aerospace mechanical engineering john ph stephen ph computer science engineering jay brockman ph graduate students aerospace mechanical engineering jose rodriguez richard marc jian su ravindra brett computer science engineering eric johnson arun stan yoder introduction goals purpose year reseach project 1994 1996 develop framework systematic methodology facilitate application multidisciplinary design optimization diverse class system design problems based philosophy identifying combination parameters control designer design team result effective product system practical aerospace systems design systems complex sequence events integrates activities variety discipline experts tools development archiving exchange information individual experts central design task information basis experts make design decisions resulting final product development tied developments computer hardware software advanced analysis tools computational fluid dynamics cfd finite element analysis integrated daily activities designers design decisions based variety information sources analytic numerical simulation design heuristic intuition development integration information high powered computing tools begun demonstrate true potential variety methods applications considered case fundamental approach provide individual discipline expert information evaluate system understand impact individual decisions system design methods considered include extensions global sensitivity equations application artificial neural networks design space mapping integration distributed computing process scheduling environment current research effort joint program departments aerospace mechanical engineering computer science engineering departments university notre dame coordination efforts project based identification series demonstration problems formulation number algorithms specific design tool development test problem algorithm development provide focus efforts individual researchers problems selected represent diverse spectrum applications present variety challenges methods developed evaluated part research program year program continues information related primary phases project added document results issues identified future efforts assess applicability tools wide variety applications number references outline developments research program annual report summarizes research activities october 1994 october 1995 accessed slides annual presentation nasa langley research center october 16 1995 processed posting web site selection recent publications developed part research program attached postscipt files postscript viewer accessible review copying unable access papers interested receiving copy contact email principal investigators listed kar design driven coordination procedure concurrent subspace optimization aiaa 94 1482 aiaa asme asce asc 35th structures structural dynamics materials conference hilton head south carolina april 1994 1994 design driven concurrent optimization system design problems order aiaa 94 aiaa usaf nasa symposium multidisciplinary analysis optimization panama city florida september 7 9 optimization mixed discrete continuous design variable systems neural networks aiaa 94 aiaa usaf nasa symposium multidisciplinary analysis optimization panama city florida sept 1994 1994 concurrent engineering approach electronic package design proceedings 1995 nsf design manufacturing grantees conference published society manufacturing engineers dearborn michigan pp 51 52 university california san diego la jolla california january 4 6 1995 concurrent engineering approach multidisciplinary design distributed computing environment proceedings icase workshop multidisciplinary design optimization edited alexandrov society industrial applied mathematics philadelphia pennsylvania brockman concurrent subspace optimization design variable sharing distributed computing environment asme 21st design automation conference boston ma september 17 21 1995 johnson brockman design flow management multidisciplinary design optimization application aircraft concept sizing aiaa paper 96 0713 aiaa aerospace sciences meeting exhibit reno nevada january 1996 response surface based concurrent subspace optimization multidisciplinary system design aiaa paper 96 aiaa aerospace sciences meeting exhibit reno nevada january 1996 response surface approximations discipline coordination multidisciplinary design optimization aiaa paper aiaa 96 1383 aiaa asme asce asc 37th structures structural dynamics materials conference salt lake city utah april 1996 concurrent subspace optimization gradient enhanced neural network approximations 6th aiaa nasa usaf symposium multidisciplinary analysis optimization bellevue wa aiaa 94 september 1996


tower pizzas researchers dr nick principal investigator michael tan graduate student stephen kelley research associate description constructed tower pizzas tops multi user striped storage system main goals tops 1 provide access data striped workstations 2 exploit caching prefetching client server 3 implement system high level portability 4 explore data layout system implemented software top general unix workstations heterogeneous flavors unix work clients servers server workstations run single server process clients talk remote servers local server process linked library local remote server process identical tops run peer peer collection workstations partitioned set clients servers local remote server processes provide buffer management striping configurable file network disk services including asynchronous read write local clients access buffers local server shared memory asynchronous read write disk provided server threads calls file meta data centralized server process accessed open close tops implemented past year run variety hardware clusters sparcs alpha connected ethernet 16 node sp2 tcp high speed switch sp2 demonstrate linear scalability global throughput servers clients added point starting detailed investigation caching prefetching strategies examining data placement techniques performance tests 1 10 clients run 1 8 servers axis total system throughput sum throughput delivered client note filesystem disks tests transfer data 3 5 mb sequential reads 1 mb random reads reading cached server data test clients read small file 8 mb server file completely cached server disk initial load disk incurred test shows overhead tops maximum performance platform group sequential read prefetch ordering strategy test client read sequentially large file portions file read client disjoint prefetching strategy maintain sequential access disk requests clients synchronized reading large disk files tests client continually requested small contiguous portion data file request started random point file data file large 160 mb server cached publications technical report submitted publication set slides tops updated fri september 21 12 01 1995


ismap library reference cs ai journals techreports tools archives ai ml contacts commercial institutes organizations universities departments groups announcements conferences journals events discussion groups local ai beckman cs ncsa uiuc gopher phone weather www pages actively maintained moved future img img gb cs uiuc http www ai uiuc updated 7 june 1996 1995 96 gunnar rights reserved


wpi cs home page data knowledge base research laboratory supports research large data knowledge base systems scientific databases recent funding nsf ibm laboratory serves testbed project recent research projects included visual browsing query interface design distributing scientific computation databases network temporal modeling development derivation networks represent complex computational processes laboratory hardware includes decstation 5000 200 sun sparcstation sgi indigo elan software includes grass khoros data explorer packages postgres objectstore database management systems schedule meeting dates topics faculty involved nabil cs wpi michael cs wpi matthew ward matt cs wpi cs wpi project significant activities project overview project return wpi homepage return cs homepage matthew ward matt cs wpi


research project specialized fully declarative logic programming languages expert systems databases researchers stephen principal investigator jan plaza principal investigator george graduate assistant fall spring 95 eric graduate assistant summer 94 liu graduate assistant summer 94 introduction style traditional programming imperative program computer accomplish task instance sort list hand logic programming opens possibility declarative programming writing programs computer final state desired instance meant sorted list logic program written set logical definitions declarations specifications program interpreted computer set imperative procedures program ready programmer imperative meaning add control structures improve efficiency research project concerned designing logic programming system offer programmer wide expressive power minimize thinking procedural meaning program includes development theory experimental implementation abstract propose creating family logic programming languages general purpose programming specialized aimed major application areas artificial intelligence languages fully declarative based solid mathematical foundations language general purpose programming admit unlike prolog extended syntax general quantifiers functional form classical negation language basis developed language expert systems intrinsic support numerical measures confidence formal mechanisms handling hierarchies contradictions language deductive databases support multiple open closed domains efficient query evaluation fourth language combine features previous suitable distributed multi component intelligent systems languages potential parallelization languages features exist availability desirable impact construction future intelligent systems information read download related papers download preliminary version logos programming language implemented part project current research topics series seminars offered part project logic programming software department access home page lpnmr forum exchange information logic programming monotonic reasoning


2185 3d object exploration purposive viewpoint control kutulakos chuck dyer considerable interest recently employing simple observer behaviors make recovery scene properties easier fixation combine simple behaviors order perform complex tasks navigation obstacle avoidance work focuses ability active observer control point observation perform tasks involving exploration object developed behaviors provably correct make simple motion decisions based observed local geometry scene require minimal processing image task recovering local shape surface selected point approach based general observation positions provide information object existence special viewpoints exploited observer mobile efficient deterministic strategy reaching show local shape recovery task achieved simple qualitative strategy smoothly controlling point observation viewing direction aligned principal direction selected point task deriving global description object formulate global surface reconstruction qualitative task smoothly controlling point observation visible rim slides maximal connected region show task provably achieved arbitrary smooth surfaces attempting maintain defined geometric relationship point observation viewed surface approach suggests ability smoothly control point observation lead provably correct behaviors achieving local global tasks scene exploration 3d navigation simplifying frame computations


real time systems laboratory calendar publications members software distribution real time systems laboratory uiuc real time systems laboratory performs research aspects real time computing systems real time system produce logically correct results produce timing constraints systems gaining importance number applications automated factories telecommunication systems defense systems space systems calendar semester meets week wednesdays 4 00 speaker talk subject related real time systems calendar page information publications publications page bibliography recent publications postscript source papers members members personal web pages software distribution software distribution page information obtaining perts real time prototyping environment simulator real time systems contact information contact write call department computer science university illinois urbana champaign 1304 west springfield avenue urbana illinois 61801 usa telephone 217 244 group secretary home page ieee computer society technical committee real time systems links organizations research real time systems image copyright 1996 david hull hull cs uiuc modified fri oct 4 09 47 55 cdt 1996


laboratory atm network research development img overview img research img partners img people img publications img atm seminars img facilities img related sites img workshop atm networking img university server mail suggestions badlands nodak


daisy dsi programming system description dsi system symbolic multiprocessing based underlying operational model suspending construction fundamental synchronization mechanism model suspension transparent object representing computation evolve manifest data values manipulated computations computation demand oriented relaxation demand driven computation system processing resources activate bounded execution interested model general basis improving performance limited scale multiprocessors daisy surface language programming dsi system daisy applicative language mutation scheme provisions exploiting suspending list constructor provisions constructs building networks streams including windowing operations stream based facilities make daisy good language modeling networks timed communicating processes faculty steven johnson graduate students eric phd 1995 affiliated projects project heritage reference counting memory project work indiana architectures symbolic processing support infrastructure support nsf cda93 03189 information coming click img return computer science research page


2591 george washington university graphics group hypertext document general information group laboratories detailed information members group research projects working click human computer interaction group home page


columbia automated vision environment principal investigator shree nayar img omnicam logo competition people publications video demonstrations software packages databases related links funding agencies webmaster


spotlight grant forms laboratory safety manual student science engineering funding office vice president research units research alert local news pickle research campus funding federal private sources funding opportunities cos committees links committee memberships committees reporting vice president research project administration terms conditions regulatory affairs ut austin proposal development budgeting checklist budgeting guidelines resource library commerce business daily federal register intellectual property good search kaleidoscope students academics research library administrative computing world ut austin web central www lib utexas modified 20 dec 96


3348 text version net scout scout report divider surf smarter longer newsletter internic net scout project newly discovered university wisconsin madison internet resources show network tools choose filter hundreds net happenings internet annoucements week internet valuable announcements online resources network tools updated daily organize summarize annotate ve scout toolkit found offer internet effective community internet tools formats goal net scout support effective internet web report educators researchers students students publications web sites provided net scout encourage feedback suggestions entire internet community primary services provided include scout report net happenings scout toolkit newest project web report students students net scout services located department computer sciences university wisconsin madison project internic comments suggestions feedback information scout internic net internet img 1996 net scout services internic information education services


shadow doubt hey glasses kevin reilly professor schedule april 18 19 se acm mtg research interests distributed systems distributed problem solvers investigations involve multiple client server models 1 direct rpc protocol compilation 2 java 3 tcl dp comparative studies represent goal modeling simulation studies underway neural network processors current neural network research activities include combining ann expert systems mixed problem solving systems cooperative heterogeneous intelligent processor system chips application ann general simulation expert system tools problem solving real human robotic behavior simulation processors environments beak model build exercise analyse knowledge includes work unit activites logic based processor reasoning simulation software natural language input model building process unit activites center discrete event combined continuous discrete systems object oriented systems packages incorporation es elements forge eventual combined continuous discrete symbolic simulator unit activites primarily involve animation general purpose statistical approaches unit activites include model base incorporates general knowledge simulation systems modeled results applications include computer communication network systems human behavior models education chicago selected publications names abstracts book chapter 1996 invited paper 1996 computerized formal reasoning simulation environments logic foundations computerized formal reasoning simulation environments ii model development theory publications research long list


key words search engines approximation theory splines wavelets box splines radial basis functions shift invariant spaces approximation scattered data thin plate splines homepage amos ron associate professor department computer sciences university wisconsin madison ismap 1210 west dayton street madison wisconsin 53706 1685 usa mail amos cs wisc telephone 608 262 6621 fax 608 262 9777 amos ron home page presently table links present items accessible order download paper affine systems analysis analysis operator zuowei shen choose versions unix click compressed version download uncompressed version works ftp server copy directly account cs513 handouts email click click vita vita list publications including abstracts selected articles mine information anonymous ftp site carl de boor maintain ftp site ftp cs wisc site postscript compressed postscript files articles approximation theory group uw found technical files tex vi general public recommend click read file list files click view line view line download ph students including information research publications main areas interest short summary present research future goals activity approximation theory group univeristy wisconsin madison activity numerical analysis group links home pages people approximation theory community found miscellaneous topics activities finally deposit comments mailbox img


wei tek tsai professor software engineering computer systems tsai cs umn 612 625 education ph 1985 1982 computer science university california berkeley 1979 computer science engineering massachusetts institute technology cs footer comments questions line software list department home page department ftp server research projects system information apache logo modified monday october 16 1995


file guy announcements assignments research interests guy check vitae find worked interested announcements syllabi spring 1995 computer science 120 syllabus sections 1 5 provided class day class electronic version syllabus computer science 231 syllabus computer science 330 assignments computer science 120 study chapter 6 computer currents read chapter 4 ethics book monday february 27 access project 1 assignment gopher server mainframe project 1 due march 15 busy computer science 231 fully understand stack works pushing popping tomorrow talking local variables spawn code target machines case x86 computer science 330 overdue quiz ready assignment sections 5 7 chapter 4 research interests insert paragraph research interests present time participation colonel racquetball challenge restricted students enrolled cpsc 231 possibility event expanded include courses future watch spot information rules challenge posted challenge


1922 department computer science university idaho john dickinson john dickinson chair department computer science 1981 associate professor computer science university idaho 1973 wife kari works computer services children addition work page visit home page teaches classes introductory computer science computer operating systems genetic algorithms research interests genetic algorithms computer networks management computer networks fall 1996 semester teaching courses cs 101 introduction computer science section 1 mwf 8 30am 209 cs 310 computing languages section 1 mwf 12 30pm 6 cs 400 senior seminar section 1 3 30pm jeb 221 email note link back cs department home page johnd cs uidaho


img john buford associate professor director distributed multimedia systems lab buford cs uml fall 1997 sabbatical mit center educational computing initiatives spring 1996 courses 91 515 operating systems 91 520 distributed object based computing 91 203 assembly language fall 1995 courses 91 203 comp org assembly language 91 544 multimedia information systems research interests architectures distributed hypermedia systems distributed multimedia systems services design multimedia information systems personal index education ph technische universitaet graz computer science 1988 massachusetts institute technology ee cs 1981 massachusetts institute technology elec engr 1981 recent publications presentations 1996 john buford lloyd hytime building generation hypermedia springer verlag york preparation buford lessons real time hypermedia systems position paper real time multimedia web 96 96 oct 96 nice france buford corba www collision position paper joint w3c omg workshop distributed objects mobile code boston june 1996 buford generation distributed hypermedia systems handbook multimedia information management ed jain mehrotra prentice hall forthcoming gopal buford delivering hypermedia sessions continuous media server multimedia information storage management ed chung kluwer press forthcoming buford price mobile objects distributed server proc 96 rostock germany feb 1996 buford distributed multimedia information systems spie critical reviews ed feb 1996 buford hytime evaluation implementation experience proc hypertext 96 march 1996 washington dc 1995 lloyd john buford john modeling techniques hytime proc international conference multi media modeling mmm 95 november 1995 buford transfer protocol open model server ed media 95 june 1995 buford evaluation query language structured hypermedia documents proc dags 95 electronic publishing information superhighway 1995 buford gopal storage server requirements delivery hypermedia documents proc multimedia computing networking 95 buford architectural issues multimedia support x11 presentation consortium workshop multimedia directions feb 1995 1994 buford ed multimedia systems acm press addison wesley 1994 buford hytime engine multimedia systems 1 4 1994 buford automatic generation hytime applications proc eurographics multimedia 94 buford open distributed multimedia computing handbook multimedia ed keyes mcgraw hill 1994 buford integrating object oriented scripting languages hytime 1994 ieee intl conf multimedia computing systems 1994 buford gopal multimedia interchange format comparison 1994 ieee intl conf multimedia computing systems 1994 buford requirements multimedia standards dept defense defense information systems agency 1908 sept 1994 1993 buford koegel hytime engine acm multimedia 1993 august 1993 buford koegel advent standardized integrated multimedia environments invited paper ed media 93 buford koegel heines improving visual programming multimedia authoring proc ed media 93 buford koegel design space perspective evolution multimedia technology proc challenge multimedia sponsored mit trinity college dublin march 1993 1992 buford koegel analysis real time interchange format proc 92 buford koegel heines visual programming abstractions interactive multimedia presentation authoring short paper proc 1992 international workshop visual languages sept 1992 buford koegel routing multimedia connections hybrid networks spie proceedings 1786 sept 1992 buford koegel miner supporting real time analysis multimedia communication sessions spie proceedings 1785 sept 1992 buford koegel multimedia user interface toolkits 92 june 1992 1991 buford koegel li network protocol issues continuous media applications short paper proc 91 experience 1994 present associate professor computer science umass lowell 1992 present director distributed multimedia systems lab summer 1994 visiting senior lecturer computer science univ auckland zealand 1988 1994 assistant professor computer science umass lowell 1990 1992 director founder distributed multimedia systems lab 1983 1988 lecturer computer science university denver 1984 1988 adjunct professor computer information systems college university denver editorial boards program committees member editorial board journal multimedia tools applications kluwer program ieee 1997 intl conf multimedia computing systems ottawa canada program ieee 1996 intl conf multimedia computing systems hiroshima japan program ieee 1994 intl conf multimedia computing systems boston ma program committee acm multimedia 95 program committee 96 program committee ed media 96 program committee ed media 95 program committee 96 information visualization mobile computing feb 26 27 1996 rostock germany program committee 1995 intl conf distributed multimedia systems applications program committee 1994 intl conf distributed multimedia systems applications program committee dags 95 electronic publishing information superhighway member advisory board resource journal reviewer ieee multimedia magazine reviewer acm multimedia systems journal reviewer ieee computer special issue visual programming reviewer ieee computer special issue content based retrieval reviewer computer communications journal special issue multimedia systems reviewer acm hypertext 1994 treasurer acm multimedia 96 boston publicity ieee icmcs 94 boston tutorials panels tutorial distributed multimedia systems presented acm multimedia 94 acm multimedia 95 eurographics 95 dags 95 sydney university technology australia sept 1994 brisbane university technology australia sept 1994 ieee intl conf multimedia computing systems 1994 panels acm multimedia 94 panel chair acm multimedia 95 acm siggraph 92 unix expo 92 bis 92 spie 92 international standards committees chair 3 multimedia hypermedia information encoding 1994 present head delegation iso 1991 present editor iso part 3 support scripting languages member 8 1991 present updated sept 30 1996 buford cs uml


pravin vaidya artificial intelligence machine learning communication design numerical scientific computing linear algebra parallel algorithms semiconductor device simulation parallel computing algorithms compu ter systems real time computing systems scheduling partial computations databases theoretical computing analysis data structures combinatorics computational geometry computational learning theory complexity theory research group administrative marla brownfield digital computer laboratory 1304 west springfield avenue urbana il 61801 217 333 217 244 6500 fax vaidya cs uiuc img back faculty index


clifford neuman biographical information travel schedule personal papers projects products courses students talks news senior research scientist information sciences institute senior project leader global operating systems technology group university southern california 4676 admiralty marina del rey ca 90292 6695 voice 1 310 822 1511 fax 1 310 823 6714 email isi research assistant professor department computer science university park campus salvatori room 234 university southern california los angeles ca 90089 campus telephone 1 310 740 4518 personal address box marina del rey ca 3232 projects security infrastructure large distributed systems accepted business practice saber global operating system technologies scalable infrastructure scope products kerberos computer security information infrastructure resource manager distributed parallel computing network payment electronic commerce anonymous network payment courses advanced operating systems


raj acharya adjunct associate professor research interests medical imaging computational biology davin milun milun cs buffalo


email cs umd current position professor cs cfar umiacs academic degree ph stanford university 1975 research interests data structures image processing


half century exponential progress information technology 1996 university washington annual faculty lecture vice president gore speech eniac 50th anniversary celebration congress talks george jetson support policies fred flintstone university california berkeley invents chinese cooking nathan joins ed lazowska uw cse faculty trip memory lane img ed lazowska ismap ed lazowska professor chair department computer science engineering university washington lazowska received brown university 1972 university washington receiving ph university toronto 1977 research concerns computer systems computer system performance recent specific topics included parallel discrete event simulation scheduling policies multiprocessors kernel structures support high performance parallel computing programming systems networks multiprocessors effective program performance monitoring tools parallel systems interaction architecture operating system design hardware software techniques high performance communication recently operating system programming system support exploits wide address architectures opal work carried terrific students supervised jointly hank levy john zahorjan lazowska wears ties pushes paper frequent miles graduate students picked 1 7mb quicktime hosts lots visitors surprising number funny noses lazowska member board directors computing research association cra members include essentially graduate departments industrial research laboratories field chair cra government affairs committee serves national science foundation advisory committee computer information science engineering national research council computer science telecommunications board member 6 person technical advisory board microsoft research 4 person national semiconductor computer science systems academic advisory council board directors data corporation scientific advisory board cable ventures fund belongs standing advisory committees department eecs uc berkeley departments computer science stanford university university virginia hong kong university science technology member acm turing award selection committee completed service 12 person national research council panel reviewing multi agency high performance computing communications program brooks sutherland committee recently served chair committee examiners graduate record examinations board computer science test chair acm sigmetrics association computing machinery special interest group concerned computer system performance chair acm software systems award committee program chair 13th acm symposium operating systems principles editor ieee transactions computers university washington addition serving chair department computer science engineering lazowska chair university advisory committee academic technology recently served member committee college arts sciences chair review committee ph program molecular biotechnology member performance review committee dean engineering selected deliver 1996 university washington annual faculty lecture lazowska fellow association computing machinery institute electrical electronics engineers seventeen ph students 21 students completed degrees working miscellaneous links integrated overview university washington department region persuasion player version 250k intended local consumption impact research university information technology perspective uw cse professional masters program persuasion player top ten reasons major cse uw information ee cse building project abbreviated cv computing research driving information technology information industry forward massy goldman report alleging 50 cse ph production issued due flawed data median years ph conference board study doctorate programs half century exponential progress information technology 1996 university washington annual faculty lecture driver ed information highway university washington saturday seminar november 1995 testimony house committee nsf april 1995 testimony house science committee hpcc october 1995 vice president gore speech eniac 50th anniversary celebration february 1996 interesting home pages demo purposes ode iii executive vice president iii departs duke university university california berkeley invents chinese cooking nathan joins ed lazowska uw cse faculty trip memory lane lazowska downs family home page directions house aquatic club sac home page recently discovered review 10th grade son 6th grade poetry finger lazowska cs washington schedule information cu seeme office 128 95 2 223 128 95 2 51 home 128 95 1 129 page http www cs washington homes lazowska ismap lazowska cs washington


edward davidson professor electrical engineering computer science university michigan advanced computer architecture lab areas specialization computer architecture design parallel pipeline systems performance modeling application performance tuning director center parallel computing university michigan specializes development utilization parallel computing technology scientific engineering applications center parallel computing cpc contacted center parallel computing university michigan college engineering room 271 building ann arbor mi 48109 2104 phone 313 936 2310 fax 313 763 email cpc info umich interested view bio publications learn current research access graduate student research assistants listed parallel performance evaluation modeling chuan hua chang alexandre software pipelining resource modeling shih hao hung instruction scheduling register allocation combinatorial optimizations jude rivers tien pao shih ed tam john david wellman research group affiliations parallel performance project ppp center parallel computing cpc advanced computer architecture laboratory acal department electrical engineering computer science eecs university michigan um contact information professor edward davidson university michigan 1301 beal avenue eecs 2114c ann arbor mi 48109 2122 tel 313 647 1777 fax 313 763 4617 email davidson eecs umich


dr blaise liffick associate professor department computer science millersville university cs department home page human computer interaction directions hci report applied science engineering lab dupont institute human computer interaction lab university maryland human computer interaction institute cmu user interface group university virginia project people computers design stanford hci server bowling green state university cognitive sciences dept cognitive science uc irvine cognitive science group georgia institute technology dept cognitive science johns hopkins university center research concepts cognition indiana university cognitive neural systems dept boston university mrc research centre brain behavior oxford university cognitive science dept uc san diego institute research cognitive science univ penn center cognitive science rutgers center neural basis cognition cmu pitt cognitive science sites brown cognitive science virtual library neurosciences internet resource guide international sites social impact issues society future computing conference june 1995 world ethics codes centre computers social responsibility de university computer professionals social responsibility cpsr history computing university vermont professionalism computing university vermont privacy clearing house electronic privacy issues ethics statements archive university mexico yahoo cyber culture computers disabled project easi yahoo disabilities faculty guide suny albany program university washington deaf education information kent state university disability directory university maryland disability services boston university forum disability issues uc davis trace center university wisconsin university buffalo msu deaf mosaic project easi st john university ucla disabilities computing program university mn disabilities services enabling technologies sun microsystems handicapped news bbs action blind people organization center information technology accomodation professional associations organizations computer professionals social responsibility cpsr association computing machinery acm ieee computer society acm special interest group computer graphics siggraph international internet association electronic frontier foundation boston computer society labs mit media lab intelligent machines lab millersville microsoft ui lab university graduate cs cis departments university pittsburgh university delaware temple university university maryland main campus university maryland baltimore campus carnegie mellon university johns hopkins university lehigh university purdue university university pennsylvania governmental sites white house national telecommunications information administration national information infrastructure task force defense technical information web cia national science foundation national institute standards technology smithsonian natural history museum united states memorial museum pennsylvania virtual law reference library companies sun microsystems apple ibm microsoft cray research silicon graphics computing amp miscellaneous software engineering institute seattle community network jerusalem mosaic wired magazine exploratorium franklin institute star trek language institute dr blaise liffick department computer science millersville university po box 1002 millersville pa 17551 0302 liffick cs millersv 717 872 3536 voice 717 871 2320 fax


carla ellis associate professor department computer science levine science research center box 90129 duke university durham nc 27708 919 660 6523 fax 919 660 jump directly professional interests teaching mentoring personal interests biography received degree university toledo toledo 1972 ph degrees university washington seattle 1977 1979 coming duke associate professor 1986 member computer science faculties university oregon eugene 1978 1980 university rochester rochester ny 1980 1986 professional interests experimental computer scientist broad interests operating systems parallel distributed systems specific interests projects include storage systems workstation clusters parallel file systems multiprocessors mobile computing list publications chair acm sigops special interest group operating systems teaching mentoring teaching undergraduate introduction operating systems systems seminar spider meetings img grad students great cooler web pages surendar chandra wendy wang life computer science life computer science associating life web link carla ellis carla cs duke


home page office reach teaching information classes research interests projects papers book papers line university kentucky computer science department


ron unrau assistant professor url http web cs ualberta ca phone 403 492 fax 403 492 1071 email unrau cs ualberta ca img address department computing science 615 general services building university alberta edmonton alberta canada t6g 2h1 office 625 general services building research interests networks workstations cheap plentiful seldom exploited potential parallel systems partly due difficulty writing parallel programs message passing environment partly due high communication cost network progress made distributed shared memory systems present shared memory programming abstraction minimize communication weak coherence progress made compilers generate parallel code directly research aimed extending progress fronts primarily parallel compilation techniques targeted distributed shared memory environments work focused areas 1 targeting weakly coherent systems 2 improving locality reduce communication 3 exploring improving interaction compiler run time systems research areas distributed systems enterprise select publications courses cmput 114 cmput 285 cmput 508 personal information interesting web links numachine parallel processor tornado operating system img img august 15 1995


4395 ramesh jain director visual computing laboratory university california san diego 9500 gilman drive mail code la jolla ca 92093 ramesh jain professor electrical computer engineering computer science engineering university california san diego joining ucsd professor electrical engineering computer science founding director artificial intelligence laboratory university michigan ann arbor mi affiliated stanford university ibm almaden research labs general motors research labs wayne state university university texas austin university hamburg germany indian institute technology kharagpur india current research interests multimedia information systems image databases machine vision intelligent systems founder chairman ann arbor based company dedicated revolutionize software interfaces emerging sensor technologies founding chairman virage san diego based company developing systems visual information retrieval ramesh fellow ieee aaai society photo optical instrumentation engineers member acm pattern recognition society cognitive science society optical society america society manufacturing engineers involved organization professional conferences workshops served editorial boards journals editor chief ieee multimedia editorial boards machine vision applications pattern recognition image vision computing received ph iit kharagpur 1975 university 1969 arun thu aug 24 01 31 19 pdt 1995


george polyzos associate professor dept computer science engineering university california san diego la jolla ca 92093 0114 tel 1 619 534 fax 1 619 534 7029 email polyzos cs ucsd director computer systems laboratory senior fellow san diego supercomputer center member center wireless communications assistant michele foley cs ucsd tel 1 619 534 ap biography cfp ieee infocom 97 special issues conferences working past submission deadline research interests projects partial list publications line teaching miscellaneous information ucsd cse users finger check departmental phone directory send mail user contact department directly cse home page updated dec 20 1995


srihari pattern recognition professor computer science director center excellence document analysis recognition cedar state university york buffalo srihari founding director center excellence document analysis recognition cedar faculty member computer science department state university york buffalo 1978 presently pattern recognition professor srihari received sc physics mathematics bangalore university 1967 electrical communication engineering indian institute science bangalore 1970 ph computer information science ohio state university columbus 1976 received york state united university professions excellence award 1991 fellow institute electronics telecommunications engineers india fellow institute electrical electronics engineers ieee fellow international association pattern recognition srihari general chairman international workshop handwriting recognition held buffalo york 1993 chairman international conference document analysis recognition icdar 95 montreal canada august 1995 general chairman icdar 99 held bangalore india october 1999 srihari author hundred publications including united states patents ieee tutorial computer text recognition error correction associate editor journals pattern recognition international journal pattern recognition artificial intelligence srihari chairman ceo corporation specializing handwriting recognition technology email srihari cedar buffalo phone 716 645 information img cedar cs buffalo ub computer science department


ellis horowitz guest good luck semester click references java talk born brooklyn york usa education mathematics brooklyn college computer science university wisconsin madison ph computer science university wisconsin madison professional interests software engineering programming languages electronic commerce employment chair professor department computer science school engineering university southern california 1970 73 assistant professor computer science cornell university 1973 present professor computer science university southern california 1990 present department head computer science university southern california 1993 95 principal center software engineering projects newsgroups digest program click references winwin software acquiring analyzing system requirements memberships acm ieee recent publications fundamentals data structures freeman 1994 sahni anderson freed software requirements negotiated win conditions proc international conference requirements engineering ieee april 1994 boehm bose lee system rapidly prototyping user interfaces taking software design academic press 1991 chris modified document monday 14 oct 96 16 12 07 pdt


jeffrey naughton naughton cs wisc research interests olap multi dimensional data analysis parallel object relational dbms goal research development database systems current database systems performance ease main areas interest 1 techniques improving performance multi dimensional data analysis including array based storage processing algorithms bit map indices algorithms computing cube 2 performance object relational database systems including benchmarking dbms algorithms set valued attributes techniques parallelizing workloads 3 parallel geo spatial information systems recent publications computation multidimensional aggregates agarwal rakesh agrawal prasad deshpande ashish gupta raghu ramakrishnan sunita proceedings 22nd international conference large databases mumbai bombay 1996 storage estimation multidimensional aggregates presence hierarchies amit shukla prasad deshpande karthikeyan ramasamy 22nd international conference large databases mumbai bombay 1996 object relational database benchmark michael carey david dewitt johannes shah mohammed asgarian preparation adt object relational dbms yihong zhao kristin tufte submitted publication


picture beth elizabeth professor department computing information sciences vice provost academic services technology dean continuing education kansas state university research interests database knowledge base systems design data security teaching learning environments publications selected papers proposed mechanism implementation discretionary access controls network environment vaughn journal computer networks isdn systems oct 1994 natural change statistical database mcnulty 13th national computer security conference database systems data disclosure limitation journal official statistics vol 9 2 1993 500 acm national lectures data security 1993 author 5 books 7 chapters books elizabeth beth cis ksu department computing vice provost dean continuing information sciences academic services education kansas state university technology kansas state 234 nichols hall kansas state university university manhattan ks 66506 108 anderson hall college court building 913 532 6350 office manhattan ks 66506 manhattan ks 66506 913 532 7353 fax 913 532 office 913 532 office 913 532 fax 913 532 fax


richard science william mary associate professor department computer science college william mary mailing address department computer science college william mary box 8795 williamsburg va 23187 8795 office tercentenary hall 116 phone 1 757 221 fax 1 757 221 1717 main office 1 757 221 3455 research interests graphics scientific visualization data structures teaching fall 1996 csci 427 527 computer graphics csci 141 introduction computer science updated october 19 1996 report suggestions problems cs wm


1862 photo hassan ait kaci foundation implementation application programming languages intelligent software email cs sfu ca titles professor computing science mpr nserc industrial senior chair intelligent software systems education informatique grenoble france 1976 sc computer science univ pennsylvania philadelphia pa 1982 ph computer science univ pennsylvania philadelphia pa 1984 des informatique universite de paris vii paris france 1990 laboratory affiliations intelligent software group director intelligent systems lab associate logic programming lab associate graduate students current research recent funding selected publications back faculty home page


department computer science university rochester rochester ny usa 14627 0226 tel 716 275 fax 716 461 2018 world wide web home page department computer science university rochester rochester york usa information department department brochure technical report collection anonymous ftp archive graphical browser department subway map university rochester cs department department people department subway map department research projects information application graduate study undergraduate program technical reports urcs anonymous ftp archive directions urcs urcs www server statistics authorized visitors cs labs local access wanted wanted staff research systems programmer information sources university rochester home page university rochester curio gopher starting points internet exploration internet resources meta index ncsa gopher servers world information world wide web world wide web www ncsa html primer creating www documents comprehensive http www sitelist change 7 sep 1996 ferguson report problems server www cs rochester


lewis professor computer science university kentucky personal data information photo recording biography addresses telephones research interests papers resume teaching advising current courses cs 575 cs 674 student advising materials teaching materials introductory computer science 1st 2nd algorithms theory computation text heuristic algorithms text information institutional pages computer science department department overview college engineering university kentucky admi 97 increasing diversity research education symposium computing minority institutions admi home page admi 97 call papers postscript html


picture peter schro der assistant professor computer science california institute technology bio java wavelets java bit painful extraordinary potential research teaching small collection subdivision wavelet related applets students collaborators written check simple demonstration draw smooth curves corner cutting attempt java instance subdivision linked wavelet constructions students dmitri applet starting point homework assignment demonstrates splines bezier curves varying order rolled application generated subdivision dmitri implemented project java awesome wrote applet explore space tap wavelets watch space mike dae kang start hacking java summer news named sloan foundation fellow caltech press release nsf national young investigator work wavelet methods connecting theory application current activities chair 7th eurographics rendering workshop june 17 19th portugal program committee member 1996 symposium volume visualization october 27 28 1996 san francisco organizer 1996 siggraph wavelets computer graphics program committee member 1997 acm symposium 3d interactive graphics member special study group international association wavelets contact info department computer science 256 80 fax 818 792 4257 1201 california blvd ms 256 80 818 395 california institute technology net ps cs caltech pasadena ca 91125 office 286 jorgensen classes topics geometric modeling cs winter quarter 1996 3d photography cs ee cns 148 spring quarter 1996 research interests main interest multi level methods happening headline wavelets generalizing ideas called wavelets debate overview research projects computer graphics group ideas concrete projects happening happen publications online fancy html wavelets computer graphics notes siggraph 96 michael cohen tony derose david salesin chapters latest improved guide building wavelets home interpolating subdivision meshes arbitrary topology denis zorin cs tr 96 6 final siggraph version cool pix tetrahedron pipes venus david coming wavelets computer graphics special issue proceedings ieee spherical wavelets efficiently representing functions sphere appeared proceedings siggraph 95 spherical wavelets texture processing appeared rendering techniques 95 springer verlag textures radiosity controlling emission reflection texture maps reid pat hanrahan appeared proceedings siggraph 94 wavelet image compression appeared wired magazine 3 05 1995 polygons pat hanrahan appeared proceedings siggraph 93 tr version details mathematica code library implements form factor expression guarantees work building wavelets home appeared tr data parallel volume rendering line drawing gordon stoll appeared proceedings acm volume visualization workshop 1992 contributed siggraph notes wavelets computer graphics held siggraph 95 los angeles copyright 1995 1996 peter schro der


1478 desautels professor computer sciences department university wisconsin 1210 dayton st madison wi 53706 1685 telephone 608 262 1204 fax 608 262 9777 email ed cs wisc ph purdue university 1969 interests systems programming personal computer systems applications research summary interests focus personal computers applications limitations concerned effective ways introducing personal computers specialists continue follow developments computer aids handicapped sample recent publications understanding computers brown iowa 1989 introduction computer architecture vax brown iowa 1989 assembly language programming introduction computer organization brown iowa 1982 page automatically created october 9 1995 email pubs cs wisc report errors