Tim Whiting
YOU?
Author Swipe
View article: Context-Sensitive Demand-Driven Control-Flow Analysis
Context-Sensitive Demand-Driven Control-Flow Analysis Open
By decoupling and decomposing control flows, demand control-flow analysis (CFA) resolves only the flow segments determined necessary to produce a specified control-flow fact. It therefore presents a more flexible interface and pricing mode…
View article: A Comparison of Three Types of Computer-Based Procedures: An Experiment Using the Rancor Microworld Simulator
A Comparison of Three Types of Computer-Based Procedures: An Experiment Using the Rancor Microworld Simulator Open
The nuclear power industry has historically used paper-based procedures, but a shift towards computer-based procedures (CBPs) has the potential to reduce human errors, alleviate mental workload, and improve work performance. Twenty-seven p…
View article: A Method for Designing Autonomous Robots that Know Their Limits
A Method for Designing Autonomous Robots that Know Their Limits Open
For assisting humans in their daily lives, robots need to perform long-horizon tasks, such as tidying up a room or preparing a meal. One effective strategy for handling a long-horizon task is to break it down into short-horizon subgoals, t…