Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Conference Papers
Wolski R, Brevik J, Krintz C, Obertelli G, Spring N, Su A.  1999.  Running EveryWare on the computational grid. Proceedings of the 1999 ACM/IEEE conference on Supercomputing (CDROM). :6–es-6–es.
Hovemeyer D, Hollingsworth J, Bhattacharjee B.  2004.  Running on the bare metal with GeekOS. Proceedings of the 35th SIGCSE technical symposium on Computer science education. :315-319.
Ranganathan M, Acharya A, Edjlali G, Sussman A, Saltz J.  1996.  Runtime coupling of data-parallel programs. Proceedings of the 10th international conference on Supercomputing. :229-236.
Barni R, Comba J, Varshney A.  2009.  Salient Clustering for View-dependent Multiresolution Rendering. Computer Graphics and Image Processing (SIBGRAPI), 2009 XXII Brazilian Symposium on. :56-63.
Roitman H, Gal A, Raschid L.  2008.  Satisfying Complex Data Needs using Pull-Based Online Monitoring of Volatile Data Sources. Data Engineering, International Conference on. :1465-1467.
Tom Yeh, Lee JJ, Darrell T.  2008.  Scalable classifiers for Internet vision tasks. Computer Vision and Pattern Recognition Workshops, 2008. CVPRW'08. IEEE Computer Society Conference on. :1-8.
Samet H, Golubchik L.  2006.  Scalable data collection and retrieval infrastructure for digital government applications. Proceedings of the 2006 international conference on Digital government research. :301-302.
Samet H, Tanin E, Golubchik L.  2005.  Scalable data collection infrastructure for digital government applications. Proceedings of the 2005 national conference on Digital government research. :305-306.
De Floriani L, Hui A.  2003.  A scalable data structure for three-dimensional non-manifold objects. Proceedings of the 2003 Eurographics/ACM SIGGRAPH symposium on Geometry processing. :72-82.
Hu Q, Gumerov NA, Duraiswami R.  2011.  Scalable fast multipole methods on distributed heterogeneous architectures. High Performance Computing, Networking, Storage and Analysis (SC), 2011 International Conference for. :1-12.
Lim S-N, Davis LS, Elgammal A.  2003.  Scalable image-based multi-camera visual surveillance system. Proceedings. IEEE Conference on Advanced Video and Signal Based Surveillance, 2003.. :205-212.
Li JH, Levy R, Yu M, Bhattacharjee B.  2006.  A scalable key management and clustering scheme for ad hoc networks. Proceedings of the 1st international conference on Scalable information systems.
Jimmy Lin.  2008.  Scalable language processing algorithms for the masses: a case study in computing word co-occurrence matrices with MapReduce. Proceedings of the Conference on Empirical Methods in Natural Language Processing. :419-428.
Samet H, Sankaranarayanan J, Alborzi H.  2008.  Scalable network distance browsing in spatial databases. Proceedings of the 2008 ACM SIGMOD international conference on Management of data. :43-54.
Banerjee S, Kommareddy C, Bhattacharjee B.  2002.  Scalable peer finding on the Internet. Global Telecommunications Conference, 2002. GLOBECOM '02. IEEE. 3:2205-2209vol.3-2205-2209vol.3.
Mitra K, Chellappa R.  2008.  A Scalable Projective Bundle Adjustment Algorithm using the L infinity Norm. Computer Vision, Graphics Image Processing, 2008. ICVGIP '08. Sixth Indian Conference on. :79-86.
Sane N, Kee H, Seetharaman G, Bhattacharyya SS.  2010.  Scalable representation of dataflow graph structures using topological patterns. 2010 IEEE Workshop on Signal Processing Systems (SIPS). :13-18.
Banerjee S, Lee S, Braud R, Bhattacharjee B, Srinivasan A.  2004.  Scalable resilient media streaming. Proceedings of the 14th international workshop on Network and operating systems support for digital audio and video. :4-9.
Tomasic A, Raschid L, Valduriez P.  1996.  Scaling heterogeneous databases and the design of DISCO. ICDCS. :449-449.
Huang D-W, Jimmy Lin.  2010.  Scaling Populations of a Genetic Algorithm for Job Shop Scheduling Problems Using MapReduce. Cloud Computing Technology and Science (CloudCom), 2010 IEEE Second International Conference on. :780-785.
Pugliese A, Udrea O, V.S. Subrahmanian.  2008.  Scaling RDF with Time. Proceedings of the 17th international conference on World Wide Web. :605-614.
Chang C, Sussman A, Saltz J.  1997.  Scheduling in a high performance remote-sensing data server. Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing. SIAM.
Andrade H, Kurc T, Sussman A, Saltz J.  2002.  Scheduling multiple data visualization query workloads on a shared memory machine. Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM. :11-18.
Plaisant C, Shneiderman B.  1991.  Scheduling on-off home control devices. Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology. :459-460.
Demaine ED, Ghodsi M, Hajiaghayi MT, Sayedi-Roshkhar AS, Zadimoghaddam M.  2007.  Scheduling to minimize gaps and power consumption. Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures. :46-54.

Pages