JOURNALS AND BOOKS

Artificial Intelligence

BENNETT, S. and G. DeJONG. Real-world robotics: learning to plan for robust execution. Recent Advances in Robot Learning (Franklin, Mitchell, and Thrun, eds.) (1996).
BHANSALI, S. and M. T. HARANDI. What makes derivational analogy work: an experience report using APU. Computational Learning Theory and Natural Learning Systems (Greiner, Petsche, and Rivest,eds.; MIT Press) 303-321 (1996).
DeJONG, G. Explanation-based learning. Encyclopedia of Computer Science (CRC, 1996).
GRATCH, J. and G. DeJONG. A decision-theoretic approach to adaptive problem solving. Artif. Intell., 88 :1-2, 101-161 (1996).
HAYES, C. C. P3: a process planner for manufacturability analysis. IEEE Trans. Robot. Automat. (Special Issue on Assembly and Task Planning) 12 :2, 220-234 (1996).
HAYES, C. C. A study of solution quality in expert machinists. Expertise in Context (Ford, ed., 1996).
HAYES, C. C. Plan-based manufacturability analysis and generation of shape changing redesign suggestions. J. Intell. Mfg. (Special Issue on Mfg.) 7, 121-132 (1996).
HAYES, C. C. and H. C. SUN. P3: a manufacturing planner that reasons about cost-effective plans to achieve positional tolerance specifications. J. Adv. Engr. Software, 25 :1, 75-86 (1996).
PONCE, J., A. ZISSERMAN, and M. HEBERT (eds). Object Representation in Computer Vision II, Lecture Notes in Computer Science 1144 (Springer-Verlag, 1996).
RAY, S. R. and H. KARGUPTA. A temporal sequence processor based on the biological reaction-diffusion process. Complex Syst., 9 :4, 305-327 (1996).
TAN, G., C. C. HAYES, and M. SHAW. An intelligent agent framework for concurrent product design and planning. IEEE Trans. Engr. Mgt., 43 :3, 297-306 (1996).
TINELLI, C. and M. T. HARANDI. A new correctness proof of the Nelson-Oppen combination procedure. Frontiers of Combining Systems (Baader and Schutz, eds.; Kluwer Academic) 103-120 (1996).
TINELLI, C. and M. T. HARANDI. Constraint logic programming over unions of constraint theories. Lecture Notes in Computer Science 1118 (Springer-Verlag) 436-450 (1996).

Communications Networks

NAHRSTEDT, K. and J. M. SMITH. Design, implementation and experiences with the OMEGA end-point architecture. IEEE J. Selected Areas Commun., 14 :7, 1263-1279 (1996).

Computer-aided Design of Digital Systems

GUPTA, R. and G. D. MICHELI. A co-synthesis approach to embedded system design automation. J. Des. Automat. Embedded Syst., 1 :1, 69-121 (1996).
YAMASHITA, S., Y. KAMBAYASHI, and S. MUROGA. Design of logic circuits with wired-logic utilizing transduction method. Trans. Inst. Electron., Inform. Commun. Engr., J79-D-I :3, 132-139 (1996).

Computer Architecture and Systems

KOUFATY, D., X. CHEN, D. POULSEN, and J. TORRELLAS. Data forwarding in scalable shared-memory multiprocessors. IEEE Trans. Parallel Distrib. Syst., 7 :12, 1250-1264 (1996).

Design Automation

LIU, C. L., S. H. CHOW, Y. C. HO, and T. T. HWANG. A low power reduction of finite state machine a decomposition approach. ACM Trans. Des. Automat. Electron. Syst., 1 :3, 315-340 (1996).
LIU, C. L. and T. GAO. A minimum crosstalk channel routing. IEEE Trans. Comput.-Aided Des. Integrated Circuits Syst., 15, 464-474 (1996).
LIU, C. L., P. PAN, and W. SHI. An area minimization for hierarchical floorplans. Algorithmica, 15 :6, 550-571 (1996).
LIU, C. L., S. RAMAN, and L. G. JONES. A timing-constrained FPGA placement: a force-directed formulation and its performance evaluation. VLSI Des., 4 :4, 345-355 (1996).
LIU, C. L., Y. SUN, T. C. WANG, and C. K. WONG. A routing for symmetric FPGAs and FPICs. IEEE Trans. Comput.-Aided Des. Integrated Circuits Syst., VOL: NUM, PAGES (1996).

Distributed Systems

ASTLEY, M. and G. AGHA. A visualization model for concurrent systems. Int. J. Inform. Sci., 93 :1-2, 107-132 (1996).

Interdisciplinary Research

NELSON, M., W. HUMPHREY, A. GURSOY, A. DALKE, L. KALE, R. D. SKEEL, and K. SCHULTEN. NAMD a parallel, object-oriented molecular dynamics program. Int. J. Supercomput. Appl. High Perform. Comput., 10, 251-268 (1996).

Numerical and Scientific Computing

ASHBY, S. F., S. LEE, L. R. PETZOLD, P. E. SAYLOR, and E. SEIDEL. Computing spacetime curvature via differential-algebraic equations. Appl. Numer. Math., 20, 221-234 (1996).
HEATH, M. T. Parallel direct methods for sparse linear systems. Parallel Numerical Algorithms (Keyes, Sameh, and Venkatakrishnan, eds.; Kluwer Academic) 39-75 (1996).
LEIMKUHLER, B. J., S. REICH, and R. D. SKEEL. Integration methods for molecular dynamics. Mathematical Approaches to Biomolecular Structure and Dynamics (Mesirov, Schulten, and Summers, eds.; Springer-Verlag) 161-185 (1996).
LOPEZ-MARCOS, M., J. M. SANZ-SERNA, and R. D. SKEEL. Cheap enhancement of symplectic integrators. Numerical Analysis 1995 (Griffiths and Watson, eds.; Longman Group) 107-122 (1996).
LOPEZ-MARCOS, M., J. M. SANZ-SERNA, and R. D. SKEEL. Explicit symplectic integrators with maximal stability intervals. Numerical Analysis (Griffiths and Watson, eds.; World Scientific) (A. R. Mitchell 75th Birthday Volume) 163-176 (1996).

Parallel Computing

AGHA, G. Modeling concurrent systems: actors, nets and the problem of abstraction and composition. Lecture Notes in Computer Science 1091 (Billington and Reisig, eds.; Springer-Verlag) 1-10 (1996).
BLUME, W., R. DOALLO, R. EIGENMANN, J. GROUT, J. HOEFLINGER, T. LAWRENCE, J. LEE, D. PADUA, Y. PAEK, B. POTTENGER, L. RAUCHWERGER, and P. TU. Parallel programming with Polaris. IEEE Comput., 29 :12, 78-82 (1996).
CHIEN, A. A. ICC++ a C++ dialect for high performance computing. SIGAAPP Newslett. (Special Issue on Parallel Object Oriented Comput. and Technol. Trends) 19-23 (1996).
CHOI, L. and A. A. CHIEN. The design and performance analysis of the dynamic interconnection multicomputer. J. Parallel Distrib. Comput., 36, 119-143 (1996).
HEATH, M. T. Visualization of parallel and distributed systems. Parallel and Distributed Computer Handbook (Zomaya, ed.; McGraw-Hill) 897- 916 (1996).
KALE, L. V. and M. BHANDARKAR. Structured Dagger: a coordination language for message-driven programming. Lecture Notes in Computer Science, 1123 (Springer-Verlag) 645-653 (1996).
KALE, L. V. and S. KRISHNAN. Charm++: parallel programming with message-driven objects. Parallel Programming Using C++ (Wilson and Lu, eds.; MIT Press) 175-213 (1996).
KARAMCHETI, V., J. PLEVYAK, and A. A. CHIEN. Runtime mechanisms for efficient dynamic multithreading. J. Parallel Distrib. Comput., 36, 21-40 (1996).
KARP, A. H., M. HEATH, and A. GEIST. 1995 Gordon Bell Prize winners. IEEE Comput., 29 :1, 79-85 (1996).
LAMM, S. and D. A. REED. Real-time geographic visualization of World Wide Web traffic. The Web after Five Years (Hurwitz, ed.; Web Consortium and O'Reilly & Associates, 1996).
PADUA, D. Outline of a roadmap for compiler technology. IEEE Computat. Sci. Engr.,3 :3, 65-66 (1996).
PETERSEN, P. and D. PADUA. Static and dynamic evaluation of dependence analysis techniques. IEEE Trans. Parallel Distrib. Syst., 7 :11, 1121-1132 (1996).

Programming Languages

AGHA, G. Linguistic paradigms for programming complex distributed systems. ACM Comput. Surveys, 28 :1, 295-296 (1996).
KAMIN, S. The challenge of language technology transfer. ACM Computing Surv., 28A :4 (1996).
KAMIN, S. and J. SPRINGER. Strictness analysis in the imperative lambda calculus. J. Lisp Symbolic Computat., 9, 109-143 (1996).
SANE, A. and R. CAMPBELL. Detachable inspector/removable cout: a structural pattern for designing transparent layered services. Pattern Languages of Program Design (Vlissides, Coplien, and Kerth, eds.; Addison-Wesley) 159-176 (1996).
SANE, A. and R. CAMPBELL. Resource exchanger: a behavioral pattern for low-overhead concurrent resource management. Pattern Languages of Program Design (Vlissides, Coplien, and Kerth, eds.; Addison-Wesley) 461-474 (1996).

Real-Time Systems

GUPTA, R. and G. D. MICHELI. Constrained software and runtime system generation for embedded applications. J. Syst. Archit., JSA-098, 4-12 (1996).
LIU, J. W. S., C. L. LIU, L. REDONDO, Z. DENG, T. S. TIA, R. BETTATI, J. SUN, A. SILBERMAN, M. STORCH, and D. HULL. PERTS: a prototyping environment for real-time systems. Int. J. Software Engr. Knowledge Engr., 6 :2, 161-177 (1996).
REN, S., G. AGHA, and M. SAITO. A modular approach for programming distributed real-time systems. J. Parallel Distrib. Comput., 36 :11, 50-59 (1996).
SHIH, W. K. and J. W. S. LIU. On-line scheduling of imprecise tasks to minimum total error. SIAM J. Comput., 25 :5, 1105-1121 (1996).
TIA, T. S., J. W. S. LIU, and M. SHANKAR. Algorithms and optimality of scheduling soft aperiodic requests in fixed-priority preemptive systems. Real-Time Syst. J., 11 :1, 23-43 (1996).

Software Engineering

REINGOLD, E.M. and S. N. KAMIN. Programming with Class: A C++ Introduction to Computer Science (McGraw-Hill, 1996).

Theoretical Computing

AKKIRAJU, N., H. EDELSBRUNNER, P. FU, and J. QIAN. Viewing geometric protein structures from inside a CAVE. IEEE Comput. Graphics Appl., 16, 58-61 (1996).
CHAZELLE, B., H. EDELSBRUNNER, L. J. GUIBAS, M. SHARIR, and J. STOLFI. Lines in space: combinatorics and algorithms. Algorithmica, 15, 428-447 (1996).
EDELSBRUNNER, H. and N. R. SHAH. Incremental topological flipping works for regular triangulations. Algorithmica, 15, 223-241 (1996).
REINGOLD, E. M. Basic techniques for design and analysis of algorithms. ACM Comput. Surveys, 28, 19-21 (1996).
REINGOLD, E. M. and A. MATHUR. Generalized Kraft's inequality and discrete k-modal search. SIAM J. Comput., 25, 420-447 (1996).