Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
163 | Albert Mo Kim Cheng, Hsiu-yen Tsai |
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(2), pp. 271-288, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, expert systems, Timing analysis, response time, rule-based systems, production systems, OPS5, KBS |
102 | Albert Mo Kim Cheng |
Measuring the Structural Complexity of OPS5 Rule-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 522-527, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
89 | Albert Mo Kim Cheng, Seiya Fujii |
Self-Stabilizing Real-Time OPS5 Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(12), pp. 1543-1554, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, real-time, knowledge-based systems, expert systems, self-stabilization, Rule-based systems, production systems, OPS5 |
89 | Albert Mo Kim Cheng, Seiya Fujii |
Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 399-404, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time systems, self-stabilization, timing analysis, rule-based systems, production systems, OPS5 |
65 | Albert Mo Kim Cheng, Jeng-Rung Chen |
Response Time Analysis of OPS5 Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(3), pp. 391-409, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time decision systems, special forms, verification, static analysis, response time, Computer-aided software engineering, rule-based programs, OPS |
52 | Daniel D. Corkill |
Embedable Problem-Solving Architectures: A Study of Integrating OPS5 with UMass GBB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(1), pp. 18-24, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
integrating OPS5, UMass GBB, problem-solving architecture, problem-solvers, blackboard paradigm, heterogeneous problem-solving representations, individual knowledge sources, public-domain version, integral KS language, knowledge representation, expert systems, embedding |
42 | Gruia-Catalin Roman, Rose F. Gamble, William E. Ball |
Formal Derivation of Rule-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(3), pp. 277-296, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement |
42 | Rostam Joobbani, Daniel P. Siewiorek |
WEAVER: a knowledge-based routing expert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 266-272, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
OPS5 |
37 | Mary Micco |
An undergraduate curriculum in expert systems design or knowledge engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 36-39, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Jeong A. Kang, Albert Mo Kim Cheng |
Shortening Matching Time in OPS5 Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(7), pp. 448-457, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Jeong A. Kang, Albert Mo Kim Cheng |
Reducing Matching Time for OPS5 Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 429-, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | David I. Gold, Robert T. Plant |
Towards the formal specification of an OPS5 production system architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 9(8), pp. 739-768, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Hsiu-yen Tsai, Albert Mo Kim Cheng |
Termination Analysis of OPS5 Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1., pp. 193-198, 1994, AAAI Press / The MIT Press, 0-262-61102-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
28 | Mohammed Hosni Odeh, Julian A. Padget |
Object-Oriented Execution of OPS5 Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1993, Washington, DC, USA, September 26 - October 1, 1993., pp. 178-190, 1993, ACM, 0-89791-587-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Albert Mo Kim Cheng |
A New Complexity Metric for OPS5 Rule-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA, pp. 244-247, 1993, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
28 | Mohammed Hosni Odeh |
Concurrent object-oriented execution of OPS5 production systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
28 | Andrea Sohn, Jean-Luc Gaudiot, Michel Guyot |
Parallelism Profiling of an Ops5 Production System Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 534-543, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
28 | G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala |
Verification of OPS5-Based AI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAI ![In: Third Scandinavian Conference on Artificial Intelligence, SCAI 1991, Roskilde, Denmark, May 21-24, 1991, Proceedings., pp. 158-169, 1991, IOS Press, 90-5199-056-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
28 | G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala |
A Methodology for Systematic Verification of OPS5-Based AI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991, pp. 3-8, 1991, Morgan Kaufmann, 1-55860-160-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
28 | Salvatore Gaglio, Mauro Giacomini, A. Ponassi, Carmelina Ruggiero |
An OPS5 implementation of qualitative reasoning about physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Artif. Intell. ![In: Appl. Artif. Intell. 4(1), pp. 37-65, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Timothy L. Trowbridge |
Book review: Rule Based Programming with OPS5 by Thomas A. Cooper and Nancy Wogrin (Morgan Kaufmann Pubtishers). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Newsl. ![In: SIGART Newsl. 109, pp. 14-15, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Anoop Gupta, Charles Forgy |
Static and Run-Time Characteristics of OPS5 Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 7(1), pp. 64-95, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Michael A. Kelly, Rudolph E. Seviora |
Performance of OPS5 matching on CUPID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 27(1-5), pp. 397-404, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Anoop Gupta, Milind Tambe, Dirk Kalp, Charles Forgy, Allen Newell |
Parallel implementation of OPS5 on the encore multiprocessor: Results and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 17(2), pp. 95-124, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Jinoos Hosseini, Sasan Baharaeen, Xitong Zheng |
Design of a knowledge based system for inventory control, an OPS5 implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Eng. ![In: Artif. Intell. Eng. 3(1), pp. 39-43, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Anoop Gupta, Charles Forgy, Dirk Kalp, Allen Newell, Milind Tambe |
Parallel OPS5 on the Encore Multimax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (1) ![In: Proceedings of the International Conference on Parallel Processing, ICPP '88, The Pennsylvania State University, University Park, PA, USA, August 1988. Volume 1: Architecture., pp. 71-280, 1988, Pennsylvania State University Press, 0-271-00654-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
28 | Philip L. Butler, J. D. Allen Jr., Donald W. Bouldin |
Parallel Architecture for OPS5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 15th Annual International Symposium on Computer Architecture, Honolulu, Hawaii, USA, May-June 1988, pp. 452-457, 1988, IEEE Computer Society, 0-8186-0861-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Reinhard Krickhahn, Bernd Radig |
Wissensrepräsentationssprache OPS5 - Sprachbeschreibung und Einführung in die regelorientierte Programmierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1987 |
RDF |
|
28 | C. Koa, C. J. Hwang |
A dietary recommendation expert system using OPS5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FJCC ![In: Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, pp. 658-663, 1987, ACM, 0-8186-0811-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Bruce Hillyer, David Elliot Shaw |
Execution of OPS5 Production Systems on a Massively Parallel Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 3(2), pp. 236-268, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Giorgio Bruno, Antonia Elia |
Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986., pp. 35-40, 1986, North-Holland/IFIP, 0-444-70077-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
28 | Don Rosenthal |
Adding meta rules to OPS5 a proposed extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 20(10), pp. 79-86, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
28 | Nancy Martin |
Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. CMG Conference ![In: Eleventh International Computer Measurement Group Conference, Dallas, TX, USA, December 9-13, 1985, Proceedings, pp. 829-832, 1985, Computer Measurement Group. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
24 | Lane Warshaw, Daniel P. Miranker |
A Case Study of Venus and a Declarative Basis for Rule Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12 - 16, 1996, Rockville, Maryland, USA, pp. 317-325, 1996, ACM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
OPS5 |
24 | Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid |
Coupling Production Systems and Database Systems: A Homogeneous Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 240-256, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
large rule bases, condition elements, production rule-based systems, set-oriented approach, DBCond, special data structure, DBRete, DBMS implementation, Rete match algorithm, production rule language OPS5, DBQuery, parallelizable, relational databases, knowledge based systems, deductive databases, set theory, matching algorithm, relational database management systems, relational structures, parallel computing environments |
24 | Daniel P. Miranker, Bernie J. Lofaso |
The Organization and Performance of a TREAT-Based Production System Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(1), pp. 3-10, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
TREAT-based production system compiler, OPS5 production system programs, performance, expert systems, LISP, organization, program compilers, relational algebra, list processing |
24 | Douglas N. Gordin, Alexander J. Pasik |
Set-Oriented Constructs: From Rete Rule Bases to Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, Denver, Colorado, USA, May 29-31, 1991., pp. 60-67, 1991, ACM Press, 978-0-89791-425-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
OPS5 |
24 | Gerald L. Atkinson |
Technology Transfer Utilizing Automated Knowledge Acquisition Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 1122-1131, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
OPS5 |
24 | Ron LeMaster |
ALEX an Expert System for Truck Loading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 638-644, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
OPS5 |
24 | Wilson A. Harvey, Dirk Kalp, Milind Tambe, David M. McKeown, Allen Newell |
The Effectiveness of Task-Level Parallelism for High-Level Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 156-167, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
OPS5 |
24 | Anoop Gupta, Charles Forgy, Allen Newell |
High-Speed Implementations of Rule-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 7(2), pp. 119-146, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
OPS5 |
18 | Nick Bassiliades, Ioannis P. Vlahavas |
R-DEVICE: A Deductive RDF Rule Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings, pp. 65-80, 2004, Springer, 3-540-23842-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Zenon A. Sosnowski |
Chaining of Fuzzy Rules in RETE Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings, pp. 895-903, 2001, Springer, 3-540-42732-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Eun Gyung Kim |
A Study on Developing a Distributed Problem Solving System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 122-127, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Network Linda, Communication, Cooperation, Distributed Artificial Intelligence, Distributed Problem Solving, Virtual Shared Memory |
18 | Verlyn M. Johnson, John V. Carlis |
Sharing and Reusing Rules-A Feature Comparison of Five Expert System Shells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 9(3), pp. 3-17, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai |
A modified transition tour protocol test method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 4(3), pp. 257-300, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
protocol testing and formal modeling, Computer networks, protocol engineering |
18 | Don S. Batory, Jeff Thomas, Marty Sirkin |
Reengineering a Complex Application Using a Scalable Data Structure Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994, pp. 111-120, 1994, ACM, 978-0-89791-691-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel |
Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 32-48, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Petri net implementation, Rule based systems, Matching algorithms, Higher-level net models |
18 | Fu-Chiung Cheng, Huei-Huang Chen, Jiin-Hwai Perng |
Parallel execution on production systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 463-470, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid |
Data Intensive Production Systems: The DIPS Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 18(3), pp. 52-57, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Chantal Robach, Daniel Lutoff, Nouar Garcia |
Knowledge-based functional specification of test and maintenance programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(11), pp. 1145-1156, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Zvi M. Kedem, Alexander Tuzhilin |
Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 336-346, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Anant Agarwal, Anoop Gupta |
Memory-Reference Characteristics of Multiprocessor Applications under MACH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Santa Fe, New Mexico, USA, May 24-27, 1988, pp. 215-225, 1988, ACM, 0-89791-254-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
VAX |
18 | Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid |
Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 1-3, 1988., pp. 404-412, 1988, ACM Press, 978-0-89791-268-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Barbara J. Meier |
ACE: A Color Expert System for User Interface Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 1st Annual ACM Symposium on User Interface Software and Technology, UIST 1988, Alberta, Canada, October 17-19, 1988, pp. 117-128, 1988, ACM, 0-89791-283-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Milind Tambe, Dirk Kalp, Anoop Gupta, Charles Forgy, Brian Milnes, Allen Newell |
Soar/PSM-E: Investigating Match Parallelism in a Learning Production System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPOPP/PPEALS ![In: Proceedings of the ACM/SIGPLAN PPEALS 1988, Parallel Programming: Experience with Applications, Languages and Systems, New Haven, Connecticut, USA, July 19-21, 1988, pp. 146-160, 1988, ACM, 0-89791-276-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Soar |
18 | Esko Nuutila, Juha Kuusela, Markku Tamminen, Jukka Veilahti, Jari Arkko, Nassim Bouteldja |
XC - A Language for Embedded Rule Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(9), pp. 23-32, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
C++ |
18 | Kathleen O'Neil Lossau |
KAOS (abstract only): a knowledge aided operator's system for the VM operator's console. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 412, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Toramatsu Shintani |
An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 284-297, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda |
KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 22-33, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Krishna M. Uppuluri, Walter G. Rudd |
BUGID (abstract only): a soybean insect pest identifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 420, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|