Keynote talk II: Multiform logical time for Me/Mo-codesign

2016 ◽  
Author(s):  
Robert de Simone
Keyword(s):  
Logical Time

Soundness preservation in composed logical time workflow nets

2012 ◽  
Vol 6 (1) ◽  
pp. 95-113 ◽  
Author(s):  
Wei Liu ◽  
YuYue Du ◽  
Chun Yan
Keyword(s):  
Workflow Nets ◽  
Logical Time

Global and logical time in distributed algorithms

1985 ◽  
Vol 20 (4) ◽  
pp. 189-194 ◽  
Author(s):  
Carroll Morgan
Keyword(s):  
Distributed Algorithms ◽  
Logical Time

Weaning Time

PEDIATRICS ◽  
1984 ◽  
Vol 74 (6) ◽  
pp. 1131-1131
Author(s):  
HARRY F. LAWS
Keyword(s):  
Caloric Intake ◽  
Milk Intake ◽  
Cow’S Milk ◽  
Early Age ◽  
Milk Consumption ◽  
Cow's Milk ◽  
Solid Foods ◽  
Logical Time ◽  
To Come

To the Editor.— There seems to be a great deal of argument as to when a child should be switched from breast/formula to cow's milk. Supportive data are difficult to come by for an exact age, although recommendations abound. The consensus appears to favor the concept that excess cow's milk can lead to problems, especially if started at a very early age. Here is a method that I have been using in my practice for the last few years: Observing that weaning from the breast/bottle to a cup results in decreased milk consumption and overall caloric intake becomes supplemented with solid foods, this weaning time becomes a logical time to suggest starting cow's milk (as a decreased intake, decreases the "risks" associated with cow's milk intake).

The Latency Period as Logical Time

2012 ◽  
Vol 13 (1) ◽  
pp. 44
Author(s):  
Julie Ahmad
Keyword(s):  
Latency Period ◽  
Logical Time

Logical Time in Asynchronous Distributed Systems

2013 ◽  
pp. 149-188
Author(s):  
Michel Raynal
Keyword(s):  
Distributed Systems ◽  
Logical Time

scholarly journals Combing the Communication Hairball: Visualizing Parallel Execution Traces using Logical Time

2014 ◽  
Vol 20 (12) ◽  
pp. 2349-2358 ◽  
Author(s):  
Katherine E. Isaacs ◽  
Peer-Timo Bremer ◽  
Ilir Jusufi ◽  
Todd Gamblin ◽  
Abhinav Bhatele ◽  
...  
Keyword(s):  
Parallel Execution ◽  
Execution Traces ◽  
Logical Time

Times Square – Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages

2015 ◽  
Vol 84 (1) ◽  
pp. 163-180
Author(s):  
Heejong Park ◽  
Zhenmin Li ◽  
Avinash Malik ◽  
Zoran Salcic
Keyword(s):  
Real Time ◽  
Synchronous Languages ◽  
Times Square ◽  
Logical Time

A Study on Design of Communication Protocol for CPS Simulation

2012 ◽  
Vol 488-489 ◽  
pp. 881-885
Author(s):  
Ji Yeon Kim ◽  
Hyung Jong Kim ◽  
Jin Myoung Kim ◽  
Won Tae Kim
Keyword(s):  
Data Transmission ◽  
Large Scale ◽  
Communication Protocol ◽  
Simulation Models ◽  
Middle Layer ◽  
Computing System ◽  
Physical Systems ◽  
Logical Time ◽  
Operating Environments ◽  
Two Systems

The term “cyber-physical system (CPS)” refers to a computing system that integrates physical processes and computational devices via a network. There are many physical and computational devices in a CPS, which can function automatically through inter-device interactions. Because a CPS is usually used for large-scale complex systems, to ensure reliable CPS operation, its design and execution should be verified through simulations. For CPS simulation, a communication protocol should be established for data transmission between physical systems and the corresponding simulation models during the simulation, including control algorithms for regulating differences between the two systems. First, because physical systems and simulation models are advanced in real time and logical time, respectively, time regulation methods should be included in the control algorithm. Second, to simulate various types of physical systems, a flexible simulation environment, independent of the operating environment such as the type of communication middleware, is required. In this paper, we propose a communication protocol for data transmission between physical systems and simulation models via a middle layer that contains the policies for handling the two different clocks of each system: virtual and real. The proposed communication protocol can be used not only for communication between the two systems but also for overcoming the problems caused by the differences in their operating environments. The contribution of this work is in that it defines a communication protocol and proposes methods for controlling different types of systems.

Sign in / Sign up

Export Citation Format

Share Document