首页> 外文OA文献 >Time, clocks and committed choice parallelism for logic programming of real time computations

【2h】

Time, clocks and committed choice parallelism for logic programming of real time computations

机译：时间，时钟和确定的选择并行性，用于实时计算的逻辑编程

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Elshiewy Nabiel A.;
展开▼
作者单位

展开▼
年度 1986
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Real number computation with committed choice logic programming languages [J] . Tsuiki H Journal of Logic and Algebraic Programming . 2005,第1期

机译：使用承诺选择逻辑编程语言进行实数计算
2. Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism [J] . Muthukumar K, Garcia de la Banda M, Hermenegildo M, The Journal of Logic Programming . 1999,第2期

机译：逻辑程序的自动编译时并行化，用于受限，目标级别，独立和并行
3. Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software [J] . Yajun WU, Satoshi YAMANE IEICE transactions on information and systems . 2020,第4期

机译：模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
4. RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach [C] . Jalili, Saeed, MirzaAghaei, . 2007

机译：RVERL：使用基于事件的实时逻辑方法对实时程序和反应性程序进行运行时验证
5. Parallelism in real-time computation. [D] . Nagy, Marius. 2002

机译：实时计算中的并行性。
6. The endogenous circadian clock programs animals to eat at certain times of the 24-hour day: what if we ignore the clock? [O] . Peng Jiang, Fred W. Turek -1

机译：内源性昼夜节律时钟使动物在一天的24小时的某些时间进食：如果我们忽略时钟该怎么办？
7. Real number computation with committed choice logic programming languages [O] . Tsuiki Hideki 2005

机译：使用承诺选择逻辑编程语言进行实数计算

Time, clocks and committed choice parallelism for logic programming of real time computations

著录项

引文网络

相似文献

相关主题

期刊订阅