Publications

Export 7151 results:
Author [ Title(Desc)] Type Year
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
R
Rosenzweig R, Bronner V, Zhang D, Fushman D, Glickman MH.  2012.  Rpn1 and Rpn2 coordinate ubiquitin processing factors at the proteasome. Journal of Biological ChemistryJ. Biol. Chem..
Sellis T, Roussopoulos N, Faloutsos C.  1987.  The R+-tree: A dynamic index for multi-dimensional data. Proceedings of VLDB 1987. :507-518.
Snover M, Schwartz R, Dorr BJ, Makhoul J.  2004.  RT-S: Surface rich transcription scoring, methodology, and initial results. Proc. DARPA Rich Transcription Workshop.
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
Furr M, An J-hoon(D), Foster JS, Hicks MW.  2009.  The ruby intermediate language. SIGPLAN Not.. 44(12):89-98.
Brill E, Resnik P.  1994.  A rule-based approach to prepositional phrase attachment disambiguation. Proceedings of the 15th conference on Computational linguistics-Volume 2. :1198-1204.
Udrea O, Lumezanu C, Foster JS.  2008.  Rule-based static analysis of network protocol implementations. Information and Computation. 206(2):130-157.
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.
Weems SA, Winder RK, Bunting M, Reggia JA.  2009.  Running memory span: A comparison of behavioral capacity limits with those of an attractor neural network. Cognitive Systems Research. 10(2):161-171.
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.
Edjlali G, Agrawal G, Sussman A, Humphries J, Saltz J.  1997.  Run-time and compiler support for programming in adaptive parallel environments. Scientific Programming. 6(2):215-227.
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.
S
Reggia JA, Nau DS.  1983.  S., Wang. PY, Diagnostic Expert Systems Based on a Set Covering Model. International Journal on Man-Machine studies. 19:437–46O-437–46O.
Nandi A, Ganjam A, Druschel P, Ng TSE, Stoica I, Zhang H, Bhattacharjee B.  2007.  SAAR: A shared control plane for overlay multicast. Proceedings of 4th USENIX Symposium on Networked Systems Design & Implementation. :57-72.
Crary K, Hicks MW, Weirich S.  2000.  Safe and Flexible Dynamic Linking of Native Code. Technical Reports (CIS).
Hicks MW, Weirich S, Crary K.  2001.  Safe and Flexible Dynamic Linking of Native Code. Types in Compilation. 2071:147-176.
Hicks MW, Morrisett G, Grossman D, Jim T.  2003.  Safe and flexible memory management in Cyclone. Technical Reports from UMIACS.
Neamtiu I, Hicks MW.  2009.  Safe and timely updates to multi-threaded programs. SIGPLAN Not.. 44(6):13-24.
Swamy N, Hicks MW, Morrisett G, Grossman D, Jim T.  2006.  Safe manual memory management in Cyclone. Science of Computer Programming. 62(2):122-144.
Alexander S, Arbaugh WA, Keromytis AD, Smith JM.  1998.  Safety and security of programmable network infrastructures. IEEE Communications Magazine. 36(10):84-92.
Patro R, Ip CY, Varshney A, Hagen H.  2010.  Saliency Guided Summarization of Molecular Dynamics Simulations. Scientific Visualization: Advanced Concepts. 1:321-335.
Ip C Y, Varshney A.  2011.  Saliency-Assisted Navigation of Very Large Landscape Images. Visualization and Computer Graphics, IEEE Transactions on. 17(12):1737-1746.
Kim Y, Varshney A.  2006.  Saliency-guided Enhancement for Volume Visualization. Visualization and Computer Graphics, IEEE Transactions on. 12(5):925-932.
Lee CH, Kim Y, Varshney A.  2009.  Saliency-guided lighting. IEICE TRANSACTIONS on Information and Systems. 2:369-73.
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.

Pages