Albert Mo Kim Cheng

According to our database1, Albert Mo Kim Cheng authored at least 164 papers between 1990 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Bounding execution resources for the task scheduling problem in cyber-physical systems.
SIGBED Review, 2018

P-FRP task scheduling with preemption threshold.
SIGBED Review, 2018

Approximation algorithms in partitioning real-time tasks with replications.
IJPEDS, 2018

Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

SITSA-RT: An Information Theory Inspired Real-Time Multiprocessor Scheduler.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Real-Time Security Through a TEE.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017
Toward a Practical Regularity-based Model: The Impact of Evenly Distributed Temporal Resource Partitions.
ACM Trans. Embedded Comput. Syst., 2017

Data Access Based on a Guide Map of the Underwater Wireless Sensor Network.
Sensors, 2017

Real-Time Multiprocessor Scheduling Algorithm Based on Information Theory Principles.
Embedded Systems Letters, 2017

Disk failure prediction in heterogeneous environments.
Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems, 2017

Multi-mode P-FRP Task Scheduling.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Finding a Steady State Point for Fixed Priority Independent Periodic Real-Time Tasks with Arbitrary Given Release Offsets.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Using information theory principles to schedule real-time tasks.
Proceedings of the 51st Annual Conference on Information Sciences and Systems, 2017

2016
DwarfCode: A Performance Prediction Tool for Parallel Applications.
IEEE Trans. Computers, 2016

Transparent Real-Time Task Scheduling on Temporal Resource Partitions.
IEEE Trans. Computers, 2016

Worst case response time and schedulability analysis for real-time software transactional memory-lazy conflict detection (STM-LCD).
SIGBED Review, 2016

Timing analysis of P-FRP systems.
SIGBED Review, 2016

A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform.
SIGBED Review, 2016

Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors.
Microprocessors and Microsystems - Embedded Hardware Design, 2016

LBBA: An efficient online benefit-aware multiprocessor scheduling for QoS via online choice of approximation algorithms.
Future Generation Comp. Syst., 2016

Partitioning Real-Time Tasks With Replications on Multiprocessor Embedded Systems.
Embedded Systems Letters, 2016

Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

A Scratchpad Memory-Based Execution Platform for Functional Reactive Systems and Its Static Timing Analysis.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Poster Abstract: Memory-Aware Response Time Analysis for P-FRP Tasks.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Poster Abstract: Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS Optimization.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Poster Abstract: Using Linked List in Exact Schedulability Tests for Fixed Priority Scheduling.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Poster Abstract: Preliminary Performance Evaluation of HEF Scheduling Algorithm.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

A Non-Work-Conserving Model for P-FRP Fixed Priority Scheduling.
Proceedings of the 13th International Conference on Embedded Software and Systems, 2016

P-FRP task scheduling: A survey.
Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016

2015
Solving Energy-Aware Real-Time Tasks Scheduling Problem with Shuffled Frog Leaping Algorithm on Heterogeneous Platforms.
Sensors, 2015

Scheduling Mixed-Criticality Real-Time Tasks in a Fault-Tolerant System.
IJERTCS, 2015

Dynamic load balancing technology for cloud-oriented CDN.
Comput. Sci. Inf. Syst., 2015

An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Deferred Start: A Non-Work-Conserving Model for P-FRP Fixed Priority Task Scheduling.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Using Entropy as a Parameter to Schedule Real-Time Tasks.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Schedulability Analysis for Real-Time P-FRP Tasks under Fixed Priority Scheduling.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

2014
Utilisation bounds of P-FRP tasks.
IJES, 2014

Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems.
Embedded Systems Letters, 2014

A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

An efficient scheduling algorithm of non-preemptive independent tasks for biomedical systems.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

A Temporal Partition-Based Linux CPU Scheduler.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Efficient Online Benefit-Aware Multiprocessor Scheduling Using an Online Choice of Approximation Algorithms.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Minimal Schedulability Testing Interval for Real-Time Periodic Tasks with Arbitrary Release Offsets.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

An undergraduate cyber-physical systems course.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013
Autonomic computing architecture for real-time medical application running on virtual private cloud infrastructures.
SIGBED Review, 2013

An auto-scaling mechanism for virtual resources to support mobile, pervasive, real-time healthcare applications in cloud computing.
IEEE Network, 2013

Feasibility interval for the transactional event handlers of P-FRP.
J. Comput. Syst. Sci., 2013

Towards optimal priority assignments for the transactional event handlers of P-FRP.
Proceedings of the Research in Adaptive and Convergent Systems, 2013

Variable voltage scheduling with the priority-based functional reactive programming language.
Proceedings of the Research in Adaptive and Convergent Systems, 2013

2012
An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform.
IJGUC, 2012

Toward an Optimal Power-Aware Scheduling Technique.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Static Approximation Algorithms for Regularity-based Resource Partitioning.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Regularity-Based Partitioning of Uniform Resources in Real-Time Systems.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Timing Analysis of Small Aircraft Transportation System (SATS).
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Worst case response time for real-time software transactional memory.
Proceedings of the Research in Applied Computation Symposium, 2012

Response time bounds for event handlers in the priority based functional reactive programming (P-FRP) paradigm.
Proceedings of the Research in Applied Computation Symposium, 2012

Time petri nets for schedulability analysis of the transactional event handlers of P-FRP.
Proceedings of the Research in Applied Computation Symposium, 2012

Improving the QoS of Web Applications across Multiple Virtual Machines in Cloud Computing Environment.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Support for power efficient mobile video playback on simultaneous hybrid display.
Proceedings of the IEEE 10th Symposium on Embedded Systems for Real-time Multimedia, 2012

A Queueing Theory Based Approach to QoS-Driven Adaptation for Service Discovery over MANETs.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

Performance Prediction for MPI Parallel Jobs.
Proceedings of the 2012 IEEE International Conference on Cluster Computing Workshops, 2012

Energy efficient hybrid display and predictive models for embedded and mobile systems.
Proceedings of the 15th International Conference on Compilers, 2012

2011
A Fair Transmission Opportunity by Detecting and Punishing the Malicious Wireless Stations in IEEE 802.11e EDCA Network.
IEEE Systems Journal, 2011

Energy reduction for scheduling a set of multiple feasible interval jobs.
Journal of Systems Architecture - Embedded Systems Design, 2011

Assigning real-time tasks to heterogeneous processors by applying ant colony optimization.
J. Parallel Distrib. Comput., 2011

Scheduling Conditions for Real-Time Software Transactional Memory.
Embedded Systems Letters, 2011

Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective.
Embedded Systems Letters, 2011

Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration.
Proceedings of the IEEE 10th International Conference on Trust, 2011

Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata.
Proceedings of the IEEE 10th International Conference on Trust, 2011

A Sufficient Schedulability Test for Real-Time Software Transactional Memory.
Proceedings of the IEEE 10th International Conference on Trust, 2011

Feasibility Interval for the Transactional Event Handlers of P-FRP.
Proceedings of the IEEE 10th International Conference on Trust, 2011

Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm.
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

An Extensible Framework for Real-Time Task Generation and Simulation.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Determining Actual Response Time in P-FRP.
Proceedings of the Practical Aspects of Declarative Languages, 2011

Determining Actual Response Time in P-FRP Using Idle-Period Game Board.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Improving QoS for ECG Data Transmission with Enhanced Admission Control in EDCA-Based WLANs.
Proceedings of the Global Communications Conference, 2011

Generating Bounded Task Periods for Experimental Schedulability Analysis.
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

A Utilization Based Sufficient Condition for P-FRP.
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

Partitioned Scheduling of P-FRP in Symmetric Homogenous Multiprocessors.
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

2010
An Efficient Scheduling Algorithm for the Multiprocessor Platform.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller.
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

Optimal Scheduling of Urgent Preemptive Tasks.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Real-energy: a new framework and a case study to evaluate power-aware real-time scheduling algorithms.
Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010

On the Toyota's Throttle Control Problem.
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009
A multiplayer real-time game protocol architecture for reducing network latency.
IEEE Trans. Consumer Electronics, 2009

Efficient Verification and Optimization of Real-Time Logic-Specified Systems.
IEEE Trans. Computers, 2009

Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Power-Aware Scheduling for Multiple Feasible Interval Jobs.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Real-time Task Assignment with Replication on Multiprocessor Platforms.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Real-Time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Embedded Operating Systems.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A Dynamic Voltage Scaling Algorithm for Dynamic Workloads.
Signal Processing Systems, 2008

Maximizing job benefits on multiprocessor systems using a greedy algorithm.
SIGBED Review, 2008

Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies.
Proceedings of the SYNASC 2008, 2008

Real-time synchronization on distributed architecture with Ada-2005.
Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, 2008

Real-Time Task Assignment in Rechargeable Multiprocessor Systems.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Cyber-Physical Medical and Medication Systems.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

On-Line Burst Header Scheduling in Optical Burst Switching Networks.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007
Improving Web Server Performance with Adaptive Proxy Caching in Soft Real-time Mobile Applications.
VLSI Signal Processing, 2007

Priority-driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications.
VLSI Signal Processing, 2007

Verifying Linear Real-Time Logic Specifications.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

ANDES: an Anomaly Detection System for Wireless Sensor Networks.
Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007

2006
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.
IEEE Trans. Computers, 2006

Predictive thermal management for hard real-time tasks.
SIGBED Review, 2006

A survey of formal verification methods and tools for embedded and real-time systems.
IJES, 2006

Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Maximizing Guaranteed QoS in (m, k)-firm Real-time Systems.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Optimization of Real-Time Systems Timing Specifications.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Multisite co-allocation algorithms for computational grid.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Reducing Encoder Bit-Rate Variation in MPEG Video.
VLSI Signal Processing, 2005

A dynamic-mode DVS algorithm under dynamic workloads.
SIGBED Review, 2005

Introduction to the special issue.
SIGBED Review, 2005

Applying Ant Colony Optimization to the partitioned scheduling problem for heterogeneous multiprocessors.
SIGBED Review, 2005

Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

2004
Optimizing Real-Time Equational Rule-Based Systems.
IEEE Trans. Software Eng., 2004

Shortening Matching Time in OPS5 Production Systems.
IEEE Trans. Software Eng., 2004

A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems.
IEEE Trans. Knowl. Data Eng., 2004

Self-Stabilizing Real-Time OPS5 Production Systems.
IEEE Trans. Knowl. Data Eng., 2004

What's Real in "Real-Time Control Systems"? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics.
Proceedings of the ICINCO 2004, 2004

A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
Real-Time Traffic Scheduling and Routing in Packet-Switched Networks Using a Least-Laxity-First Strategy.
VLSI Signal Processing, 2003

Real-Time Scheduling of Hierarchical Reward-Based Tasks.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

2002
HAL: A Faster Match Algorithm.
IEEE Trans. Knowl. Data Eng., 2002

Real-time systems - scheduling, analysis, and verification.
Wiley, ISBN: 978-0-471-18406-5, 2002

2001
A Context Switch Reduction Technique for Real-time Task Synchronization.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Reducing Matching Time for OPS5 Production Systems.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
Guest Editors' Introduction: Workshop on Software and Performance.
IEEE Trans. Software Eng., 2000

Guest Editors' Introduction-Workshop on Software and Performance.
IEEE Trans. Software Eng., 2000

Response Time Analysis of OPS5 Production Systems.
IEEE Trans. Knowl. Data Eng., 2000

Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency.
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

Load-Balanced Routing and Scheduling for Real-Time Traffic in Packet-Switch Networks.
Proceedings of the Proceedings 27th Conference on Local Computer Networks, 2000

Bounded-Response-Time Self-Stabilizing OPS5 Production Systems.
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Scheduling and Routing of Real-Time Multimedia Traffic in Packet-Switched Networks.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System.
Proceedings of the ICEIS 2000, 2000

1999
Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics.
Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999

Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Analysis and Verification of Real-Time Systems.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

1998
Optimization of Rule-Based Systems Using State Space Graphs.
IEEE Trans. Knowl. Data Eng., 1998

1997
An approach for imprecise transmission of TIFF image files through congested real-time ATM networks.
Proceedings of the 22nd IEEE Conference on Local Computer Networks (LCN '97), 1997

An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Reducing Match Time Variance in Production Systems with HAL.
Proceedings of the Sixth International Conference on Information and Knowledge Management (CIKM'97), 1997

1996
Parallel and Distributed Real-Time Systems (Abstract).
Proceedings of the Fourth International Conference on Parallel and Distributed Information Systems, 1996

Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures.
Proceedings of the 1996 International Conference on Parallel Processing, 1996

Measuring the Structural Complexity of OPS5 Rule-Based Programs.
Proceedings of the COMPSAC '96, 1996

1995
Response Time Analysis of EQL Real-Time Rule-Based Systems.
IEEE Trans. Knowl. Data Eng., 1995

Applying imprecise algorithms to real-time image and video transmissio.
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

An Imprecise Real-Time Video Transmission Algorithm.
Proceedings of the Image Analysis Applications and Computer Graphics, 1995

Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution.
Proceedings of the 1995 International Conference on Parallel Processing, 1995

1994
Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs.
Proceedings of the 1994 International Conference on Parallel Processing, 1994

Termination Analysis of OPS5 Expert Systems.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.
IEEE Trans. Software Eng., 1993

A New Complexity Metric for OPS5 Rule-Based Systems.
Proceedings of the SEKE'93, 1993

Parallel Execution of Real-Time Rule-Based Systems.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

1992
Self-Stabilizing Real-Time Rule-Based Systems.
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

1991
Implementing a tool for timing analysis of real-time production systems.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

1990
MRL: A Real-Time Rule-Based Production System.
Proceedings of the Real-Time Systems Symposium, 1990


  Loading...