咨询与建议

限定检索结果

文献类型

  • 11 篇 期刊文献
  • 8 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 16 篇 工学
    • 10 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 4 篇 电气工程
    • 4 篇 控制科学与工程
    • 3 篇 仪器科学与技术
    • 2 篇 信息与通信工程
    • 1 篇 石油与天然气工程
  • 3 篇 理学
    • 2 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...

主题

  • 19 篇 process-oriented...
  • 6 篇 category theory
  • 5 篇 verification
  • 4 篇 erasmus
  • 4 篇 concurrent syste...
  • 4 篇 control software
  • 4 篇 csp
  • 4 篇 concurrency
  • 2 篇 syntax
  • 2 篇 embedded systems
  • 2 篇 failures
  • 2 篇 rain
  • 2 篇 semantics
  • 1 篇 plant simulators
  • 1 篇 microcontroller
  • 1 篇 test-driven mode...
  • 1 篇 plc software dev...
  • 1 篇 automation
  • 1 篇 model checking
  • 1 篇 iec 61131-3 stan...

机构

  • 3 篇 department of co...
  • 3 篇 concordia univ d...
  • 2 篇 russian acad sci...
  • 2 篇 univ kent comp l...
  • 1 篇 katholieke univ ...
  • 1 篇 russian acad sci...
  • 1 篇 ras inst automat...
  • 1 篇 novosibirsk stat...
  • 1 篇 college of compu...
  • 1 篇 shandong univ te...
  • 1 篇 institut für inf...
  • 1 篇 inst automat & e...
  • 1 篇 univ copenhagen ...
  • 1 篇 ras sb inst auto...
  • 1 篇 lulea univ techn...
  • 1 篇 univ nevada sch ...
  • 1 篇 ershov inst info...
  • 1 篇 ibm canada markh...
  • 1 篇 russian acad sci...
  • 1 篇 novosibirsk stat...

作者

  • 3 篇 ormandjieva olga
  • 3 篇 zyubin v. e.
  • 3 篇 olga ormandjieva
  • 3 篇 zhu ming
  • 3 篇 peter grogono
  • 3 篇 ming zhu
  • 3 篇 zyubin vladimir ...
  • 3 篇 grogono peter
  • 3 篇 garanina n. o.
  • 2 篇 garanina natalia...
  • 2 篇 anureev i. s.
  • 2 篇 anureev igor s.
  • 2 篇 rozov andrei s.
  • 2 篇 brown neil
  • 1 篇 agnarsson snorri
  • 1 篇 pedersen jan b.
  • 1 篇 staroletov s. m.
  • 1 篇 hildebrandt thom...
  • 1 篇 michael hanus
  • 1 篇 chernenko i. m.

语言

  • 19 篇 英文
检索条件"主题词=process-oriented programming"
19 条 记 录,以下是11-20 订阅
排序:
Parallel programming in Morpho
Parallel Programming in Morpho
收藏 引用
10th Nordic International Conference on Applied Parallel Computing - State of the Art in Scientific and Parallel Computing (PARA)
作者: Agnarsson, Snorri Univ Iceland Fac Engn & Nat Sci IS-101 Reykjavik Iceland
Morpho is a multi-paradigm programming language developed at the University of Iceland that supports parallel programming using both fibers (coroutines) and concurrently executing tasks (threads). Communication betwee... 详细信息
来源: 评论
Solving the Santa Claus Problem: a Comparison of Various Concurrent programming Techniques
收藏 引用
31st Communicating process Architectures Conference
作者: Hurt, Jason Pedersen, Jan B. Univ Nevada Sch Comp Sci Reno NV 89557 USA
The Santa Claus problem provides an excellent exercise in concurrent programming and can be used to show the simplicity or complexity of solving problems using a particular set of concurrency mechanisms and offers a c... 详细信息
来源: 评论
Using Category Theory to Verify Implementation Against Design in Concurrent Systems  6th
Using Category Theory to Verify Implementation Against Desig...
收藏 引用
6th International Conference on Ambient Systems, Networks and Technologies (ANT) / 5th International Conference on Sustainable Energy Information Technology (SEIT)
作者: Zhu, Ming Grogono, Peter Ormandjieva, Olga Concordia Univ Dept Comp Sci & Software Engn Montreal PQ Canada
The research has shown that process-oriented programming languages provide a suitable means for developing concurrent systems. However, in the development of a concurrent system, there is a challenge to manage consist... 详细信息
来源: 评论
Using Failures and Category Theory to Verify process Communications between Design and Implementation of Concurrent Systems  7
Using Failures and Category Theory to Verify Process Communi...
收藏 引用
7th International Conference on Ambient Systems, Networks and Technologies (ANT) / 6th International Conference on Sustainable Energy Information Technology (SEIT)
作者: Zhu, Ming Grogono, Peter Ormandjieva, Olga Kuang, Heng Concordia Univ Dept Comp Sci & Software Engn Montreal PQ Canada IBM Canada Markham ON Canada
The process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency of process communications between the design and the implementation.... 详细信息
来源: 评论
Rain VM: Portable Concurrency through Managing Code
Rain VM: Portable Concurrency through Managing Code
收藏 引用
29th WoTUG Technical Meeting 2006
作者: Brown, Neil Univ Kent Comp Lab Canterbury CT2 7NF Kent England
A long-running recent trend in computer programming is the growth in popularity of virtual machines. However, few have included good support for concurrency - a natural mechanism in the Rain programming language. This... 详细信息
来源: 评论
Exploring Relationships between Syntax and Semantics of a process-oriented Language by Category Theory
收藏 引用
Procedia Computer Science 2017年 109卷 241-248页
作者: Ming Zhu Peter Grogono Olga Ormandjieva College of Computer Science and Technology Shandong University of Technology Zibo China Department of Computer Science and Software Engineering Concordia University Montreal Canada
Recent research findings demonstrate that process-oriented programming languages provide a suitable means to develop concurrent systems. In this paper, we propose to use mandatory/optional trace sets to model the sema... 详细信息
来源: 评论
Towards Translating Embedded Curry to C 1
收藏 引用
Electronic Notes in Theoretical Computer Science 2003年 第3期86卷 35-51页
作者: Michael Hanus Klaus Höppner Frank Huch Institut für Informatik CAU Kiel D-24098 Kiel Germany
This paper deals with a framework to program autonomous robots in the declarative multi-paradigm language Curry. Our goal is to apply a high-level declarative programming language for the programming of embedded syste... 详细信息
来源: 评论
Using Category Theory to Verify Implementation Against Design in Concurrent Systems
收藏 引用
Procedia Computer Science 2015年 52卷 530-537页
作者: Ming Zhu Peter Grogono Olga Ormandjieva Department of Computer Science and Software Engineering Concordia University Montreal Canada
The research has shown that process-oriented programming languages provide a suitable means for developing concurrent systems. However, in the development of a concurrent system, there is a challenge to manage consist... 详细信息
来源: 评论
Using Failures and Category Theory to Verify process Communications between Design and Implementation of Concurrent Systems
收藏 引用
Procedia Computer Science 2016年 83卷 700-704页
作者: Ming Zhu Peter Grogono Olga Ormandjieva Heng Kuang Department of Computer Science and Software Engineering Concordia University Montreal Canada IBM Canada Markham Canada
The process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency of process communications between the design and the implementation.... 详细信息
来源: 评论