Publications by the Students
Publications by the Students |
|
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.
Technical
Reports1995-1996
Annual Report Home Page Departmental
Home Page
If you have questions or comments please contact: www@cs.cornell.edu.