![dblp.uni-trier.de](../../Logo.gif) |
![www.uni-trier.de](../../logo_universitaet-trier.gif) |
SIGSMALL '90,
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems,
March 28-30,
1990. ACM,
1990
- David Roach, Hal Berghel:
The Physiology of PROLOG Expert System Inference Engine.
1-5
Electronic Edition (ACM DL) BibTeX
- Stephen P. Leach, Abraham Kandel:
Grouper: An Expert System for Redistricting.
6-12
Electronic Edition (ACM DL) BibTeX
- W. Elliot, Mordechay Schneider:
Fault Finder.
13-23
Electronic Edition (ACM DL) BibTeX
- Kok Wai Wong, Elizabeth A. Unger:
Specification and Verification of Active Message Systems.
24-30
Electronic Edition (ACM DL) BibTeX
- Miguel Cabrera, Elizabeth A. Unger:
Dynamic Data as Deterrent to the Tracker.
31-35
Electronic Edition (ACM DL) BibTeX
- Michele Di Santo, Giulio Iannello:
ASK: A Kernel for Programming Actor Systems.
36-42
Electronic Edition (ACM DL) BibTeX
- Kathleen Taylor, Michael A. Bauer:
An Object/Message Model for the Development of Integrated Workstation Software.
43-52
Electronic Edition (ACM DL) BibTeX
- V. Venugopal:
View-based Tool Integration in Database-Centered Environment.
53-60
Electronic Edition (ACM DL) BibTeX
- David W. Valentine:
Adapting Software to the User's Cognitive Style: Field Dependence - Field Independence.
61-67
Electronic Edition (ACM DL) BibTeX
- John F. Cigas:
Dynamically Displaying a Pascal Program in Color.
68-71
Electronic Edition (ACM DL) BibTeX
- Paolino Di Felice:
Basic Requirements and Main Features of a System Supporting the Reusability of Mathematical Software on Personal Computers.
72-79
Electronic Edition (ACM DL) BibTeX
- William David Miller:
Semantic Assistance Nets.
80-89
Electronic Edition (ACM DL) BibTeX
- Hal Berghel, Richard Rankin, Farrukh Burney:
An Approach to Tableau Inferencing with "Hardwired" Heuristics.
90-93
Electronic Edition (ACM DL) BibTeX
- Chunsik Yi, Steven Graham:
Real-Time Reasoning with PROLOG.
94-97
Electronic Edition (ACM DL) BibTeX
- Blayne E. Mayfield, Timothy B. Baird:
STP: A Simple Theorem Prover for IBM-PC Compatible Computers.
98-105
Electronic Edition (ACM DL) BibTeX
- Philip T. Cox:
Using Object-Orientation to Implement Logic Programming.
106-114
Electronic Edition (ACM DL) BibTeX
- Robert L. Tureman Jr.:
A Personal Computer Based Expert System for Answering Student Questions in the CS1 Course.
115-117
Electronic Edition (ACM DL) BibTeX
- Mark Luker:
The Cost-Effective Integration of Microcomputers into a Campus Computing Environment.
118-122
Electronic Edition (ACM DL) BibTeX
- R. P. Srivastava:
Teaching Digital Logic Design Using a Tape Recorder Simulator.
123-131
Electronic Edition (ACM DL) BibTeX
- Jerry E. Sayers:
A Small Operating System.
132-142
Electronic Edition (ACM DL) BibTeX
- Taherah Daneshi:
A Memory Adjustable Software System for Clustering and Retrieval.
139-142
Electronic Edition (ACM DL) BibTeX
- Barbara Cuthill, Mallory Selfridge:
A Dynamic Memory Approach to Case Based Reasoning: AI Research on a Macintosh.
143-150
Electronic Edition (ACM DL) BibTeX
- Richard Rankin, Hal Berghel, T. Xu:
Efficient Generation of Lexically Proper Palindromes.
151-155
Electronic Edition (ACM DL) BibTeX
- John R. Talburt, Donna M. Mooney:
An Evaluation of Type-10 Homograph Discrimination at the Semi-colon Level in Roget's International Thesaurus.
156-159
Electronic Edition (ACM DL) BibTeX
- Peter Bodorik, J. Spruce Riordon:
System Integration in Multidatabases.
160-163
Electronic Edition (ACM DL) BibTeX
- Ray Hashemi-Nassab:
Parametric Performance Evaluation of a Micro-Based Database System.
164-171
Electronic Edition (ACM DL) BibTeX
- Kam-Fai Wong, M. Howard Williams:
CLARE - A Prolog Database Machine.
172-177
Electronic Edition (ACM DL) BibTeX
- Ashok Rathi, Huizhu Lu, G. E. Hedrick:
Performance Comparison of Extendible Hashing and Linear Hashing Techniques.
178-185
Electronic Edition (ACM DL) BibTeX
- A. G. Jost, P. Streatch, D. B. Guptill:
Implementation of a VLSI Layout Tool on Personal Computers.
186-190
Electronic Edition (ACM DL) BibTeX
- Hiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara:
A Dedicated Small Computer for Artificial Intelligence.
191-198
Electronic Edition (ACM DL) BibTeX
- Lester Lipsky, Dilip Tagare, Edward Bigos:
Evaluation of Queuing System Parameters Using Linear Algebraic Queuing Theory - an Implementation.
199-204
Electronic Edition (ACM DL) BibTeX
- Tahany A. Fergany, Howard A. Sholl:
Performance Based Multiple Server Support for Distributed Real Time Applications.
205-214
Electronic Edition (ACM DL) BibTeX
- Hossein Saiedian, Elizabeth A. Unger:
A Formal Specification Tool for Office Systems.
215-220
Electronic Edition (ACM DL) BibTeX
- Angela Dixon, Ramesh Sharda:
Integration of Software Tools in Developing a Multiple Criteria Support System on a Personal Computer.
221-227
Electronic Edition (ACM DL) BibTeX
- Jacob Slonim, Michael A. Bauer:
The Role of Workstations in the Information Utility: A Model for User-Oriented Information Systems.
228-237
Electronic Edition (ACM DL) BibTeX
- Patrick D. Fett, K. M. George:
DCA: An Expert System for Auditing Data Communications.
238-245
Electronic Edition (ACM DL) BibTeX
- David F. Clark, Abraham Kandel:
Fuzzy Belief Networks.
246-248
Electronic Edition (ACM DL) BibTeX
- D. Riordan, K. J. Carden:
Explanation in Ecological Systems.
249-254
Electronic Edition (ACM DL) BibTeX
- A. D. Kulkarni, George M. Whitson:
Self Organizing Neural Networks with a Split/Merge Algorithm.
255-261
Electronic Edition (ACM DL) BibTeX
- John W. Sheppard, William R. Simpson:
Using a Competitive Learning Neural Network to Evaluate Software Complexity.
262-267
Electronic Edition (ACM DL) BibTeX
- George M. Whitson, Cathy H. Wu, Pam Taylor:
Using an Artificial Neural System to Determine the Knowledge Base of an Expert System.
268-270
Electronic Edition (ACM DL) BibTeX
- Rizwan Mithani:
An Object-Oriented Data Model for Partition Processing in Distributed Databases.
271-279
Electronic Edition (ACM DL) BibTeX
- Doug Varney:
Adequacy of Checksum Algorithms for Computer Virus Detection.
280-282
Electronic Edition (ACM DL) BibTeX
- Mauro Regio, Marco Temperini:
Implementation and Manipulation of Formal Objects: An Object-Oriented View.
283-287
Electronic Edition (ACM DL) BibTeX
- Benjamin Moreland:
Knowledge-Based Understanding on a Small Machine.
288-295
Electronic Edition (ACM DL) BibTeX
- Larry Hughes:
Edmund: A Multicast Kernel for Distributed Application.
296-304
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:41:17 2009
by Michael Ley (ley@uni-trier.de)