Center for Information Technology Policy (CITP)

Search results

  • 1993

    Computing the intersection-depth of polyhedra

    Dobkin, D., Hershberger, J., Kirkpatrick, D. & Suri, S., Jun 1993, In: Algorithmica. 9, 6, p. 518-533 16 p.

    Research output: Contribution to journalArticlepeer-review

    116 Scopus citations
  • Erratum

    Appel, A. W. & Harper, R., Oct 1993, In: Journal of Functional Programming. 3, 4, p. 389 1 p.

    Research output: Contribution to journalComment/debatepeer-review

    Open Access
  • HP's PA7100LC: a low-cost superscalar PA-RISC processor

    Knebel, P., Arnold, B., Bass, M., Kever, W., Lamb, J. D., Lee, R. B., Perez, P. L., Undy, S. & Walker, W., 1993, 1993 IEEE Compcon Spring. Publ by IEEE, p. 441-447 7 p. (1993 IEEE Compcon Spring).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Scopus citations
  • On sparse spanners of weighted graphs

    Althöfer, I., Das, G., Dobkin, D., Joseph, D. & Soares, J., Dec 1993, In: Discrete & Computational Geometry. 9, 1, p. 81-100 20 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    516 Scopus citations
  • Pathlengths of SPEC bencmarks for PA-RISC, MIPS, and SPARC

    McMahan, L. & Lee, R., 1993, 1993 IEEE Compcon Spring. Publ by IEEE, p. 481-490 10 p. (1993 IEEE Compcon Spring).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • Random-edge discrepancy of supersampling patterns

    Dobkin, D. P. & Mitchell, D. P., 1993, In: Proceedings - Graphics Interface. p. 62-69 8 p.

    Research output: Contribution to journalConference articlepeer-review

    18 Scopus citations
  • Smartest recompilation

    Shao, Z. & Appel, A. W., 1993, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Publ by ACM, p. 439-450 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    34 Scopus citations
  • Special Issue on ML

    Appel, A. W. & Harper, R., Oct 1993, In: Journal of Functional Programming. 3, 4, p. 389 1 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 1992

    Algorithm-based fault tolerance for floating-point operations in massively parallel systems

    Rexford, J. L. & Jha, N. K., 1992, 1992 IEEE International Symposium on Circuits and Systems, ISCAS 1992. Institute of Electrical and Electronics Engineers Inc., p. 649-652 4 p. 230168. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    21 Scopus citations
  • Callee-save registers in continuation-passing style

    Appel, A. W. & Shao, Z., Sep 1992, In: LISP and Symbolic Computation. 5, 3, p. 191-221 31 p.

    Research output: Contribution to journalArticlepeer-review

    15 Scopus citations
  • Computational Geometry and Computer Graphics

    Dobkin, D. P., 1992, In: Proceedings of the IEEE. 80, 9, p. 1400-1411 12 p.

    Research output: Contribution to journalArticlepeer-review

    11 Scopus citations
  • Improving the performance of message-passing applications by multithreading

    Felten, E. W. & McNamee, D., 1992, Proccedings of the Scalable High Performance Computing Conference-SHPCC-92. Publ by IEEE, p. 84-89 6 p. (Proccedings of the Scalable High Performance Computing Conference-SHPCC-92).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Scopus citations
  • Is POPL Mathematics or Science?

    Appel, A. W., Jan 4 1992, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 27, 4, p. 87-89 3 p.

    Research output: Contribution to journalArticlepeer-review

    1 Scopus citations
  • Large-step markov chains for the TSP incorporating local search heuristics

    Martin, O., Otto, S. W. & Felten, E. W., May 1992, In: Operations Research Letters. 11, 4, p. 219-224 6 p.

    Research output: Contribution to journalArticlepeer-review

    136 Scopus citations
  • Pathlength reduction features in the PA-RISC architecture

    Lee, R., Mahon, M. & Morris, D., Feb 1992, Digest of Papers - IEEE Computer Society International Conference. Publ by IEEE, p. 129-135 7 p. (Digest of Papers - IEEE Computer Society International Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    17 Scopus citations
  • Performance issues in non-blocking synchronization on shared-memory multiprocessors

    Alemany, J. & Felten, E. W., 1992, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. Publ by ACM, p. 125-134 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    38 Scopus citations
  • Special Issue On Ml

    Appel, A. W. & Harper, R., Jan 1992, In: Journal of Functional Programming. 2, 1, p. i

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Triangulating polygons without large angles

    Bern, M., Dobkin, D. & Eppstein, D., 1992, Eighth Annual Symposium On Computational Geometry. Publ by ACM, p. 222-231 10 p. (Eighth Annual Symposium On Computational Geometry).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • 1991

    Debuggable concurrency extensions for standard ML

    Tolmach, A. P. & Appel, A. W., Dec 1 1991, Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991. Association for Computing Machinery, Inc, p. 120-131 12 p. (Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Debuggable concurrency extensions for standard ML

    Tolmach, A. P. & Appel, A. W., Jan 12 1991, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 26, 12, p. 120-131 12 p.

    Research output: Contribution to journalArticlepeer-review

    12 Scopus citations
  • Detecting the intersection of convex objects in the plane

    Dobkin, D. P. & Souvaine, D. L., Aug 1991, In: Computer Aided Geometric Design. 8, 3, p. 181-199 19 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • LEFTY. A two-view editor for technical pictures

    Dobkin, D., 1991, In: Proceedings - Graphics Interface. p. 68-76 9 p.

    Research output: Contribution to journalConference articlepeer-review

    4 Scopus citations
  • Maintenance of Geometric Extrema ∈

    Dobkin, D. & Suri, S., Jan 4 1991, In: Journal of the ACM (JACM). 38, 2, p. 275-298 24 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    29 Scopus citations
  • Standard ML of New Jersey

    Appel, A. W. & MacQueen, D. B., 1991, Programming Language Implementation and Logic Programming - 3rd International Symposium, PLILP 1991, Proceedings. Wirsing, M. & Maluszynski , J. (eds.). Springer Verlag, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 528 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    129 Scopus citations
  • Virtual memory primitives for user programs

    Appel, A. W. & Li, K., 1991, p. 96-107. 12 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    87 Scopus citations
  • Virtual memory primitives for user programs

    Appel, A. W. & Li, K., Jan 4 1991, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 26, 4, p. 96-107 12 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    43 Scopus citations
  • 1990

    Advisor for flexible working sets

    Alonso, R. & Appel, A. W., 1990, Proc 1990 ACM Sigmetrics Conf Meas Model Comput Syst. Publ by ACM, p. 153-162 10 p. (Proc 1990 ACM Sigmetrics Conf Meas Model Comput Syst).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    15 Scopus citations
  • Advisor for flexible working sets

    Alonso, R. & Appel, A. W., 1990, 1990 ACM SIGMETRICS Conf Meas Model Comput Syst. Anon (ed.). Publ by ACM, p. 153-162 10 p. (1990 ACM SIGMETRICS Conf Meas Model Comput Syst).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • A numerical method for rendering spherical reflections

    Dobkin, D. P., Panduranga, E. S. & Zhu, M., 1990, Proc First 90 IEEE Conf Visualization Visualization 90. Publ by IEEE, p. 289-297, 48 (Proc First 90 IEEE Conf Visualization Visualization 90).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Applied computational geometry: Towards robust solutions of basic problems

    Dobkin, D. & Silver, D., Feb 1990, In: Journal of Computer and System Sciences. 40, 1, p. 70-87 18 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    17 Scopus citations
  • A runtime system

    Appel, A. W., Nov 1990, In: LISP and Symbolic Computation. 3, 4, p. 343-380 38 p.

    Research output: Contribution to journalArticlepeer-review

    35 Scopus citations
  • A viewer for mathematical structures and surfaces in 3D

    Dobkin, D. P., North, S. C. & Thurston, N. J., Feb 1 1990, Proceedings of the 1990 Symposium on Interactive 3D Graphics, I3D 1990. Association for Computing Machinery, p. 141-142 2 p. (Proceedings of the 1990 Symposium on Interactive 3D Graphics, I3D 1990).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Benchmarking advanced architecture computers

    Messina, P., Felten, E., Hipes, P., Williams, R., Alagar, A., Kamrath, A., Leary, R., Pfeiffer, W., Rogers, J. & Walker, D., Sep 1990, In: Concurrency: Practice and Experience. 2, 3, p. 195-255 61 p.

    Research output: Contribution to journalArticlepeer-review

    14 Scopus citations
  • Computational geometry in a curved world

    Dobkin, D. P. & Souvaine, D. L., Jun 1990, In: Algorithmica. 5, 1-4, p. 421-457 37 p.

    Research output: Contribution to journalArticlepeer-review

    65 Scopus citations
  • Contour Tracing by Piecewise Linear Approximations

    Dobkin, D. P., Wilks, A. R., Levy, S. V. F. & Thurston, W. P., Jan 10 1990, In: ACM Transactions on Graphics (TOG). 9, 4, p. 389-423 35 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    50 Scopus citations
  • Debugging standard ML without reverse engineering

    Tolmach, A. P. & Appel, A. W., 1990, Proc 1990 ACM Conf LISP Funct Program. Publ by ACM, p. 1-12 12 p. (Proc 1990 ACM Conf LISP Funct Program).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    40 Scopus citations
  • Delaunay graphs are almost as good as complete graphs

    Dobkin, D. P., Friedman, S. J. & Supowit, K. J., Dec 1990, In: Discrete & Computational Geometry. 5, 1, p. 399-407 9 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    184 Scopus citations
  • Determining the separation of preprocessed polyhedra — A unified approach

    Dobkin, D. P. & Kirkpatrick, D. G., 1990, Automata, Languages and Programming - l7th International Colloquium, Proceedings. Paterson, M. S. (ed.). Springer Verlag, p. 400-413 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 443 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    144 Scopus citations
  • Generating sparse spanners for weighted graphs

    Althöfer, I., Das, G., Dobkin, D. & Joseph, D., 1990, SWAT 1990 - 2nd Scandinavian Workshop on Algorithm Theory, Proceedings. Karlsson, R. & Gilbert, J. R. (eds.). Springer Verlag, p. 26-37 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 447 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    39 Scopus citations
  • Implicitly searching convolutions and computing depth of collision

    Dobkin, D., Hershberger, J., Kirkpatrick, D. & Suri, S., 1990, Algorithms - International Symposium SlGAL 1990, Proceedings. lbaraki, T., Nishizeki, T., Imai, H. & Asano, T. (eds.). Springer Verlag, p. 165-180 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 450 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • Multi-scale training of a large backpropagation net

    Feiten, E. W., Martin, O., Otto, S. W. & Hutchinson, J., Apr 1990, In: Biological Cybernetics. 62, 6, p. 503-509 7 p.

    Research output: Contribution to journalArticlepeer-review

    2 Scopus citations
  • Searching for empty convex polygons

    Dobkin, D. P., Edelsbrunner, H. & Overmars, M. H., Jun 1990, In: Algorithmica. 5, 1-4, p. 561-571 11 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    5 Scopus citations
  • Searching for empty convex polygons

    Dobkin, D. P., Edelsbrunner, H. & Overmars, M. H., Mar 1990, In: Algorithmica. 5, 1, p. 561-571 11 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    28 Scopus citations
  • Viewer for mathematical structures and surfaces in 3D

    Dobkin, D. P., North, S. C. & Thurston, N. J., 1990, Computer Graphics (ACM), 24, 2, p. 141-142 2 p.

    Research output: Contribution to specialist publicationArticle

    1 Scopus citations
  • Visibility with a moving point of view

    Bern, M., Dobkin, D., Eppstein, D. & Grossman, R., Jan 1 1990, Proceedings of the 1st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1990. Association for Computing Machinery, p. 107-117 11 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • 1989

    Allocation without locking

    Appel, A. W., Jul 1989, In: Software: Practice and Experience. 19, 7, p. 703-705 3 p.

    Research output: Contribution to journalArticlepeer-review

    6 Scopus citations
  • Best-first branch-And-bound on a hypercube

    Felten, E. W., Jan 3 1989, Proceedings of the 3rd Conference on Hypercube Concurrent Computers and Applications, C3P 1988. Fox, G. (ed.). Association for Computing Machinery, Inc, p. 1500-1504 5 p. (Proceedings of the 3rd Conference on Hypercube Concurrent Computers and Applications: Architecture, Software, Computer Systems, and General Issues, C3P 1988; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Scopus citations
  • Chess on a hypercube

    Felten, E. W. & Otto, S. W., Jan 3 1989, Proceedings of the 3rd Conference on Hypercube Concurrent Computers and Applications, C3P 1988. Fox, G. (ed.). Association for Computing Machinery, Inc, p. 1329-1341 13 p. (Proceedings of the 3rd Conference on Hypercube Concurrent Computers and Applications: Architecture, Software, Computer Systems, and General Issues, C3P 1988; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Scopus citations
  • Continuation-passing, closure-passing style

    Appel, A. W. & Jim, T., 1989, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Publ by ACM, p. 293-302 10 p. (Conf Rec Sixteenth Annu ACM Symp Princ Program Lang).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    89 Scopus citations
  • Dynamically computing the maxima of decomposable functions, with applications

    Dobkin, D. & Suri, S., 1989, Annual Symposium on Foundations of Computer Science (Proceedings). Publ by IEEE, p. 488-493 6 p. (Annual Symposium on Foundations of Computer Science (Proceedings)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations