Computer Science - 1993

ROUSKAS, G. N., AMMAR, M. H., & IEEE. (1993). ANALYSIS AND OPTIMIZATION OF TRANSMISSION SCHEDULES FOR SINGLE-HOP WDM NETWORKS. Ieee Infocom 93 : the Conference on Computer Communications, Proceedings, Vols 1-3, 1342–1349. https://doi.org/10.1109/INFCOM.1993.253398

Kaltofen, E. (1993). Dynamic parallel evaluation of computation DAGs. In J. Reif (Ed.), Synthesis of Parallel Algorithms (pp. 723–758). San Mateo, California: Morgan Kaufmann Publishers.

Kaltofen, E. (1993). Computational differentiation and algebraic complexity theory. In C. H. Bischof, A. Griewank, & P. M. Khademi (Eds.), Workshop Report on First Theory Institute on Computational Differentiation (Technical Report No. ANL/MCS-TM-183; pp. 28–30). Argonne, Illinois: Argonne National Laboratory.

Matsuda, N., Nagashima, S., Okamoto, T., & Takuma, S. (1993). On the system of learning and diagnosis for fostering space concept. Journal of Japan Society for CAI, 10(3), 114–121.

Matsuda, N., & Okamoto, T. (1993). Student modeling for procedural problem solving. IEICE Transactions on Information and Systems, E77-D(1), 49–56.

Matsuda, N. (1993). Computer networking. In T. Okamoto (Ed.), Introduction to Information Education for Teachers: Cases in High-School Education (pp. 180–197). Tokyo: Personal Media.

Gehringer, E. F. (1993). Evaluation of a multilanguage videocourse in object-oriented systems. Proceedings of the OOPSLA 1993 Educators’ Symposium. Presented at the OOPSLA 1993 Educators’ Symposium, Washington.

Chang, J.-E. M., & Gehringer, E. F. (1993). Performance of object caching for object-oriented systems. Proceedings of VLSI ’93. Presented at the VLSI ’93, Very Large Scale Integration, Grenoble, France.

Diaz, A., Hitz, M., Kaltofen, E., Lobo, A., & Valente, T. (1993). Process scheduling in DSC and the large sparse linear systems challenge. Design and Implementation of Symbolic Computation Systems (DISCO 1993), 66–80. https://doi.org/10.1007/bfb0013169

Attie, P. C., Singh, M. P., Sheth, A. P., & Rusinkiewicz, M. (1993). Specifying and Enforcing Intertask Dependencies. In R. Agrawal (Ed.), 19th International Conference on Very Large Data Bases, August 24th-27th 1993, Dublin, Ireland : proceedings (pp. 134–145). Palo Alto: Morgan Kaufmann.

Tomlinson, C., Attie, P., Cannata, P., Meredith, G., Sheth, A., Singh, M., & Woelk, D. (1993). Workflow Support in Carnot. Bulletin of the Technical Committee on Data Engineering, 16(2), 33–36.

Huhns, M. N., Jacobs, N., Ksiezyk, T., Shen, W.-M., Singh, M. P., & Cannata, P. E. (1993). Integrating enterprise information models in Carnot. Proceedings International Conference on Intelligent and Cooperative Information Systems. Presented at the International Conference on Intelligent and Cooperative Information Systems, Rotterdam, Netherlands. https://doi.org/10.1109/icicis.1993.291772

Kaltofen, E. (1993). Analysis of Coppersmith's block Wiedemann algorithm for the parallel solution of sparse linear systems. In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (pp. 195–212). https://doi.org/10.1007/3-540-56686-4_44

Kaltofen, E. (1993). Direct proof of a theorem by Kalkbrener, Sweedler, and Taylor. ACM SIGSAM Bulletin, 27(4), 2. https://doi.org/10.1145/182125.182126

Woelk, D., Attie, P., Cannata, P., Meredith, G., Sheth, A., Singh, M., & Tomlinson, C. (1993). Task Scheduling Using Intertask Dependencies in Carnot. ACM SIGMOD Record, 22(2), 491–494. https://doi.org/10.1145/170036.170150

Singh, M. P. (1993). A semantics for speech acts. Annals of Mathematics and Artificial Intelligence, 8(1-2), 47–71. https://doi.org/10.1007/BF02451549

Stephens, L. M., & Singh, M. P. (1993). Declarative Representations of Multiagent Systems. IEEE Transactions on Knowledge and Data Engineering, 5(5), 721–739. https://doi.org/10.1109/69.243505

Singh, M. P., & Asher, N. M. (1993). A logic of intentions and beliefs. Journal of Philosophical Logic, 22(5), 513–544. https://doi.org/10.1007/BF01349562

Michael, D. J., Kamburowski, J., & Stallmann, M. F. (1993). On the minimum dummy-arc problem. RAIRO-Operations Research, 27, 153–168.

Stallmann, M. F. M., & Hughes, T. A. (1993). Fast algorithms for one-dimensionsal compaction with jog insertion. Workshop on Algorithms and Data Structures, 589–600.

Stallmann, M. F. M. (1993). On counting planar embeddings. Discrete Mathematics, 122(1-3), 385–392.

Gehringer, E. F., & Chang, J.-E. M. (1993). Hardware-assisted memory management. In Memory management and garbage-collection workshop, OOPSLA ’93: Object-Oriented Programming Languages, Systems, and Architectures. Presented at the OOPSLA ’93: Object-Oriented Programming Languages, Systems, and Architectures, Washington.

Chang, J. M., & Gehringer, E. F. (1993). Evaluation of an object-caching coprocessor design for object-oriented systems. Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93, 132–139. https://doi.org/10.1109/iccd.1993.393393

Baugh, J. W., & Elseaidy, W. M. (1993). Verification of real-time software for active structural control. Computing in Civil and Building Engineering, 1672–1679. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0027188290&partnerID=MN8TOARS

Optimal resource leveling using integer-linear programming. (1993). Computing in Civil and Building Engineering, 501–508. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0027306405&partnerID=MN8TOARS

Creating interactive animated instructional programs on a unix-based workstation. (1993). Proceedings - Frontiers in Education Conference, FIE, 70–75. https://doi.org/10.1109/FIE.1993.405565

A client-server approach for distributed finite element analysis. (1993). Advances in Engineering Software, 17(2), 69–78. https://doi.org/10.1016/0965-9978(93)90043-S