img img database systems laboratory department computer science university massachusetts amherst img database systems laboratory part computer science department university massachusetts current research activities deal enhancing performance availability applications require transaction support semantic information objects operations transaction model application principal investigator prof krithi ramamritham phd students current mohan kamath cris martin past badrinath associate professor computer science rutgers university panos chrysanthis assistant professor computer science university pittsburgh lory molesky oracle corporation research areas related publications previous projects semantics based concurrency control reasoning extended transaction models acta framework formal characteristics performance aspects epsilon serializability current projects language support extended transaction models support recovery shared memory database systems data sharing schemes multimedia database systems transaction management query processing massive digital databases workflow management support advanced database applications funding agencies national science foundation sun microsystems lab information complete list publications lab research groups cs department umass computer science technical reports interested database systems bibliography check latest search engine designed developed mohan kamath links research development areas related databases watch future additions active databases university florida university michigan university colorado boulder politecnico di milano italy heriot watt university uk university linz austria concurrency control transaction management cooperative problem solving db centric cscw cscw page university florida gmd germany technical university germany data warehousing stanford university data warehousing conference database archiving lawrence livermore national laboratory llnl database benchmarks tuning performance 007 benchmark university wisconsin tpc benchmarks sequoia benchmark university california berkeley city university london prima project oopsla 95 workshop benchmarks performance database interfaces visualization user interfaces database security authorization george mason university politecnico di milano italy data knowledge mining discovery gte labs ibm almaden research center university california los angeles los nations lab university british columbia canada data models schemas university pennsylvania norway database programming languages university pennsylvania university massachusetts object systems lab sql standards temporal extensions sql university arizona deductive databases intelligent deductive databases digital libraries university california berkeley university california santa barbara carnegie mellon university university illinois urbana champaign university michigan stanford university massachusetts institute technology ibm massive digital databases distributed data management university california berkeley university maryland university florida university erlangen germany extended advanced transaction models management transaction management engineering design databases eth zurich switzerland university erlangen germany federated heterogeneous information systems interoperability stanford university university florida purdue university microelectronics computer technology corporation mcc technical university darmstadt germany university manitoba canada university zurich switzerland open group common object request broker architecture corba omg system object model som ibm corp lab germany hypermedia microelectronics computer technology corporation mcc university michigan university linz austria fraunhofer institute germany indexing techniques northeastern university intelligent deductive databases university wisconsin university california los angeles georgia tech politecnico di milano italy heriot watt university uk internet information www microelectronics computer technology corporation mcc university colorado university georgia stanford university university alberta canada bell labs university melbourne australia knowledge based systems university texas austin university toronto canada university california los angeles university twente netherlands legacy data reengineering eth rich switzerland reasoning systems paper collection workflow management logical physical database design politecnico di milano italy university zurich switzerland massive digital databases text databases information retrieval mdds university california berkeley university massachusetts database lab university massachusetts information retrieval lab northeastern university university arizona high performance storage system development team nasa gsfc national storage lab llnl gmd germany eth zurich switzerland digital libraries mobile wireless personal computing rutgers university purdue university university washington stanford university university california los angeles multidatabase systems university waterloo canada queen university canada multimedia databases university minnesota university california los angeles oregon graduate institute university massachusetts indiana university politecnico di milano italy irst italy university italy heriot watt university uk ibm almaden research center garlic project text image video ibm almaden research center gmd germany university erlangen germany technical university darmstadt germany university alberta canada object oriented databases university wisconsin university michigan brown university university virginia gte laboratories inria france university alberta canada university manitoba canada university twente netherlands politecnico di milano italy university linz austria eth zurich switzerland edinburgh university uk linko ping university sweden object database management group oopsla 95 workshop open architecture extensible systems federated heterogeneous information systems parallel distributed databases university wisconsin university twente netherlands heriot watt university uk partial information university pennsylvania query processing optimization oregon graduate institute ibm almaden research center sequent computer systems sybase white paper query accelerator politecnico di milano italy real time databases university massachusetts university virginia university michigan stanford university boston university bilkent university turkey recovery transaction management scientific databases oregon graduate institute university michigan university erlangen germany spatial databases university wisconsin politecnico di milano italy heriot watt university uk university waterloo canada university minnesota temporal databases university florida politecnico di milano italy edinburgh university uk transaction models management traditional advanced university massachusetts recovery shared memory dbms university massachusetts language support extended transactions eth zurich switzerland technical university darmstadt germany oregon graduate institute university massachusetts acta framework university massachusetts epsilon serializability university massachusetts semantics based cc visualization user interfaces ibm almaden research center university california berkeley university toronto canada university washington university michigan virginia tech heriot watt university uk workflow management ibm almaden research center university massachusetts university georgia university twente netherlands university zurich switzerland eth zurich switzerland politecnico di milano italy university erlangen germany fraunhofer institute germany workflow management coalition george mason university workflow tutorial links interesting database related pages special interest groups organizations acm sigmod information server acm sigir information server acm information server acm information server object management group home page object database management group home page open home page vldb endowment workflow reengineering international association languages standards architectures tutorials sql standards home page sql information home page standard home page 007 benchmark home page tpc benchmark page sequoia benchmark exhaustive list benchmarks open specifications page common object request broker architecture corba system object model som object linking embedding ole workflow management coalition workflow tutorial university research labs university wisconsin madison stanford university university california berkeley university illinois urbana university maryland college park university virginia charlottesville university georgia athens georgia tech rutgers university university florida university illinois columbia university brown university northwestern university oregon graduate institute indiana university purdue university massachusetts institute technology university michigan ann arbor university pennsylvania university colorado boulder university toronto canada university alberta canada university waterloo canada university manitoba canada university british columbia canada queen university canada university erlangen germany technical university darmstadt germany national technical university athens greece university twente netherlands politecnico di milano italy linkoping university sweden eth zurich switzerland university zurich switzerland university linz austria technical university vienna austria university melbourne australia edinburgh university uk heriot watt university edinburgh uk kaist korea industrial government research labs ibm almaden research center bell labs gte labs gte dom project papers microelectronics computer technology corporation mcc microsoft research matsushita information technology laboratory lawrence berkeley lab nasa gsfc inria france gmd germany research programs initiatives projects massive digital data systems national information infrastructure information infrastructure technology applications high performance storage system digital library initiative human genome database project intelligent database environment advanced applications idea project europe research conferences workshops icde sigmod vldb edbt cikm dasfaa adl pdis exhaustive list database conferences list database conferences research journals bulletins acm sigmod record acm transactions database systems tods acm transactions office information systems acm computing surveys ieee transactions knowledge data engineering tkde ieee bulletin technical committee data engineering international journal distributed parallel databases distributed systems engineering journal journal intelligent information systems information systems vldb journal bibliography tech reports search database research bibliography warp speed search bibliography databases based glimpse search database bibliography author bibliography implementation database systems cs tech report index database archive university london database text books atomic transactions lynch merritt weihl transaction processing concepts techniques jim gray andreas reuter camelot avalon distributed transaction facility eppinger readings groupware cscw assisting human human building object oriented database system database transaction models advanced applications ahmed database principles programming performance patrick neil query processing advanced database systems maier readings database systems 2nd edition michael stonebraker readings object oriented database systems zdonik maier distributed object management zsu object databases essentials mary principles distributed database systems oo multidatabase systems solution adv apps object oriented databases oodb applications case networks vlsi cad gupta horowitz performance concurrency control mechanisms centralized dbms kumar principles relational database systems mitra oo database management applications engr cs database processing fundamentals design implementation david analysis design business information systems martin systems analysis design kendall kendall mis study information systems mcleod management information systems learning exercises applications database design wiederhold advances database programming languages database security modern database systems object model interoperability kim object oriented concepts databases applications kim lochovsky database system concepts korth silberschatz requires registration distributed databases stefano giuseppe requires registration object oriented databases alan brown requires registration information retrieval text van rijsbergen univ glasgow uk professional books magazines guide developing client server sql applications understanding sql complete guide simon object database standard odmg 93 release 1 1 computer supported cooperative work book readings irene object oriented technology manager guide david taylor object databases essentials mary client server computing technical professionals hart rosenberg dbms directions relational multimedia oo dbms larson select sql relational database language newcomer database management principles products learning sql gustafson learning advanced sql gustafson decision support executive information systems gray decision support systems expert systems strategic information systems competition neumann strategic management information technology essentials management information systems laudon laudon managing information technology managers martin magazine dbms magazine database programming design magazine magazine database related newsgroups comp databases comp databases theory comp object comp groupware comp client server comp databases olap database related faqs frequently asked questions comp client server faq comp groupware faq system application developers conferences db expo database client osf dce user developer conference data warehousing conference commercial products services relational dbmss ibm db2 family oracle sybase informix online tandem sql microsoft access microsoft sql server borland dbase paradox progress gupta pick red brick systems empress solid technology logic mimer object oriented dbmss object design objectstore objectivity o2 technology poet object relational dbmss illustra omniscience polyhedra ii ibm db2 extensions persistent data servers tp monitors ibm ibm ims transarc novell tandem tm mp tandem digital security products tandem distributed database products ibm backup replication archiving products ibm tandem workflow groupware related products services ibm action technology digital xerox xsoft remedy corporation action request system lotus notes taligent work software yellow pages information retrieval products services excalibur information dimensions software fulcrum xerox oracle infoseek parallel databases ibm db2 parallel edition multimedia databases oracle media server ibm ultimedia manager core database performance tools software database systems database tools software services bmc software computer associates peoplesoft platinum technology product data management express data manager product data management product data management subtle software info systems faqs resources newsgroups commercial products oracle faq comp databases sybase faq informix faq comp databases paradox faq foxpro page rdbms comparison matrix comp databases oracle comp databases sybase comp databases informix comp databases ingres comp databases pick comp databases rdb comp databases gupta comp databases ms access comp databases fox comp databases paradox comp sys mac databases comp lang basic visual database public domain database software ingres rdbms uc berkeley postgres extensible rdbms uc berkeley distributed dbms uc berkeley exodus extensible dbms wisconsin madison eos bell labs storage manager ode oodbms bell labs oodbms gmd germany web page hughes technology australia w3 world wide web gateway obst oodbms karlsruhe germany texas persistent store texas austin oodbms linkoping university sweden leap rdbms oxford brookes university uk athena oodbms oxford brookes university uk rock roll deductive oodbms heriot watt university edinburgh uk sql shareware miscellaneous data management shareware catalog free database systems ftp version database related information maintained databases logic programming web connection database researchers developers online analytical processing data warehousing decision support systems early history system sql sql tutorial page interesting database systems related web page database systems related web page included provide details note page included automatically administrator include verification based contents trivia page access page accessed times stopping page changing visit web server running alpha workstation digital equipment corporation check traffic summary server visitor statistics page page featured catalogs yahoo catalog computers software databases institutes gnn internet catalog computers miscellaneous indexes database related pages einet galaxy engineering technology computer technology database systems lycos internet catalog search database systems webcrawler search database systems 100 matches page total 500 links growing growing growing leave page authored maintained copyrighted mohan kamath page copied mirrored site permission author comments page links changed inaccessible send mail kamath cs umass update 22 1996 disclaimer web pages referred links page maintained respective parties information risk university massachusetts responsible consequences result information provided page img umass computer science img umass real time systems


distributed systems group department computer science texas university ll netscape view pages tables lots work hr bright building hrbb kumar thompson distributed systems group dsg coalition graduate students department computer science shared research interests areas distributed systems networks security simulation research efforts guided dr udo pooch master degree student listing ph student listing send mail dsg master students send mail dsg ph students send mail systems group graduate students maintained dave nash send corrections comments cs tamu updated 12 september 1996


rocket project principal investigators philip sweany steve carr current graduate students chen ding saurabh jang evan schemm thomas wu current undergraduates denise denise wieber description goals rocket project develop retargetable compiler instruction level parallel architectures develop scheduling register allocation algorithms architectures project intimately project current research efforts include software pipelining register sensitive scheduling register allocation scheduling partitioned register files publications sweany genetic algorithms fine tune instruction scheduling heuristics proceedings 96 iii sweany extending list scheduling execution frequency proceedings 29th annual hawaii international conference system sciences carr ding sweany improving software pipelining unroll jam proceedings 29th annual hawaii international conference system sciences sweany carr craig practical framework combining instruction scheduling register assignment 1995 international conference parallel architectures compiler techniques sweany dominator path scheduling global scheduling method proceedings 25th international symposium microarchitecture micro 25 sweany post compaction register assignment retargetable compiler proceedings 23rd microprogramming workshop micro 23 research grants generating efficient code horizontal micro architectures partitioned register files texas instruments 1995 1996 23 715 hiding latency level 1 level 2 cache alpha 21164 digital equipment corporation 1995 1997 83 500 masters theses frequency based list scheduling list scheduling incorporate frequency information michigan technological university department computer science 1993 approach combining register assignment instruction scheduling michigan technological university department computer science august 1994 huber path selection heuristics dominator path scheduling michigan technological university department computer science october 1995 ding improving software pipelining unroll jam memory reuse analysis michigan technological university department computer science june 1996 wu register allocation hierarchical graph coloring michigan technological university department computer science august 1996


img click developments latest version bugs fixed img background exact geometric computation img real expr package img examples img references img source codes img member projects cs dept math dept cims nyu comment send mail simulation nyu


physics computation carver mead group part computation neural systems program caltech search group works analog vlsi meaning build silicon models mimic capture functioning biological neural systems build vision systems auditory systems systems learn adapt lot work device physics related learning systems interested design chips tanner tools chipmunk tools setup chip design linux free tools interested lab chip testing setup test retina chips chips fabricated mosis service check resources main site distribution john chipmunk tools pretty extensive collection papers analog vlsi resources include lab assignments carver analog vlsi cns 182 assignments companion analog vlsi design cns 184 full list resources stuff finally interested random tidbits interest links related sites search back physics computation comments bugs mail modified 96 days ago recent accesses local web admin including html httpd setting page


usc laboratory molecular robotics molecular robotics emerging highly interdisciplinary field seeks produce materials devices scale direct interaction atomic structures conventional chemistry relies bulk phenomena diffusion create assembling structures molecular robotics manipulates structures applying external forces precisely positioning atoms molecules revolutionary technology attempts provide fine control structure matter analogous fine control bits bytes information structures future applications range fast small computers replicating machines programmed recognize repair specific kinds cells perform large variety tasks impossible accomplish large structures built massive parallelism technology potential major scientific practical breakthroughs today lack tools realizing dreams molecular robotics research opportunities abound contacts prof ari requicha laboratory molecular robotics computer science department university southern california los angeles ca 90089 0781 lipari usc telephone 213 740 fax 213 740 img img img img img img history research facilities people links cool stuff copyright 1996 university southern california rights reserved trademarks mentioned belong respective owners update september 24 1996


img charles leiserson albert professor computer senior research scientist science engineering associate director lcs supercomputing technologies vertically integrated alliance lcs groups goal master aspects high performance computing including parallel distributed processing modern hardware technology translated efficient easy computing systems organized cross section lcs represents cooperative effort designed address problems multiscale computing achieve mission studying machine architecture language design parallel computing theory numerical analysis operating system design computational science facilities include 128 node connection machine cm 5 parallel supercomputer silicon graphics high performance graphics workstations networks workstations driven part fact today computer architect select range technology options including cost performance reliability power variety options grow larger decade introduction gigabit networks lightweight multichip modules optical switches result diverse set multiscale computing environments including wireless computers high performance pcs multiprocessor workstations clusters distributed workstations local area supercomputers massively parallel supercomputers cover wide range performance parameters vision multiscale computing conflicts powerful force software existing software systems threaten multiscale computing sanction established computing environments environment require massive custom programming standard software attempts unify multiscale computing users surely demand common languages operating systems network protocols applications cope limitations common architectural software mechanisms designed unify diverse multiscale computing environments encourage markets flourish task requires hardware software design formulation theoretical foundations applications development closely project scout lcs led consortium designed promote interaction computer computational scientists scout members include interdisciplinary scientists mit boston university harvard mit participants include scientists engineers mathematicians departments physics electrical engineering computer science mathematics earth ocean atmospheric sciences scout auspices hosts facilities connection machine cm 5 img img img


coherence algorithms shared memory architectures cashmere project overview people papers overview cashmere stands coherence algorithms shared memory architectures ongoing effort provide efficient scalable shared memory minimal hardware support accepted today commercial workstations offer price performance ratio shared memory desirable programming paradigm parallel computing shared memory networks workstations provide acceptable performance limited class applications cashmere attempts bridge performance gap shared memory networks workstations tightly coupled cache coherent multiprocessors minimal hardware support context cashmere discovered ncc numa cache coherent uniform memory access machines greatly improve performance dsm systems approach fully hardware coherent multiprocessors basic property ncc numa systems ability access remote memory directly capability offered variety network interfaces including dec memory channel hp princeton shrimp current technology additional hardware cost ncc numa systems pure message passing systems minimal based fact performance results ncc numa machines lie knee price performance curve department computer science university rochester building 32 processor cashmere prototype significant part funding form equipment grant digital equipment corporation prototype consists 4 processor dec 2100 4 233 multiprocessors memory channel network memory channel plugs pci bus memory mapped network interface processors read write remote locations kernel intervention inter processor interrupts end end bandwidth sec remote write latency 3 hardware generation expected increase bandwidth approximately order magnitude cut latency half cashmere functionality memory channel providing cache coherence software implementation cashmere slides workshop scalable shared memory multiprocessors boston ma october 1996 cashmere people people cashmere michael scott wei li sandhya dwarkadas leonidas kontothanassis galen hunt maged michael robert stets nikolaos hardavellas ioannidis wagner meira alexandros poulos michal cierniak srinivasan parthasarathy mohammed zaki cashmere papers hunt scott peer support reduce fault tolerant overhead distributed shared memories tr 626 computer science department university rochester june 1996 kontothanassis scott efficient shared memory minimal hardware support computer architecture news september 1995 kontothanassis scott memory mapped network interfaces improve performance distributed shared memory proc 2nd hpca san jose ca february 1996 kontothanassis scott bianchini lazy release consistency hardware coherent multiprocessors proc supercomputing 95 san diego ca december 1995 kontothanassis scott software cache coherence current future architectures special issue scalable shared memory november 1995 n2 pp 179 195 kontothanassis scott software cache coherence large scale multiprocessors proc 1st hpca raleigh nc january 1995 kontothanassis bianchini scott simple page placement policies reduce cost cache fills coherent shared memory systems proc ipps 95 santa barbara ca april 1995 cierniak wei li unifying data control transformations distributed shared memory machines proc sigplan 95 pldi la jolla ca june 1995 tr 542 comments requests send mail kthanasi crl dec scott cs rochester img urcs home page


distributed computing group department computer science washington university st louis faculty kenneth goldman gruia catalin roman douglas schmidt george varghese research areas distributed algorithms fault tolerance formal design methods software development tools environments visualization systems techniques participating laboratories projects computer communications research center computer visualization laboratory distributed programming environments programmers playground concurrent systems group


university maryland institute systems research isr cim group mosaic homepage purpose advance state art computer integrated manufacturing factory shop floor level emphasis development application advanced modeling tools complex manufacturing systems integration information implemented ai production systems distributed architectures support nsf nist bentley systems incorporated army tank automotive command westinghouse location engineering research building 093 research areas agile manufacturing automated generation redesign suggestions machined parts facility design feature recognition hierarchical production management systems hybrid facility master planning imacs project system automated manufacturability analysis design critiquing job shop scheduling mail sorting manufacturability evaluation petri nets manufacturing systems virtual factories electro mechanical device manufacturing faculty michael ball college business management isr john department electrical engineering isr michael fu college business management isr ioannis department mechanical engineering isr dana nau group leader department computer science isr subrahmanian department computer science isr zhang group leader department mechanical engineering isr post doctoral research associate jeffrey herrmann graduate students arun mechanical engineering das mechanical engineering kiran mechanical engineering george mechanical engineering mirza mechanical engineering marios computer science mechanical engineering vijay ramachandran mechanical engineering william computer science alumni gupta mechanical engineering 1994 undergraduate students nirupama chandrasekaran computer science 1994 yew kung computer science 1994 pointers collaborators engineering design laboratory national institute standards technology queries comments inquiries william mail cs umd office phone 301 405 2717 fax 301 405 6707


real time systems group department computer sciences university texas austin real time systems research group headed prof aloysius mok past years worked laying groundwork establishing firm theoretical foundation real time systems build design tools based foundation work categorized areas specification modeling precise formulation real time properties systems analysis verification reasoning real time properties synthesis enforcing stringent timing constraints real time properties projects rtl real time logic toolset editor verifier simulator compiler scenario language publications abstracts group papers online postscript current members deji chen carlos puchol doug stuart chung tsou guangtian liu rwo hsi wang jin yang alumni tei wei kuo paul clements chih kan wang wang farnam jahanian


portable runtime environment multicomputer architectures advanced computing research institute cornell theory center cornell university overview runtime support system parallel compilers problem solving environments target scientific computing applications build top ports cornell implementation designed run variety mpp smp computers global address space memory model data task parallel programming models multi threaded style execution automatic work sharing mechanism dynamic load balancing papers multithreaded model dynamic load balancing parallel adaptive pde computations nikos chrisochoides journal applied numerical mathematics 6 1996 pp 1 17 1996 related research ports portable runtime systems group parallel compiler runtime consortium copyright 1995 nikos chrisochoides nikosc cs cornell


cpc center parallel computing director pen chen yew members david lilja research interests ahmed sameh research interests vipin kumar research interests yousef saad research interests sheng hua teng research interests zi yuan li research interests publications list coming seminars activities related high performance computing department computer science 200 union street minneapolis mn usa


3119 img arcade project img architectural computer aided design evaluation img principal investigator carlo sequin project loosely coupled research department architecture college environmental design explore constructions database store generic knowledge design institutional buildings specific information projects soda hall research closely linked img walkthru project important component couple experimental classes offered 1995 1996 img cs 294 5 architectural cad spring 1995 img cs 294 5 architectural cad spring 1996 96 projects progress developing tools make building model generation easier rick lewis 1995 abstract building model generation 1996 ilp presentation bmg building model generator integrating soda hall model fire simulator rick bukowski interactive walkthru environments simulation study database issues description architectural projects prof dept architecture study efficient data structures represent building model plans levels abstraction capturing duality spaces physical elements define laura downs symbolic layout tools architectural design ^^^ back graphics projects page page editor carlo sequin


natural language acquisition group department computer sciences university texas austin


robot picture information mobile robotics shape recognition group cim special link put place mcgill anniversary open house mobile robotics shape recognition group informal grouping people projects centre group mobile robots sporting collection sensors including sonar video infra red reflectance depending current experiments progress primary computing resources sgi indys sun sparc computing devices integrated general cim computing environment update october 1996 group involved issues form representation discovery relates specifically exploration representation unknown environments mobile robots representation recognition objects key technical abstraction shape models scale relationship signals symbolic descriptions problems interested include moving observer robot recognize build virtual reality model world human operator important tasks remote inspection robot learn efficiently group robots efficiently typical objective create robot learn office weekend delivered friday open box leave floor home monday morning robot explored office carry delivery search tasks mail find mary conference room note page informally maintained professor gregory dudek school computer science meant representative research centre intelligent machines cim mcgill rarely date mcgill university montreal link information visiting information small amount additional information papers demo software mobile robotics group ftp access bibliography topic bibliography mobile robotics entries related research topics searched line slightly dated list selected references postscript form invited submit additional entries included movie minute demo movie quicktime format 7 4 meg encoded illustrative 4 frame animation mpeg format 3 1 meg quicktime version compressed macbinary file mpeg version audio track major disadvantage warned size movie compressed quality isn great image size played double size machines newton books information form newton book perusal apple newton device click obtain stuffit archive book note terms respective owners abstract work position estimation contexts download newton book information sources mentioned end page graduate students apply grad student working group information school computer science note cim academic unit faculty officially departments specific projects cute robots distributed robot control software environment dudek distributed device independent mobile robot controller simulator supports distributed computation visualization control real nomad rwi robots additional details picture environment shape layout active shadows nec dudek project deals inference environmental structure shadow information click abstract multi robot exploration rendezvous roy dudek project deals exploration unknown environment robots working key aspects problems coordination rendezvous robots efficient decomposition exploration task object description recognition dudek nigel chee frank click abstract mobile robot exploration data sensors yiannis dudek freedman research investigates combined sonar range finder laser range finder exploring structured indoor environment methodology called time sensing longer abstract reliable vehicle trajectory planning dudek chi zhang hybrid method vehicle path planning guarantees globally acceptable solutions limit time space complexity depends combination variational methods approaches localizing robot minimum travel gregory dudek dudek cim mcgill ca kathleen dimacs rutgers sue whitesides sue cs mcgill ca click abstract multi robot collaboration dudek collaboration professors york wilkes ontario hydro interested taxonomy systems multiple mobile robots specific issues relationships inter robot communication sensing coordination behaviour context position estimation exploration short paper describing trial experiment context postscript form mapping weak information dudek collaboration professors york wilkes ontario hydro autonomous navigation sensory information depends usable map environment work deals automatic creation maps autonomous agent minimal requirements map satisfy order aspect work analysis uncertainty map sensing devices relates reliability cost navigation path planning aspect development sensing strategies behaviours facilitate reliable location map construction probabilistic sonar understanding simon dudek pose estimation image data explicit object models dudek chi zhang problem locating robot initially unfamiliar environment visual input robot map environment access limited set training examples specifies video image observed robot location orientation data acquired dead reckoning time robot entered unfamiliar region simple mechanism sonar avoid collisions paper address specific variant problem experimental expository purposes estimate robot orientation pan tilt sensor data performing requisite scene reconstruction needed construct metric map environment video images difficult avoid approach robot learns convert set image measurements representation pose position orientation em local metric description robot relationship portion larger environment large scale map constructed collection local maps case experiment maps express statistical relationship image measurements camera pose conversion visual data camera pose implemented multi layer neural network trained backpropagation extended environments separate network trained local region experimental data reported paper orientation information pan tilt suggests accuracy technique good line computational cost low spatial abstraction mapping mackenzie dudek project involves development formalism methodology making transition raw noisy sensor data collected robot map composed object models finally simple abstract map terms discrete places interest important early stage processing ability select represent find discrete set places interest landmarks make map problems map accurately mobile robot generating intelligent exploration plans verify elaborate map click compressed postscript copy recent paper work multi sensor fusion mobile robotics mrl group members click abstract picture spatial mapping uncertain data dudek sensor based mobile robot explores unknown environment collects world ambiguous individually collection provide strong constraints topology environment exploration strategies representations limited set world models considered maps environment structure real world exploration method reliability final map computational perceptual complexity constructing computational tools construct map uncertain data range graph theoretic connectionist human object recognition shape integration gregory dudek daniel montreal neurological inst martin dept university montreal computational vision defined large extent reference visual abilities humans project examining relationship characteristics object shape abilities humans recognize shapes includes modelling subjects object recognition due brain damage normal subjects click compressed postscript copy recent paper work dynamic reasoning navigation sensing mobile robots martin levine peter renato gregory dudek paul freedman crim geoffrey hinton university toronto goal project develop theoretical basis practical instantiation mobile robotic system reason tasks recognize objects environment map environment understand voice commands navigate environment perform search tasks achieved dynamic environment knowledge possibly changing world updated tasks radically altered system operation core research areas involved include perceptual modelling control theory neural networks graph theory control processing speech understanding key capabilities outcomes project integrated low points lines high level places rooms descriptions environment ability deal changing environment ability reason multiple tasks changing environment ability learn environment sensor characteristics ability accept high level verbal commands limited lexicon syntax similar employed humans based psychological data translate control actions robot sensors enhanced reality mobile robotics dudek project involves synthetic scene model teleoperation pose estimation live video synthetic model information produce composite image natural language referring expressions person machine dialogue dudek click abstract flexible behavioral architecture mobile robot navigation levine intention study design architecture behavioral control strategy flexible extendable component dedicated behavioral activities attempt tasks reasoning module investigating 2d navigational tasks mobile robot possessing sonar sensors controllable tv camera mounted pan tilt head major aspects proposed behavioral architecture natural language lexicon represent spatial information defining task commands lexicon language internal communications user commands task location space determined locating specific object extension formalism referred reactive programs nilsson 94 behavioral control extensions approach involve dealing real time resource limitations constraints information sources archive general cim technical reports robotics internet page mass cambridge university press mit press iris precarn page keywords mobile robot mcgill robots autonomous vision perception artificial intelligence ai robotics telerobotics computers computer science engineering learning environment mapping map making cartography rendezvous intelligent machines cognition cognitive science learning path planning navigation localization positioning modelling modeling shape form recognition graduate students students teaching research canada canadian science montreal quebec dudek gregory faculty newton movie movies sex gotta attract web multimedia document copyright gregory dudek 1996 granted permission commercial reproduction distribution display document format restrictions credit source authorship permission valid period 45 forty days time document obtained mcgill university rights reserved author


etag 900 content length accept ranges bytes human robot hands group headed dr kenneth salisbury page construction incomplete groups headed ken haptic interfaces group vision touch guided manipulation group people robot hands group brian anthony brian graduated john shah grasp coming coming phantom finger photo phantom finger axis force torque sensor device touch explore objects force sensing touch observer prototype touch observer software monitors vibration level measured force sensor finger segments components matching pieces prior experience touch observer write event driven robot programs recent papers human robot hands segmentation interpretation temporal contact signals salisbury international symposium experimental robotics october 1993 kyoto japan application change detection dynamic contact sensing salisbury int robotics research 13 5 1994 jks folks ai mit


deriving incremental programs general systematic transformational approach improving efficiency computation theme program analysis transformations incrementalization cachet incremental attribution based interactive system systematic program analysis transformation techniques derive incremental programs written functional language selected publications liu teitelbaum systematic derivation incremental programs science computer programming 24 1 1 39 february 1995 liu teitelbaum caching intermediate results program improvement proceedings acm sigplan symposium partial evaluation semantics based program manipulation pages 190 201 la jolla california june 1995 liu stoller teitelbaum discovering auxiliary information incremental computation proceedings 23rd annual acm sigplan sigact symposium principles programming languages st petersburg beach florida january 1996 liu cachet interactive incremental attribution based program transformation system deriving incremental programs proceedings 10th knowledge based software engineering conference boston massachusetts november 1995 ieee computer society press liu principled strength reduction july 1996 people annie liu tim teitelbaum keywords incremental computation incremental programs efficiency improvement optimization program analysis program transformation cachet annie liu yanhong cs cornell updated 7 14 96


2430 frame file 2tb exps sergio transfer rcv1 knn rcv1 webkb parser1 webkb flat project vis logo html frame file 2tb exps sergio transfer rcv1 knn rcv1 webkb parser1 webkb flat project sidebar html frame visualization laboratory department computer state university york stony brook research concerns development volume rendering techniques scientific visualization projects architectures volume rendering parallel methods volume rendering regular irregular grids development tools visualization flow visualization research areas computer graphics virtual reality geometric techniques laboratory founded headed leading professor arie kaufman laboratory comprehensive visualization tool volvis system system free charge binary source format runs virtually machine supports unix motif img img img img img img img img img


computer science image processing laboratory homepage computer science image processing lab group works dr michael fitzpatrick field medical imaging image processing current research interests lab include algorithms validation methods registration medical images correction geometric distortion magnetic resonance imaging localization markers brain images image guided neurosurgery lab part multi disciplinary image processing society involving faculty students departments computer science electrical computer engineering biomedical engineering neurosurgery psychiatry radiology sciences faculty michael fitzpatrick derek hill visiting scholar current students calvin srikanth matt wang jay west past students shane chang shan dong venkat ge publications journal articles book chapters conference proceedings abstracts theses patents technical reports projects image guided navigation validation medical image registration accuracy mri geometrical distortion correction trademark johnson johnson professional matthew wang vuse vanderbilt


design analysis atm networks computer networks research group department computer science university massachusetts unlike traditional data networks future broadband isdn wide area networks required carry broad range traffic classes ranging variable rate sources voice variable rate coded video smooth constant bit rate sources networks providing guaranteed performance quality service qos traffic classes problem characterizing performance networks important traditional line tasks design determining link bandwidths buffer capacities processing capacities network line performance driven traffic control purposes session level admission control section outline research aimed providing analytical tools techniques analyzing networks diverse workloads designing characterizing properties scheduling policies networks traditional approaches performance evaluation communication networks generally applicable high speed network environment number reasons traffic future high speed networks projected processing complex correlations cell arrival processes simple markovian assumptions inter arrival times invalid networks gigabit rates future high speed networks render simulation ineffective systems realistic size performance metric interest high speed network average delay longer primary performance measure secondary performance measures probability buffer overflow maximum packet delay tail delay distributions considered respect evidence sophisticated performance models work predicting average delay presence correlated arrivals suited computing performance measures interest note previous performance evaluation techniques confined studying performance aggregate traffic generated set identical sources single multiplexer isolation connection oriented high speed networks qos guarantees clear performance examined session basis network setting finally note potentially complex nature network traffic increasingly valuable broadly characterize properties optimality optimality network control mechanisms hold wide range traffic models assumptions work reported problem traditional networks high speed networks considerations evident performance evaluation techniques required design analysis future high speed networks qos requirements emerging standards atm techniques needed line performance driven traffic control purposes session level admission control research areas aimed addressing research divides broadly areas developing methodology obtaining tight pessimistic bounds session performance collection heterogeneous sessions high speed network metrics interest distribution packet delay probability buffer overflow research unique interested computing provable performance bounds session basis general network setting sessions traverse number hops methodology purpose analyzing session network level performance mechanism call admission performance qos guarantees provided conjecture bounds computed methodology loose practical interest cases interest compute performance albeit approximate manner network setting examined number approximate approaches evaluating performance heterogeneous sessions high speed network primary performance metric interest probability buffer overflow research noteworthy heterogeneous sources network setting developed methodology designing analyzing qualitative behavior scheduling policies based sample path analysis theory focus wide class performance metrics including average maximum packet delay probability buffer overflow length buffer overflow burst discussed work interest characterize properties scheduling mechanisms optimality optimality wide range assumptions potentially time consuming difficult case case performance analysis developing routing policies high speed networks provide qos guarantees admitted sessions implicitly reserve resources calls routing problem high speed networks shares common circuit switched routing algorithms routing traditional data communication networks research aimed exploiting similarities routing traditional circuit switched networks adapting policies case high speed atm networks interest fact atm routing processing intensive required route traffic heterogeneous bandwidth requirements bibliography liu towsley optimal scheduling parallel processing systems real time constraints journal acm kurose towsley scheduling policies real time real time traffic statistical multiplexer proc ieee infocom 89 ottawa canada pp 774 783 kurose towsley approximate minimum scheduling algorithms real time systems technical report 90 88 department computer information science university massachusetts amherst ma hong tan towsley performance analysis minimum earliest deadline scheduling real time system ieee transactions computers vol 38 december 1989 1736 hwang kurose virtual circuit routing routing packet switched networks 1991 ieee int conf communications pp 318 323 hwang kurose towsley effect processing delay qos requirements high speed networks 1992 ieee infocom conference florence italy 1992 pp 160 169 hwang kurose towsley state dependent routing multi rate loss networks proc 1992 ieee globecom conference dec 1992 orlando fla kurose exact analysis customer loss minimum scheduling discrete time queueing systems performance evaluation kurose towsley krishna design analysis processor scheduling policies real time systems foundations real time computing scheduling resource management ed kluwer publishers 1991 kurose computing session performance bounds high speed multi hop computer networks 1992 acm sigmetrics conference newport beach ri june 1992 pp 128 139 tr95 109 lo zhang towsley bounds approximations applications queue gps system technical report um cs 95 109 department computer science university massachusetts december 1995 abridged version paper appeared infocom 96 1996 atm time scale lo zhang kurose towsley source time scale optimal buffer bandwidth trade regulated traffic atm node technical report um cs 96 38 department computer science university massachusetts june 1996 lo zhang kurose towsley source time scale optimal buffer bandwidth trade regulated traffic atm node proc ieee infocom 97 kobe japan 1997 nagarajan kurose towsley approximation techniques computing packet loss finite buffered voice multiplexers ieee journal selected areas communications vol 9 5 april 1991 nagarajan kurose towsley defining computing guaranteeing quality service high speed networks 1992 ieee infocom conference florence italy 1992 pp 2026 nelson towsley performance analysis parallel processing systems ieee transactions software engineering se 14 4 532 540 april 1988 panwar towsley wolf optimal scheduling policies class queues customer deadlines beginning service acm vol 35 4 oct 1988 pp 832 844 pingali kurose scheduling classes real time traffic correlated deadlines ieee globecom 91 conference june 1991 schulzrinne kurose towsley congestion control selective packet discarding real time traffic high speed networks proc ieee infocom 90 san francisco ca pp 545 550 schulzrinne kurose towsley congestion control real time traffic high speed networks technical report 92 dept computer info sci univ mass amherst ma schulzrinne kurose distribution loss period queues continuous discrete time ieee infocom 91 conference pp 1446 voice schulzrinne voice communication internet network voice terminal technical report tr 92 50 dept computer science university massachusetts amherst ma 01003 july 1992 schulzrinne kurose towsley loss correlation queues single multiple input streams 1992 ieee int conference communications towsley panwar comparison service buffer overflow policies multiple server queues serve customers deadlines coins technical report 89 72 university massachusetts amherst ma july 1989 towsley applications sample path analysis techniques communication networks proc 4th conference data communication systems performance barcelona spain 1990 invited paper david yates james kurose don towsley michael session end end delay distributions call admission problem real time applications qos requirements acm sigcomm symposium communications architectures protocols pp 2 12 sep 1993 san francisco ca david yates james kurose don towsley michael session end end delay call admission problem real time applications qos requirements technical report cmpsci 93 20 university massachusetts 1994 sigcomm zhang towsley kurose statistical analysis generalized processor sharing scheduling discipline 1994 acm sigcomm conference gps jsac zhang towsley kurose statistical analysis generalized processor sharing scheduling discipline ieee journal selected area communications advances fundamentals networking part vol 13 6 pp 1071 1080 august 1995 tr95 10 zhang towsley kurose statistical analysis generalized processor sharing scheduling discipline technical report um cs 95 10 computer science department university massachusetts february 1995 tr95 52 zhang liu kurose towsley call admission control schemes generalized processor sharing scheduling discipline technical report um cs 95 52 computer science department university massachusetts march 1995 abridged version gps cac telecommunication systems tr95 96 zhang large deviations generalized processor sharing scheduling queue systems technical report um cs 95 96 computer science department university massachusetts oct 1995 tr95 97 zhang large deviations generalized processor sharing scheduling multiple queue systems technical report um cs 95 97 computer science department university massachusetts oct 1995 smoothing zhang kurose salehi towsley smoothing statistical multiplexing call admission control stored video technical report um cs 96 department computer science university massachusetts february 1996 jsac smoothing zhang kurose salehi towsley smoothing statistical multiplexing call admission control stored video accepted publication jsac special issue real time video services multimedia networks


opal opal project exploring operating system structure tuned complex applications cad cam number cooperating programs manipulate large shared persistent database objects opal code data exists single huge shared address space single address space enhances sharing cooperation addresses unique time interpretation pointer based data structures directly communicated shared programs time stored directly secondary storage translation structure simplified availability large address space provided dec alpha mips r4000 hp pa risc ibm rs6000 protection opal independent single address space opal thread executes protection domain defines virtual pages access rights access page easily transmitted process result flexible protection structure permitting dynamically changing protection options depending trust relationship cooperating parties organization improve structure performance complex cooperating applications opal prototype built dec alpha platform top mach operating system information sources list opal related papers faculty members hank levy ed lazowska jeff chase duke university current graduate students mike feeley ashutosh tiwary vivek narasayya dylan mcnamee related information single address space mailing list archive


high performance synchronization shared memory parallel programs computer science department university rochester rochester ny 14627 0226 4 1 94 9 30 97 increases size availability parallel processors shared memory programming models high performance synchronization increasingly important groups including demonstrated recent years software synchronization algorithms scale large numbers processors avoid negative interactions high performance scheduling algorithms continuing research directions including 1 mechanisms cooperative synchronization scheduling minimize unnecessary spinning maximize processor locality avoid contention lock lock data 2 comparative evaluation alternative mechanisms atomic update shared data structures including locks blocking synchronization function shipping 3 implementation atomic hardware primitives scalable architectures 4 evaluation interaction synchronization coherence 5 synchronization algorithms principal investigator michael scott associate professor department chair scott cs rochester 716 275 7745 recent graduates leonidas kontothanassis bob wisniewski graduate students maged michael galen hunt srinivasan parthasarathy publications project specific papers systems technical report archive pseudocode scalable barriers includes test set ticket locks queue locks centralized tree based fft style butterfly barriers 1991 tocs paper scalable busy wait reader writer locks includes reader preference writer preference fair locks 1991 ppopp paper scalable adaptive combining tree barriers combine local spinning logarithmic critical paths amortization overhead skewed arrival fuzziness 1994 paper variations lamport fast mutual exclusion lock atomic instructions read write ur tr 460 submitted publication preemption safe scheduler conscious synchronization algorithms includes queue based mutual exclusion locks test set ticket locks fair scalable queue based reader writer lock competitive optimal time small scale barriers scalable barrier algorithms avoid busy waiting action preempted processes including waiting line fifo queue ticket lock employ kernel user interface revised ur tr 550 acm tocs highly concurrent multi lock concurrent priority queue bottom insertions bit reversal choice fringe nodes fast concurrent queue algorithms algorithms concurrent queues application executable code basic scalable barriers code run sequent symmetry bbn butterfly 1 bbn scalable busy wait reader writer locks code run bbn scalable adaptive combining tree barriers code run bbn butterfly 1 bbn kendall square ksr 1 variations lamport fast mutual exclusion lock code run silicon graphics iris preemption safe scheduler conscious synchronization algorithms code run kendall square ksr 1 silicon graphics challenge highly concurrent multi lock concurrent priority queue code run sgi challenge fast concurrent queue algorithms includes sgi challenge code lock blocking queues previous algorithms researchers change 23 august 1996 scott cs rochester


alexandria logo alexandria project introduction home page alexandria project consortium researchers developers educators spanning academic public private sectors exploring variety problems related distributed digital library geographically referenced information distributed means library components spread internet single desktop geographically referenced means objects library regions footprints surface earth centerpiece alexandria project alexandria digital library adl online information system inspired map imagery laboratory mil davidson library university california santa barbara adl access world wide web subset mil holdings geographic datasets resources adl web public documents annual progress report overview document executive summary volume 1 report participants digital libraries interesting sites personnel contact information job opportunities moment alexandria web online comment form send email webmaster alexandria ucsb contact individual web team members directly stopping note clicking alexandria logo top bottom page bring back alexandria home page home alexandria digital library


active visualization homepage activities joint nyu sunysb visualization seminar original seminar schedule talks current projects click foveated imager server demo frequently asked questions links visualization facilities nyu site construction visualization suny stony brook annotated visualization sites nas computer vision homepage cmu keith price annotated computer vision bibliography usc joe mitchell collection surface approximation multiresolution modeling vrml repository cs dept nyu chee yap courant institute nyu


trains project natural spoken dialogue interactive planning trains project university rochester department computer science long term effort develop intelligent planning assistant conversationally proficient natural language goal fully integrated system involving online spoken typed natural language graphical displays gui based interaction primary application planning scheduling domain involving railroad freight system human manager system cooperate develop execute plans research trains project tracks project supported ph thesis research natural language processing speech interpretation discourse processing planning reasoning uncertainty complete references resources project periodically pulled research threads produced limited working demonstration systems based theories hope incremental development converging ultimate goal fully conversant system details systems references jetai paper current research trains project centers interactive route planning assistant dubbed trains 96 details paper presented arpa spoken language technology workshop paper aips 96 work progress involves realistic domain complicated planning problems hope version trains system running www future current research recent trains presentations local access trains 95 interactive planning assistant arpa spoken language technology workshop 1995 dialogue based approach mixed initiative plan management arpa rome labs planning initiative dialogue based tactical picture agent onr trains project promo video 3 5 mins 10 mb flat quicktime gzipped stuffit macbinary trains 95 v1 3 action 4 5 mins 10 mb flat quicktime gzipped stuffit macbinary dialog annotation information researchers trains project publications relating trains trains 95 mixed initiative planning assistant aips 96 postscript version mixed initiative planning position paper arpi workshop feb 1994 trains project case study building conversational planning agent overview trains 93 jetai postscript version trains dialogue corpus interest urcs speech research knowledge representation tools episodic logic speech corpora holdings change 08 july 96 ringger ^^ home urcs research projects urcs home page


etag 574 content length 1396 accept ranges bytes abacus project home page construction information contact mike misha ai mit layout pictures pe layout pe layout metal 2 3 removed chip floorplan cad die photographs click pictures real abacus project information abacus high performance architecture vision proceedings international conference pattern recognition 94 abacus 1024 processor simd array proceedings advanced research vlsi 95 project status chips manufactured waiting fabrication custom packages expect late april 95 hope test packaged chips mid 95 mit abacus project


tenet group home page tenet group research group exploring issues real time high performance computer networks main focus design development real time communication services network support continuous media applications video conferencing affiliated computer science division university california berkeley international computer science institute berkeley members include faculty students graduate undergraduate uc berkeley visitors staff researchers icsi topics overview tenet research projects postscript html members tenet group tenet group sponsors experimental testbeds collaborative efforts demonstration tenet protocols suite 1 home page tenet protocols suite 2 locally developed software tenet papers archive viewgraphs 1994 1995 industrial liaison program viewgraphs 1994 1995 student meeting tenet group home page www tenet berkeley


usemap projects software personnel publications facilities images mission seminar 10 10 96 scientific computing imaging sci research group department computer science university utah ongoing research projects areas scientific computing geometric modeling numerical analysis parallel computing scientific visualization human computer interaction software development tools group involved designing efficient accurate tools scientific computing utilizing tools scientific applications modified october 24 1996


2316 titanium project titanium group developing compiler language support parallel programming distributed memory multiprocessors designing program analysis techniques transformations explicitly parallel programs working prototype compiler applies optimizations language small extension split language starting point faculty susan graham alexander aiken paul hilfinger katherine yelick students joseph david gay benjamin greenwald arvind krishnamurthy geoff pike related papers talks


caisr lab cwru caisr lab leader integration state art technology purpose building intelligent controls automated caisr integrates technologies fuzzy logic expert systems neural networks create flexible systems current projects chaos theory diagnose impending failure rotating machinery vision based robotic control create flexible part feeding system automated assembly line sample research lab involved read information lab drop line questions address read lab overview overview provide information lab mission goals lab lab involved projects information projects read selected abstracts read papers respective journals finally don forget visit faculty staff students caisr facility feel free contact system administrator root pris cwru camp george sutherland camp org cwru home page


img william dally associate professor computer science engineering work concurrent vlsi architecture group experimental nature build working chips machines programs test concepts gain insight applying vlsi technology information processing illustrated examples projects address parallel computer architecture software interconnection networks special purpose processor design vlsi design machine multicomputer test concepts controlling multiple function units single chip efficient flexible communication primitives fine grain protection global memory systems project seeks methods exploiting instruction level parallelism task tasks node multiple nodes machine consists 64k nodes connected high speed 3 mesh network node includes multi alu processor map chip external memory map chip 12 arithmetic units memory management hardware network interface chip target performance 800 atomic send instructions provide efficient communication transmitting message registers messages removed network dispatched programmable software handlers memory system architecture global virtual address space addresses translated local remote physical locations synchronization provided tags memory words address spaces individual threads separated protected segments privileged access pointers software research seeks advance state art transforming sequential application efficient parallel version transformations labor intensive smooth painless compiler employ user directives automatic analyses provide users precisely control needed stage transformation combination users focus algorithmic concerns leaving optimization compiler users directives improve performance critical aspects program possibly information compiler reliable router high speed fault tolerant 2 mesh router vlsi chip massively parallel processors plan router parallel computers network switching hubs features include network fault tolerance link level retry timing avoid global clock adaptive routing fault congestion avoidance virtual channels performance heavy load support request reply protocols random deadline arbitration schemes livelock avoidance electrical interconnect routers simultaneous bidirectional signaling bandwidth port sec chip clock rate img img img


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


university utah department computer science ismap goal avalanche project enable construction usable scalable parallel computing platforms expensive capable achieving op performance levels low communication latency key achieving performance scalability common parallel computation models message passing distributed shared memory end developing memory architecture tightly integrates processor entire memory hierarchy interconnect fabric core effort development cache communication controller unit hewlett packard pa 8000 cpu myrinet network fabric myricom inject incoming data traffic level memory hierarchy minimize message latency cache miss penalties supports flexible suite cache coherence protocols dsm applications order achieve reasonable cost adopt approach takes advantage significant performance advantages momentum provided commercial microprocessor interconnect fabric development efforts target project 64 processing element prototype constructed final year arpa csto supported project duration status reports publications personnel facilities related sites img img feedback avalanche jensen cs utah modified november 13 1995 work sponsored space naval warfare systems command advanced research projects agency arpa communication memory architectures scalable parallel computing arpa order contract 95 0018


heterogeneous computing people projects publications group meeting people projects fran berman figueira defended phd thesis 12 13 96 postdoctoral fellow ucsd working modeling effects contention behavior applications multi user environments jennifer schopf jenny year graduate student research developing performance model heterogeneous applications evaluating required information performance predictions gary shao gary fourth year graduate student current project involved examining effects dynamically rebalancing data distributions accurate runtime system network load information richard wolski rich research faculty ucsd llnl work involves predicting network performance heterogeneous systems development network weather service researcher univeristy italy hicks graduated january 1996 master degree finishing thesis heterogeneous debugging tool based part john thesis work panorama group meeting send mail berman cs ucsd joining back high performance computing laboratory home page jenny cs ucsd


watch step site construction page written html 3 0 browser support features image algebra home page image algebra library iac obtaining installing iac iac khoros software user manual iac class library iac bug report submission ftp iac library manual image algebra ongoing research endeavor university florida image algebra project acknowledgments work supported part air force base current pal consortium defense advanced research projects agency air force wright laboratory lockheed martin fulcrum program page maintained monica sweat monica cis ufl tel 904 392 1200 page contents copyright 1995 monica sweat rights reserved


cornell split cornell split implementations split net source code release net split preparation implemented top net active messages information contact thorsten von eicken split ibm sp 2 source code release split ibm sp 2 split distr tar implemented top sp2am information contact chi chao chang grzegorz czajkowski thorsten von eicken split svr4 shared memory multiprocessors source code release split sun multiprocessors running solaris preparation information matt welsh information page selected publications split parallel programming split culler dusseau goldstein krishnamurthy lumetta von eicken yelick proceedings supercomputing 93 november 1993 img abstract projects sites split home page berkeley information contact thorsten von eicken


img michael hawley olin shivers assistant professor research scientist media technology rise global digital net primary communications medium planet important technological innovation occuring society today grand convergence information services phone system news media video broadcast channels common topic public agenda personal information architecture group addresses central questions technology interact flood digital information individual short touch bits means goal kind personal local wireless network integrates digital information appliances interoperability devices watches cameras cellular phones laptop computers restricting flexibility accessibility worldwide digital network initial work includes development languages software coordinate personal appliances project called tomorrow lot seeks invent living spaces naturally comfortably receive information library channel project developing technologies essentially bring resources public library home back pocket lot group collaborates sources including library congress national geographic society scientific american creating information architecture group consortium furniture makers industrial sponsors design personalized applications home based education entertainment mit resources include lcs media laboratory school architecture img img img


episodic logic episodic logic developed semantic theory natural language understanding designed meet requirements expressive adequacy language powerful represent kinds constructs found english naturally occurring sentences adequacy language support simple systematic derivation meaning english surface structures semantic adequacy meaning language precisely defined denotational semantics distinctive aspect el episodes similar situations situation semantics situation episode characterizes partial state affairs period time location subsumes notion events representations based davidson 1967 event kind episode episodic logic readily lends inference contrary widespread myth rich syntax impediment effective inference limited set el inference capabilities trains 93 el separately implemented epilog system epilog powerful knowledge management inference system allowing data driven inference goal driven inference featuring integration dozen specialist modules accelerating temporal set theoretic numeric special types inference publications hwang schubert tense trees fine structure discourse proceedings 30th annual meeting association computational linguistics acl 92 pages 232 240 june 29 july 2 1992 hwang logical approach narrative understanding alberta edmonton canada 1992 hwang schubert episodic logic logic natural language processing situation theory applications volume 3 ed aczel israel peters pages 303 338 csli stanford ca 1993 hwang schubert representation lets proceedings international workshop formal ontology conceptual analysis knowledge representation ed pages 277 italy march 17 19 1993 hwang schubert formal natural comprehensive knowledge representation proc aaai 93 july 11 15 1993 washington dc pp 1302 hwang schubert meeting logical form computation deindexing inference organic approach general nlu proc 13th ijcai august 29 september 3 1993 chambery france pp 676 682 hwang schubert episodic logic comprehensive natural representation language understanding mm volume 3 special issue knowledge representation natural language processing pages 381 419 1993 hwang schubert interpreting tense aspect time compositional unified approach proceedings 1st international conference temporal logic 94 pages 238 264 bonn germany july 11 14 1994 andrew


cornell active messages cornell active messages implementations active messages net source code release net active messages part general net release conforms gam 1 1 spec information net project pages active messages ibm sp 2 object code release sp2 aix 3 2 gam 1 0 tar conforms gam 1 1 spec read readme install files distribution instructions sp2 information contact chi chao chang grzegorz czajkowski thorsten von eicken read file find previous version current version sp2 1 release aix 4 1 gam 1 0 tar major difference aix 4 1 release 3 2 modified usr lpp poe lib included distribution read documentation package details interested knowing sp2 click send note letting organization intend sp2 selected publications active messages low latency communication ibm risc system 6000 sp chi chao chang grzegorz czajkowski chris hawblitzel thorsten von eicken acm ieee supercomputing 96 pittsburgh pa november 1996 img abstract ibm sp powerful commercial mpps spite fast processors high network bandwidth sp communication latency inferior older machines tmc cm 5 meiko cs 2 paper investigates active messages communication primitives alternative standard message passing order reduce communication overheads offer good building block higher layers software part paper describes implementation active messages sp layered directly top sp network adapter comparable bandwidth sp low overhead yields round trip latency 40 lower ibm mpl part paper demonstrates power communication substrate layering split mpi split benchmarks compare sp mpps show low message overhead high throughput compensate sp high network latency mpi implementation based freely mpich version achieves performance equivalent ibm mpi nas benchmarks design performance active messages sp 2 chi chao chang grzegorz czajkowski thorsten von eicken cornell cs technical report 96 1572 february 1996 abstract technical report describes design implementation evaluation active messages ibm sp 2 implementation standard network adapter firmware ibm software processor assume familiarity concepts underlying active messages main performance characteristics word message round trip time 51 0 asymptotic network bandwidth 34 3 mb presenting selected implementation details paper focuses detailed performance analysis including comparison ibm message passing layer mpl split benchmarks generic active message specification version 1 1 img generic active message specification version 1 1 defines active messages interface portable variety parallel machines implementations net atm cluster meiko cs 2 fddi ring paragon sp 2 low latency communication atm networks active messages thorsten von eicken veena avula basu vineet buch presented hot interconnects ii aug 1994 palo alto ca abridged version paper appears ieee micro magazine feb 1995 img slides hot interconnect talk img abstract recent developments communication architectures parallel machines made significant progress reduced communication overheads latencies order magnitude compared earlier proposals paper examines techniques carry clusters workstations connected atm network clusters standard operating system software equipped network interfaces optimized stream communication direct protected user level access network networks reliable transmission flow control part paper describes differences communication characteristics clusters workstations built standard hardware software components state art multiprocessors lack flow control operating system coordination affects communication layer design significantly requires larger buffers end multiprocessors part evaluates prototype implementation low latency active messages communication model sun workstation cluster interconnected atm network measurements show application application latencies 20 microseconds small messages roughly comparable active messages implementation thinking machines cm 5 multiprocessor active messages mechanism integrated communication computation von eicken culler goldstein schauser proceedings 19th int symp computer architecture 1992 gold coast australia img abstract design challenge large scale multiprocessors 1 minimize communication overhead 2 communication overlap computation 3 coordinate sacrificing processor cost performance show existing message passing multiprocessors unnecessarily high communication costs research prototypes message driven machines demonstrate low communication overhead poor processor cost performance introduce simple communication mechanism active messages show intrinsic architectures cost effective hardware offers tremendous flexibility implementations ncube 2 cm 5 evaluated split phase shared memory extension split show active messages sufficient implement dynamically scheduled languages message driven machines designed mechanism latency tolerance programming compiling concern hardware support active messages desirable outline range enhancements mainstream processors active messages efficient communication architecture multiprocessors von eicken ph thesis november 1993 university california berkeley img projects sites active messages berkeley project information contact thorsten von eicken


storage management description heap memory requires overhead storage management traditionally garbage collection built reference counting memory installed banks smart memories processor cycles heap management multiprocessor support languages depend heap lisp scheme prolog haskell local scheme prototype applicative file system built essential files services bulk purely applicative environment work targeted reusing nodes place applicative style asks copy structure fact analogous structure abandoned copy occurs recycle uniquely referenced nodes run time compile time noticing unique referencing developed generational storage management system incorporated chez scheme employs segmented memory model hybrid tagging system hybrid tagging system typed pointers typed objects object level typing big bag pages meta level typing system allocation performed line single register based allocation pointer results virtually tagging overhead scheme heap coexist gracefully languages run time systems increases data locality supports weak pairs supports large objects efficiently system ongoing research storage management faculty david wise dswise kent dybvig graduate students brian heck diana joshua img return iu computer science research


university saskatchewan computer vision group students projects edge detection shape analysis colour computer vision human body motion analysis biomedical image processing animation publications journal conference papers technical reports theses related courses 460 829 computer graphics 819 image processing computer vision 859 topics computer vision newsgroups computer vision related areas newsgroups provide lot information topics computer vision area question related computer vision find answer groups comp ai vision comp graphics comp graphics algorithms comp graphics visualization comp soft sys khoros sci image processing principal journals regularly scheduled conferences large number journals related area computer vision include ieee transactions pattern analysis machine intelligence pattern recognition ieee transactions image processing ieee transactions systems man cybernetics cvgip image understanding cvgip graphical models image processing ieee transactions medical imaging ieee computer graphics applications acm transactions graphics international journal computer vision machine vision applications international journal pattern recognition artificial intelligence number regularly scheduled conferences related area computer vision include international conference pattern recognition ieee proceedings computer vision pattern recognition international conference computer vision related web sites interested computer vision check list cmu related web sites computer vision home page slow lot graphics loaded computer vision home page text faster usage statistics visitor march 14 1996 img computer science home page


university utah department computer science img integrated graphics modeling design manufacturing people principal faculty elaine cohen rich riesenfeld sam drake staff members graduate students research group engaged fundamental applied research developing methods representing manipulating visualizing geometric models including assemblies mechanisms computer process planning manufacturing issues traditional turning cmm innovative layer technology manufacturing processes group explores issues integrated problems motivation approach note proper perception shape important design proper calculation order geometry properties critical manufacturing accurate lighting models computational methods rendering shape perceptions shape distorted proper methods transforming piece metal final shape final manufactured object wrong group actively researching issues related scientific visualization data arising variety applications involves development algorithms interfaces rendering realistic abstract images interacting resulting visual representations early users results affiliated prominent projects robotics vision engineering design serve sources relevant research problems collaborators adjunct community contributed influenced work site nsf arpa science technology center stc computer graphics scientific visualization 24 hour communication brown caltech cornell unc ch sites ongoing research collaboration topics include user interfaces modeling brown special purpose graphics architectures design unc ch sites participate 5 collaboratively taught advanced graphics seminar research area design manufacturing process integration carried arpa concurrent integrated design manufacture project engage collaborative research scientific computing imaging group vision robotics group university utah project sponsored nsf virtual prototyping mechanical assemblies project current research issues include computer graphics geometric modeling mechanical design process planning numerically controlled machining inspection reverse engineering model data persistent objects geometric representations modeling paradigms constraint based design modeling operators simulation physically based modeling constraints dependencies interaction user interfaces visualization animation digital video teleconferencing stc collaborative research issues virtual prototyping assemblies sponsors project utah state center excellence group research facilities sponsored arpa nsf nsf stc computer graphics scientific visualization industrial sponsors facilities local research laboratory facilities include graphics design visualization lab video editing teleconferencing lab advanced manufacturing lab research facilities stc include remote pixel planes graphics rendering unc ch site unc ch virtual reality facilities distributed results alpha 1 geometric modeling visualization manufacturing experimental testbed system based project research results includes commercial enhancements distributed license utah raster toolkit anonymous ftp models ftp img img comments questions a1 web gr cs utah


computer vision home page buttons jump icon enhanced pages labels text pages find pages read submit jump specific topic search computer vision pages research groups related links test images hardware online publications conferences symposia faqs newsgroups related info archives demos source code server statistics don make check vision list archives ve lots good things computer vision home page text version page send updates mwm cmu updated wed apr 17 03 57 edt 1996


spatial database research group research interests work focused storage management analysis scientific geographic data information knowledge research motivated applied application areas transportation ivhs virtual environments cartography communications acm theme section advances geographic information systems 4th international workshop advances geographic information systems acm gis 96 table contents img img group member list img publications cabinet img online brochure img slide show img traffic archival data img hotlinks img interactive routing minneapolis designed maintained julian chow chad questions comments mailto cs umn cs umn page updated friday 1st 1996


ucsd parallelizing compiler group projects automatic parallelization distributed address space machines automatic hierarchical tiling publications recent papers related links high performance computing lab computer science engineering department ucsd university california san diego ferrante cs ucsd