Publications
Export 7151 results:
Author [ Title] Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2012. Organizing User Search Histories. Knowledge and Data Engineering, IEEE Transactions on. 24(5):912-925.
1995. Organization overviews and role management: inspiration for future desktop environments. Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 1995. :14-22.
1989. Ordering techniques for the preconditioned conjugate gradient method on parallel computers. Computer Physics Communications. 53(1-3):253-269.
1984. Ordering Schemes for Parallel Processing of Certain Mesh Problems. SIAM Journal on Scientific and Statistical Computing. 5:620-632.
1993. Ordering Effects on Relaxation Methods Applied to the Discrete One- Dimensional Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 30(5):1268-1290.
2001. Ordered treemap layouts. IEEE Symposium on Information Visualization, 2001. INFOVIS 2001. :73-78.
2005. Ordered and Quantum Treemaps: Making Effective Use of 2D Space to Display Hierarchies (2001). Institute for Systems Research Technical Reports.
2002. Ordered and quantum treemaps: Making effective use of 2D space to display hierarchies. ACM Transactions on Graphics (TOG). 21(4):833-854.
1997. Optimizing synchronization in multiprocessor DSP systems. Signal Processing, IEEE Transactions on. 45(6):1605-1618.
2000. Optimizing retrieval and processing of multi-dimensional scientific datasets. Parallel and Distributed Processing Symposium, 2000. IPDPS 2000. Proceedings. 14th International. :405-410.
2007. Optimizing mpf queries. Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07. :701-701.
2002. Optimizing execution of component-based applications using group instances. Future Generation Computer Systems. 18(4):435-448.
2012. Optimizing epidemic protection for socially essential workers. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :31-40.
2006. An optimized system for expression and purification of secreted bacterial proteins. Protein Expression and Purification. 46(1):23-32.
2001. Optimized seamless integration of biomolecular data. Proceedings of the IEEE 2nd International Symposium on Bioinformatics and Bioengineering Conference, 2001. :23-32.
2012. An Optimized High-Throughput Strategy for Constructing Inverted Files. Parallel and Distributed Systems, IEEE Transactions on. PP(99):1-1.