JOURNALS AND BOOKS
Artificial Intelligence
DONOHO, S. and L. A. RENDELL. Rerepresenting and restructuring domain theories: a constructive induction approach to theory revision.
J. Artif. Intell. Res., 2,
411-446 (1995).
HEBERT, M., J. PONCE, T. E. BOULT, and A. GROSS (eds.). 3D object representation for computer vision.
Lecture Notes in Computer Science 994
(Springer-Verlag, 1995).
IOERGER, T. R., L. A. RENDELL, and S. SUBRAMANIAM. Search for representation to improve protein tertiary structure prediction.
Machine Learning, 21
(spec. issue on learning in molec. biol.) 151-175 (1995).
PONCE, J. and B. FAVERJON. On computing three-finger force-closure grasps of polygonal objects.
IEEE Trans. Robotics Automat., 11
:6, 868-881 (1995).
PONCE, J., A. SUDSANG, S. SULLIVAN, B. FAVERJON, J.-D. BOISSONNAT, and J.-P. MERLET. Algorithms for computing multi-finger force-closure grasps of polyhedral objects.
Algorithmic Foundations of Robotics
(Goldberg, Halperin, Latombe, and Wilson, eds.; AK Peters, Ltd.) 167-184 (1995).
Computer-aided Design of Digital Systems
GUPTA, R. Co-synthesis of hardware and software of digital embedded systems (Kluwer Academic, 1995).
LIBESKIND-HADAS, R., N. SHRIVASTAVA, R. G. MELHEM, and C. L. LIU. Optimal reconfiguration algorithms for real-time fault tolerant processor arrays.
IEEE Trans. Parallel Distrib. Syst., 5
:6, 498-510 (1995).
PAN, P. and C. L. LIU. Area minimization for floorplans.
IEEE Trans. Comput.-Aided Des. Integrated Circuits Syst., 14,
123-132 (1995).
Computer Architecture and Systems
AOYAMA, K. and A. A. CHIEN. The cost of adaptivity and virtual lanes in a wormhole router.
J. VLSI Des., 2
:4, 315-333 (1995).
CHIEN, A. A. and J. H. KIM. Planar-adaptive routing: low-cost adaptive networks for multiprocessors.
J. Assn. Comput. Mach., 42
:1, 91-123 (1995).
KIM, J. and A. A. CHIEN. Network performance under bimodal traffic loads.
J. Parallel Distrib. Comput., 28
:1, 43-64 (1995).
TORRELLAS, J., A. TUCKER, and A. GUPTA. Evaluating the performance of cache-affinity scheduling in shared-memory multiprocessors.
J. Parallel Distrib. Comput., 24
:2, 139-151 (1995).
Computer Graphics
KUBITZ, W. J. and H. C. K. SUNG. Tracing rays with the area sampling machine.
Visual Comput., 11
:9, 477-496 (1995).
Databases and Information Systems
ULUSOY, O. and G. BELFORD. A performance evaluation model for distributed real-time databases.
Int. J. Modeling Simulat., 15
:2, 50-59 (1995).
Human-Computer Interaction and Interfaces
KWAN, T. T., R. E. McGRATH, and D. A. REED. NCSA's World Wide Web server: design and performance.
IEEE Comput., 28
:11, 68-74 (1995).
MADHYASTHA, T. M. and D. A. REED. Data sonification: Do you see what I hear?
IEEE Software, 12
:2, 45-56 (1995).
NAHRSTEDT, K. End-to-End QoS guarantees in networked multimedia systems.
ACM Comput. Surveys J., 27
:4, 613-616 (1995).
NAHRSTEDT, K. and J. SMITH. The QoS broker.
IEEE Multimedia, 2
:1, 53-67 (1995).
NAHRSTEDT, K. and R. STEINMETZ. Resource management in multimedia systems.
IEEE Comput., 28
:5, 52-64 (1995).
NAHRSTEDT, K. and R. STEINMETZ. Resource management in networked multimedia systems.
Multimedia: Networking Handbook
(Caranagh, ed.; Auerbach Publ.) 381-406 (1995).
REED, D. A., K. A. SHIELDS, W. H. SCULLIN, L. F. TAVERA, and C. L. ELFORD. Virtual reality and parallel systems performance analysis.
IEEE Comput., 28
:11, 57-67 (1995).
STEINMETZ, R. and K. NAHRSTEDT.
Multimedia: Computing, Communications and Applications.
854 pp. (Prentice Hall, 1995).
Interdisciplinary Research
HAYES, C. C. and H. C. SUN. Using a manufacturing constraint network to identify cost-critical areas of design.
Artif. Intell. Engr. Des., Anal., Mfg.
(spec. issue on innovative des. and mfg. engr.)
9
:2, 73-87 (1995).
Numerical and Scientific Computing
BARTH, E., K. KUCZERA, B. LEIMKUHLER, and R. D. SKEEL. Algorithms for constrained molecular dynamics.
J. Comput. Chem, 16,
1192-1209 (1995).
HEATH, M. T. and P. RAGHAVAN. A Cartesian parallel nested dissection algorithm.
SIAM J. Matrix Anal. Appl., 16
:1, 235-253 (1995).
ZHANG, M. Q. and R. D. SKEEL. Symplectic integrators and the conservation of angular momentum.
J. Computat. Chem., 16,
365-369 (1995).
Parallel Computing
CHIEN, A. A. Scalable parallel systems ?=? scalable object requestion brokers.
IEEE Comput. Virtual Roundtable on Object Technol., 28
:10, 62-63 (1995).
CHIEN, A. A. and J. DOLBY. ICC++ a high performance parallel C++.
Directions of Parallel C++
(MIT Press) 343-382 (1995).
HEATH, M. T., A. D. MALONY, and D. T. ROVER. The visual display of parallel performance data.
IEEE Trans. Comput., 28
:11, 21-28 (1995).
HEATH, M. T., A. D. MALONY, and D. T. ROVER. Parallel performance visualization: from practice to theory.
IEEE Trans. Parallel Distrib. Technol., 3
:4, 44-60 (1995).
KARP, A., M. T. HEATH, D. HELLER, and H. SIMON. 1994 Gordon Bell Prize winners.
IEEE Trans. Comput., 28
:1, 68-74 (1995).
NELSON, M., W. HUMPHREY, A. GURSOY, A. DALKE, L. KALE, R. D. SKEEL, and R. KUFRIN. MDScope a visual computing environment for structural biology.
Comput. Phys. Commun., 91,
111-134 (1995).
Programming Languages
AGHA, G., W. KIM, and R. PANWAR. Actor languages for specification of parallel computations.
DIMACS Series in Discrete Mathematics and Computer Science
(Am. Mathematical Soc.)
18,
239-258 (1995).
CHIEN, A. A. Concurrent Aggregates (CA): design and experience with a concurrent object-oriented language based on aggregates.
J. Parallel Distrib. Comput., 25
:2, 174-196 (1995).
DERSHOWITZ, N. 33 examples of termination.
French Spring School of Theoretical Computer Science Advanced Course on Term Rewriting
(Comon and Jouannaud, eds.; Springer-Verlag )
909,
16-26 (1995).
DERSHOWITZ, N. and C. HOOT. Natural termination.
Theoret. Comput. Sci., 142
:2, 179-207 (1995).
FROLUND, S. and G. AGHA. Abstracting interactions based on message sets.
Object-Based Models and Languages for Concurrent Systems
(Lecture Notes in Computer Science, Springer-Verlag)
924,
107-124 (1995).
Real-Time Systems
GILLIES, D. and J. W. S. LIU. Scheduling tasks with and/or precendence contraints.
SIAM J. Comput., 24
:4, 797-810 (1995).
HAN, C. C., K. J. LIN, and J. W. S. LIU. Scheduling jobs with temporal distance constraints.
SIAM J. Comput., 24
:5, 1104-1121 (1995).
LIU, J. W. S. and R. HA. Methods for validating real-time constraints.
J. Software Syst., 30
:1-2, 85-98 (1995).
NAKAZATO, H., J. W. S. LIU, and T. KIM. A scheduling strategy for tasks with precedence and conditional execution.
Trans. Inform. Process. Soc. Japan, 36
:9, 2161-2174 (1995).
REN, S. and G. AGHA. RTsynchronizers: language support for real-time specifications in distributed systems.
ACM SIGPLAN Notices, 30
:11, 50-59 (1995).
SHIH, W. K. and J. W. S. LIU. Algorithms for scheduling imprecise computations with timing constraints to minimize maximum error.
IEEE Trans. Comput., 44
:3, 466-471 (1995).
SONG, X. and J. W. S. LIU. Maintaining temporal consistency: pessimistic vs optimistic concurrency control.
IEEE Trans. Knowledge Data Engr., 7
:5, 787-796 (1995).
Software Engineering
CAPLAN, J. E. and M. T. HARANDI. A logical framework for software proof reuse.
ACM Software Engr. Notes, 20
:3, 106-113 (1995).
Theoretical Computing
ALONSO, L., E. M. REINGOLD, and R. SCHOTT. Multidimensional divide-and-conquer maximin recurrences.
SIAM J. Discrete Math., 8,
428-447 (1995).
CHAZELLE, B., H. EDELSBRUNNER, M. GRIGNI, L. J. GUIBAS, M. SHARIR, and E. WELZL. Improved bounds of weak epsilon-nets for convex sets.
Discrete Computat. Geom., 13,
1-15 (1995).
DELFINADO, C. J. A. and H. EDELSBRUNNER. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere.
Comput. Aided Geom. Des., 12,
771-784 (1995).
EDELSBRUNNER, H. The union of balls and its dual shape.
Discrete Computat. Geom., 13,
415-440 (1995).
GOLDSTEIN, A. S. and E. M. REINGOLD. Complexity of a pursuit problem.
Theoret. Comput. Sci., 43,
93-112 (1995).
REINGOLD, E. M. A modest proposal.
Math. Intelligencer, 17
:3, 3 (1995).