Computer Science
College of Engineering
Works Published in 1993
Displaying works 1 - 20 of 26 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
1993 chapter
Dynamic parallel evaluation of computation DAGs
In J. Reif (Ed.), Synthesis of Parallel Algorithms (pp. 723–758). San Mateo, California: Morgan Kaufmann Publishers.
Ed(s): J. Reif
Source: NC State University Libraries
Added: March 26, 2022
1993 report
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.
Ed(s): C. Bischof, A. Griewank & P. Khademi
Source: NC State University Libraries
Added: March 26, 2022
1993 journal article
On the system of learning and diagnosis for fostering space concept
Journal of Japan Society for CAI, 10(3), 114–121.
Source: NC State University Libraries
Added: December 26, 2021
1993 journal article
Student modeling for procedural problem solving
IEICE Transactions on Information and Systems, E77-D(1), 49–56.
Source: NC State University Libraries
Added: December 26, 2021
1993 chapter
Computer networking
In T. Okamoto (Ed.), Introduction to Information Education for Teachers: Cases in High-School Education (pp. 180–197). Tokyo: Personal Media.
Ed(s): T. Okamoto
Source: NC State University Libraries
Added: December 26, 2021
1993 conference paper
Evaluation of a multilanguage videocourse in object-oriented systems
Proceedings of the OOPSLA 1993 Educators’ Symposium. Presented at the OOPSLA 1993 Educators’ Symposium, Washington.
Event: OOPSLA 1993 Educators’ Symposium at Washington on September 26 - October 1, 1993
Sources: NC State University Libraries, ORCID
Added: October 28, 2021
1993 conference paper
Performance of object caching for object-oriented systems
Proceedings of VLSI ’93. Presented at the VLSI ’93, Very Large Scale Integration, Grenoble, France.
Event: VLSI ’93, Very Large Scale Integration at Grenoble, France on September 6-8, 1993
Sources: NC State University Libraries, ORCID
Added: October 28, 2021
1993 conference paper
Process scheduling in DSC and the large sparse linear systems challenge
Design and Implementation of Symbolic Computation Systems (DISCO 1993), 66–80.
Event: Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '93 at Gmunden, Austria on September 15-17, 1993
Source: Crossref
Added: June 15, 2021
1993 conference paper
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.
Ed(s): R. Agrawal
Event: 19th International Conference on Very Large Data Bases at Dublin, Ireland on August 24-27, 1993
Source: NC State University Libraries
Added: January 30, 2021
1993 journal article
Workflow Support in Carnot
Bulletin of the Technical Committee on Data Engineering, 16(2), 33–36.
Source: NC State University Libraries
Added: January 30, 2021
1993 conference paper
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.
Event: International Conference on Intelligent and Cooperative Information Systems at Rotterdam, Netherlands on May 12-14, 1993
Sources: Crossref, ORCID
Added: November 15, 2020
1993 chapter
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).
Source: Crossref
Added: August 28, 2020
1993 journal article
Direct proof of a theorem by Kalkbrener, Sweedler, and Taylor
ACM SIGSAM Bulletin, 27(4), 2.
Source: Crossref
Added: August 28, 2020
1993 journal article
Task Scheduling Using Intertask Dependencies in Carnot
ACM SIGMOD Record, 22(2), 491–494.
Source: ORCID
Added: December 10, 2019
1993 journal article
A semantics for speech acts
Annals of Mathematics and Artificial Intelligence, 8(1-2), 47–71.
Source: ORCID
Added: December 10, 2019
1993 journal article
Declarative Representations of Multiagent Systems
IEEE Transactions on Knowledge and Data Engineering, 5(5), 721–739.
author keywords: DECLARATIVE REPRESENTATIONS; DISTRIBUTED ARTIFICIAL INTELLIGENCE; FORMAL SPECIFICATIONS; KNOWLEDGE REPRESENTATION; MULTIAGENT SYSTEMS; PROBLEM-SOLVING SYSTEMS
scholarcommons.sc.edu (repository)
Source: ORCID
Added: December 10, 2019
1993 journal article
A logic of intentions and beliefs
Journal of Philosophical Logic, 22(5), 513–544.
Source: ORCID
Added: December 10, 2019
1993 journal article
On the minimum dummy-arc problem
RAIRO-Operations Research, 27, 153–168.
Source: ORCID
Added: December 6, 2019
1993 conference paper
Fast algorithms for one-dimensionsal compaction with jog insertion
Workshop on Algorithms and Data Structures, 589–600.
Event: Springer, Berlin, Heidelberg
Source: ORCID
Added: December 6, 2019
1993 journal article
On counting planar embeddings
Discrete Mathematics, 122(1-3), 385–392.
Source: ORCID
Added: December 6, 2019
