SIGSMALL/PC Symposium

Keyphrases

Publications

1990

Larry Hughes
Edmund: A Multicast Kernel for Distributed Application. SIGSMALL/PC Symposium (1990)
Kok Wai Wong, Elizabeth A. Unger
Specification and Verification of Active Message Systems. SIGSMALL/PC Symposium (1990)
Jerry E. Sayers
A Small Operating System. SIGSMALL/PC Symposium (1990)
John F. Cigas
Dynamically Displaying a Pascal Program in Color. SIGSMALL/PC Symposium (1990)
V. Venugopal
View-based Tool Integration in Database-Centered Environment. SIGSMALL/PC Symposium (1990)
Chunsik Yi, Steven Graham
Real-Time Reasoning with PROLOG. SIGSMALL/PC Symposium (1990)
David W. Valentine
Adapting Software to the User's Cognitive Style: Field Dependence - Field Independence. SIGSMALL/PC Symposium (1990)
David F. Clark, Abraham Kandel
Fuzzy Belief Networks. SIGSMALL/PC Symposium (1990)
George M. Whitson, Cathy H. Wu, Pam Taylor
Using an Artificial Neural System to Determine the Knowledge Base of an Expert System. SIGSMALL/PC Symposium (1990)
A. G. Jost, P. Streatch, D. B. Guptill
Implementation of a VLSI Layout Tool on Personal Computers. SIGSMALL/PC Symposium (1990)
Jacob Slonim, Michael A. Bauer
The Role of Workstations in the Information Utility: A Model for User-Oriented Information Systems. SIGSMALL/PC Symposium (1990)
A. D. Kulkarni, George M. Whitson
Self Organizing Neural Networks with a Split/Merge Algorithm. SIGSMALL/PC Symposium (1990)
Miguel Cabrera, Elizabeth A. Unger
Dynamic Data as Deterrent to the Tracker. SIGSMALL/PC Symposium (1990)
Kathleen Taylor, Michael A. Bauer
An Object/Message Model for the Development of Integrated Workstation Software. SIGSMALL/PC Symposium (1990)
Robert L. Tureman Jr.
A Personal Computer Based Expert System for Answering Student Questions in the CS1 Course. SIGSMALL/PC Symposium (1990)
Ashok Rathi, Huizhu Lu, George E. Hedrick
Performance Comparison of Extendible Hashing and Linear Hashing Techniques. SIGSMALL/PC Symposium (1990)
Lester Lipsky, Dilip Tagare, Edward Bigos
Evaluation of Queuing System Parameters Using Linear Algebraic Queuing Theory - an Implementation. SIGSMALL/PC Symposium (1990)
Blayne E. Mayfield, Timothy B. Baird
STP: A Simple Theorem Prover for IBM-PC Compatible Computers. SIGSMALL/PC Symposium (1990)
Hiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara
A Dedicated Small Computer for Artificial Intelligence. SIGSMALL/PC Symposium (1990)
John W. Sheppard, William R. Simpson
Using a Competitive Learning Neural Network to Evaluate Software Complexity. SIGSMALL/PC Symposium (1990)
Hal Berghel, Richard Rankin, Farrukh Burney
An Approach to Tableau Inferencing with "Hardwired" Heuristics. SIGSMALL/PC Symposium (1990)
John R. Talburt, Donna M. Mooney
An Evaluation of Type-10 Homograph Discrimination at the Semi-colon Level in Roget's International Thesaurus. SIGSMALL/PC Symposium (1990)
R. P. Srivastava
Teaching Digital Logic Design Using a Tape Recorder Simulator. SIGSMALL/PC Symposium (1990)
D. Riordan, K. J. Carden
Explanation in Ecological Systems. SIGSMALL/PC Symposium (1990)
Mauro Regio, Marco Temperini
Implementation and Manipulation of Formal Objects: An Object-Oriented View. SIGSMALL/PC Symposium (1990)
Michele Di Santo, Giulio Iannello
ASK: A Kernel for Programming Actor Systems. SIGSMALL/PC Symposium (1990)
Ray Hashemi-Nassab
Parametric Performance Evaluation of a Micro-Based Database System. SIGSMALL/PC Symposium (1990)
Taherah Daneshi
A Memory Adjustable Software System for Clustering and Retrieval. SIGSMALL/PC Symposium (1990)
W. Elliot, Mordechay Schneider
Fault Finder. SIGSMALL/PC Symposium (1990)
Philip T. Cox
Using Object-Orientation to Implement Logic Programming. SIGSMALL/PC Symposium (1990)
Patrick D. Fett, K. M. George
DCA: An Expert System for Auditing Data Communications. SIGSMALL/PC Symposium (1990)
Richard Rankin, Hal Berghel, T. Xu
Efficient Generation of Lexically Proper Palindromes. SIGSMALL/PC Symposium (1990)
Hossein Saiedian, Elizabeth A. Unger
A Formal Specification Tool for Office Systems. SIGSMALL/PC Symposium (1990)
David Roach, Hal Berghel
The Physiology of PROLOG Expert System Inference Engine. SIGSMALL/PC Symposium (1990)
Kam-Fai Wong, M. Howard Williams
CLARE - A Prolog Database Machine. SIGSMALL/PC Symposium (1990)
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA SIGSMALL/PC Symposium (1990)
Doug Varney
Adequacy of Checksum Algorithms for Computer Virus Detection. SIGSMALL/PC Symposium (1990)
Angela Dixon, Ramesh Sharda
Integration of Software Tools in Developing a Multiple Criteria Support System on a Personal Computer. SIGSMALL/PC Symposium (1990)
Paolino Di Felice
Basic Requirements and Main Features of a System Supporting the Reusability of Mathematical Software on Personal Computers. SIGSMALL/PC Symposium (1990)
Tahany A. Fergany, Howard A. Sholl
Performance Based Multiple Server Support for Distributed Real Time Applications. SIGSMALL/PC Symposium (1990)
William David Miller
Semantic Assistance Nets. SIGSMALL/PC Symposium (1990)
Benjamin Moreland
Knowledge-Based Understanding on a Small Machine. SIGSMALL/PC Symposium (1990)
Barbara Cuthill, Mallory Selfridge
A Dynamic Memory Approach to Case Based Reasoning: AI Research on a Macintosh. SIGSMALL/PC Symposium (1990)
Stephen P. Leach, Abraham Kandel
Grouper: An Expert System for Redistricting. SIGSMALL/PC Symposium (1990)
Peter Bodorik, J. Spruce Riordon
System Integration in Multidatabases. SIGSMALL/PC Symposium (1990)
Mark Luker
The Cost-Effective Integration of Microcomputers into a Campus Computing Environment. SIGSMALL/PC Symposium (1990)
Rizwan Mithani
An Object-Oriented Data Model for Partition Processing in Distributed Databases. SIGSMALL/PC Symposium (1990)