Linear Time Memory Consistency Verification

2012 ◽  
Vol 61 (4) ◽  
pp. 502-516 ◽  
Author(s):  
Weiwu Hu ◽  
Yunji Chen ◽  
Tianshi Chen ◽  
Cheng Qian ◽  
Lei Li
Keyword(s):  
Linear Time ◽  
Memory Consistency ◽  
Consistency Verification

Program Regularization in Memory Consistency Verification

2012 ◽  
Vol 23 (11) ◽  
pp. 2163-2174 ◽  
Author(s):  
Yunji Chen ◽  
Lei Li ◽  
Tianshi Chen ◽  
Ling Li ◽  
Lei Wang ◽  
...  
Keyword(s):  
Memory Consistency ◽  
Consistency Verification

Memory Consistency Verification of Chip Multi-Processor

2010 ◽  
Vol 21 (4) ◽  
pp. 863-874 ◽  
Author(s):  
Peng-Yu WANG ◽  
Yun-Ji CHEN ◽  
Hai-Hua SHEN ◽  
Tian-Shi CHEN ◽  
Heng ZHANG
Keyword(s):  
Memory Consistency ◽  
Consistency Verification

A Real Time Control Architecture for Continuously Managing Patients in a Care Unit

1995 ◽  
Vol 34 (05) ◽  
pp. 475-488
Author(s):  
B. Seroussi ◽  
J. F. Boisvieux ◽  
V. Morice
Keyword(s):  
Real Time ◽  
Linear Time ◽  
Treatment Plan ◽  
Control Architecture ◽  
Real Time Control ◽  
Time Representation ◽  
Time Control ◽  
Continuous Support ◽  
Definition Of ◽  
Computerized System

Abstract:The monitoring and treatment of patients in a care unit is a complex task in which even the most experienced clinicians can make errors. A hemato-oncology department in which patients undergo chemotherapy asked for a computerized system able to provide intelligent and continuous support in this task. One issue in building such a system is the definition of a control architecture able to manage, in real time, a treatment plan containing prescriptions and protocols in which temporal constraints are expressed in various ways, that is, which supervises the treatment, including controlling the timely execution of prescriptions and suggesting modifications to the plan according to the patient’s evolving condition. The system to solve these issues, called SEPIA, has to manage the dynamic, processes involved in patient care. Its role is to generate, in real time, commands for the patient’s care (execution of tests, administration of drugs) from a plan, and to monitor the patient’s state so that it may propose actions updating the plan. The necessity of an explicit time representation is shown. We propose using a linear time structure towards the past, with precise and absolute dates, open towards the future, and with imprecise and relative dates. Temporal relative scales are introduced to facilitate knowledge representation and access.

Sign in / Sign up

Export Citation Format

Share Document