咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 软件工程
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 guarded
  • 1 篇 caml
  • 1 篇 programming
  • 1 篇 synchronous
  • 1 篇 signal
  • 1 篇 java
  • 1 篇 多线程
  • 1 篇 临界资源
  • 1 篇 suspension模式
  • 1 篇 languages
  • 1 篇 同步
  • 1 篇 actions
  • 1 篇 死锁
  • 1 篇 functional
  • 1 篇 objective
  • 1 篇 clocked
  • 1 篇 (s-cga)

机构

  • 1 篇 state key labora...
  • 1 篇 洛阳师范学院
  • 1 篇 collaborative in...
  • 1 篇 irit-cnrs univer...
  • 1 篇 school of comput...

作者

  • 1 篇 jean-paul bodeve...
  • 1 篇 周震
  • 1 篇 曹建立
  • 1 篇 mamoun filali
  • 1 篇 zhibin yang

语言

  • 1 篇 英文
  • 1 篇 中文
检索条件"主题词=Guarded"
2 条 记 录,以下是1-10 订阅
排序:
用Java的guarded Suspension模式解决哲学家进餐问题
收藏 引用
洛阳师范学院学报 2006年 第2期25卷 91-93页
作者: 曹建立 周震 洛阳师范学院 河南洛阳471022
“哲学家进餐问题”是一个典型的同步问题.本文简要介绍了Java语言的多线程技术和guarded Suspension模式,利用该技术解决了这个问题,并给出了完整的实现代码.
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL
收藏 引用
Frontiers of Computer Science 2019年 第4期13卷 715-734页
作者: Zhibin YANG Jean-Paul BODEVEIX Mamoun FILALI School of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 211106 China State Key Laboratory of Software Development Environment Beijing 100191 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing 211106 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France
This paper presents a simple and safe compiler, called MinSIGNAL, from a subset of the synchronous dataflow language SIGNAL to C, as well as its existing en? hancements. The compiler follows a modular architecture, an... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论