Publications by the Students
Publications by the Students |
|
Publications listed by student's last name.
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
Böhringer, K-F., B. R. Donald, and Noel C. MacDonald. Single-crystal silicon actuator arrays for micro manipulation tasks. Proceedings IEEE International Workshop on Micro Electro Mechanical Structures, San Diego, CA, (February 11-15, 1996).
Böhringer, K-F., et al. Micromachined microdevices and microinstruments. Proceedings International Conference on Micro- And Nano-Engineering (MNE), Aix-en-Provence, France, (September 26-28, 1995).
R. Prasad, Böhringer, K-F., and Noel C. MacDonald. Design,
fabrication, and characterization of 
{SCS} latching snap fasteners for micro assembly. Proceedings of the ASME
International Mechanical Engineering Congress and Exposition (IMECE), San Francisco, CA,
(November, 1995).
C-C. Chang, Czajkowski, G., and T. von Eicken. Design and performance of active messages on the IBM SP-2. CORNELLCS:TR96-1572, (February, 1996).
Dsouza, A. and B. Bloom. Generating BDD models for process algebras. Proceedings Computer-Aided Verification, Liege, Belgium, LNCS 939, (July 1995), 16-30.
Dsouza, A. and B. Bloom. On the expressive power of CCS. Proceedings Foundations of Software Technology and Theoretical Computer Science, LNCS 1026, Bangalore, India, (December 1995), 309-323.
B. Bloom, A. Cheng and Dsouza, A. Verifying SOS specifications. Proceedings IEEE Conference on Computer Assurance, Gaithersburg, MD, (June 1996).
Guo, K., W. Vogels and R. van Renesse. Structured virtual synchrony: Exploring the bounds of virtually synchronous group communication. Proceedings of the Seventh ACM SIGOPS European Workshop, (June 1996).
R. van Renesse, K. P. Birman, R. Friedman, M. Hayden, and Karr, D. A. A framework for protocol composition in Horus. Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, ACM, (August 1995) 80-89.
T. A. Henzinger, Kopke, P., and H. Wong-Toi. The expressive power of clocks. ICALP 95: Automata, Languages, and Programming, LNCS 944, Springer-Verlag, 417-428.
M. R. Henzinger, T. A. Henzinger, and Kopke, P. Computing
simulations on finite and infinite graphs. Proceedings of the 36rd Annual Symposium on
Foundations of Computer Science, IEEE Computer Society Press, 453-462.
Liu, Y. A., S. D. Stoller, and T. Teitelbaum.
Discovering auxiliary information for incremental computation. Proceedings of the 23rd
Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg
Beach, FL, ACM Press, (January 1996), 157-170.
Liu, Y. A. CACHET: An interactive, incremental-attribution-based
program transformation system for deriving incremental programs. Proceedings of the 10th
Knowledge-Based Software Engineering Conference, Boston, MA, IEEE Computer Society Press,
(November 1995), 19-26.
Liu, Y. A. Selectively caching intermediate results for
incremental computation. Proceedings of the 4th International Conference for Young
Computer Scientists, Beijing, China, Peking University Press, (July 1995), 367-374.
Liu, Y. A. Incremental computation: A semantics-based systematic
transformational approach. Ph.D. Thesis, Technical Report TR 95-1551, Department of
Computer Science, Cornell University, Ithaca, NY, (October 1995).
B. Hao and Pearson, D. Instruction scheduling and global register
allocation for SIMD multiprocessors. International Workshop on Parallel Algorithms for
Irregularly Structured Problems, LNCS 980, Springer-Verlag. (September 1995) (Irregular
95), 81-86.
B. Hao, Pearson, D., and R. Zippel. Global register allocation
for SIMD multiprocessors. Journal of Computer Science and Technology, Allerton Press,
(January 1996).
Scharstein, D. and M. Dickerson. Optimal
placement of convex polygons to maximize point containment. 7th Annual ACM-SIAM Symposium
on Discrete Algorithms (SODA'96), Atlanta, GA, (February 1996), 114-121.
Scharstein, D. and R. Szeliski. Stereo matching with non-linear
diffusion. CORNELLCS:TR 96-1575, (March 1996).
Scharstein, D. and M. Dickerson. The rotation diagram and
optimal containing placements of a convex polygon. 5th Video Review of Computational
Geometry (with the 12th ACM Symposium on Computational Geometry), Philadephia, PA, (May
1996).
Scharstein, D. Stereo vision for view synthesis. IEEE Computer
Society Conference on Computer Vision and Pattern Recognition (CVPR'96), San Francisco,
CA, (June 1996).
Scharstein, D. and R. Szeliski. Stereo matching with non-linear
diffusion. IEEE Computer Society Conference on Computer Vision and Pattern Recognition
(CVPR'96), San Francisco, CA, (June 1996).
Singhal, A., G. Salton, and C. Buckley. Length normalization in
degraded text collections. Fifth Annual Symposium on Document Analysis and Information
Retrieval, (1996) 149-162.
G. Salton, J. Allan, and Singhal, A. Automatic text
decomposition and structuring. Information Processing and Management, 32:2, (1996)
127-138.
G. Salton, Singhal, A., C. Buckley, and M. Mitra. Automatic text
decomposition using text segments and text themes. Hypertext'96, (1996) 53-65.
D. Kozen and Smith, F. Kleene algebra with tests: Completeness
and decidability. CORNELLCS:TR96-1582, (May 1996).
V. Kotlyar, K. Pingali, and Stodghill, P. Automatic
parallelization of the conjugate gradient algorithm. Eighth International Workshop on
Languages and Compilers for Parallel Computing, SparseCG, LNCS 1033, Springer-Verlag,
Columbus, OH, (August 1995), 480-499.
Y. Minsky, R. van Renesse, F. B. Schneider, and Stoller, S. D.
Cryptographic support for fault-tolerant distributed computing. Proceedings of the Seventh
ACM SIGOPS European Workshop, (September 1996).
Y. A. Liu, Stoller, S. D., and T. Teitelbaum. Discovering
auxiliary information for incremental computation. Proceedings of the 23rd Annual ACM
SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96), ACM Press,
(January 1996), 157-170.
Stoller, S. D.,and F. B. Schneider. Faster possibility detection
by combining two approaches. Jean-Michel Helary and Michel Raynal, editors, Proceedings of
the 9th International Workshop on Distributed Algorithms (WDAG-9), LNCS 972,
Springer-Verlag, (September 1995), 318-332.
Summers, K. M. Near-wordless document structure classification. Proceedings of the International Conference on Document Recognition, Montreal, Canada, (August 1995), 462-465.
Go to:
Technical Reports
Return to:
1995-1996 Annual Report
Home Page
Departmental Home Page
If you have questions or comments please contact: www@cs.cornell.edu.