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 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.

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

1993 conference paper

Verification of real-time software for active structural control

Computing in Civil and Building Engineering, 1672–1679.

By: J. Baugh & W. Elseaidy

Source: ORCID
Added: December 6, 2018

1993 conference paper

Optimal resource leveling using integer-linear programming

Computing in Civil and Building Engineering, 501–508.

Source: ORCID
Added: December 6, 2018

1993 conference paper

Creating interactive animated instructional programs on a unix-based workstation

Proceedings - Frontiers in Education Conference, FIE, 70–75.

Source: ORCID
Added: December 6, 2018

1993 journal article

A client-server approach for distributed finite element analysis

Advances in Engineering Software, 17(2), 69–78.

Source: ORCID
Added: December 6, 2018