Computer Science

College of Engineering

Works Published in 1993

Sorted by most recent date added to the index first, which may not be the same as publication date order.

1993 journal article

On the system of learning and diagnosis for fostering space concept

Journal of Japan Society for CAI, 10(3), 114–121.

By: N. Matsuda, S. Nagashima, T. Okamoto & S. Takuma

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.

By: N. Matsuda & T. Okamoto

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

Source: NC State University Libraries
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.

By: J. Chang & E. Gehringer

Event: VLSI ’93, Very Large Scale Integration at Grenoble, France on September 6-8, 1993

Source: NC State University Libraries
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.

By: A. Diaz, M. Hitz, E. Kaltofen, A. Lobo & T. Valente

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.

By: P. Attie, M. Singh, A. Sheth & M. Rusinkiewicz

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.

By: C. Tomlinson, P. Attie, P. Cannata, G. Meredith, A. Sheth, M. Singh, D. Woelk

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.

By: M. Huhns, N. Jacobs, T. Ksiezyk, W. Shen, M. Singh & P. Cannata

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.

By: D. Woelk, P. Attie, P. Cannata, G. Meredith, A. Sheth, M. Singh, C. Tomlinson

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.

By: M. Singh

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.

By: L. Stephens & M. Singh

Source: ORCID
Added: December 10, 2019

1993 journal article

A logic of intentions and beliefs

Journal of Philosophical Logic, 22(5), 513–544.

By: M. Singh & N. Asher

Source: ORCID
Added: December 10, 2019

1993 journal article

On the minimum dummy-arc problem

RAIRO-Operations Research, 27, 153–168.

By: D. Michael, J. Kamburowski & M. Stallmann

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.

By: M. Stallmann & T. Hughes

Event: Springer, Berlin, Heidelberg

Source: ORCID
Added: December 6, 2019

1993 journal article

On counting planar embeddings

Discrete Mathematics, 122(1-3), 385–392.

By: M. Stallmann

Source: ORCID
Added: December 6, 2019

1993 chapter

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.

By: E. Gehringer & J. Chang

Event: OOPSLA ’93: Object-Oriented Programming Languages, Systems, and Architectures at Washington on September 27, 1993

Source: NC State University Libraries
Added: April 14, 2019

1993 conference paper

Evaluation of an object-caching coprocessor design for object-oriented systems

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93, 132–139.

By: J. Chang & E. Gehringer

Event: 1993 IEEE International Conference on Computer Design ICCD'93 at Cambridge, MA

Sources: Crossref, ORCID
Added: April 14, 2019