咨询与建议

限定检索结果

文献类型

  • 42 篇 期刊文献
  • 27 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 67 篇 工学
    • 56 篇 计算机科学与技术...
    • 34 篇 软件工程
    • 15 篇 电气工程
    • 6 篇 控制科学与工程
    • 5 篇 信息与通信工程
    • 1 篇 机械工程
    • 1 篇 测绘科学与技术
  • 6 篇 理学
    • 6 篇 数学
    • 2 篇 统计学(可授理学、...
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 69 篇 synchronous prog...
  • 13 篇 reactive systems
  • 7 篇 esterel
  • 5 篇 embedded softwar...
  • 5 篇 virtual machine
  • 4 篇 runtime enforcem...
  • 4 篇 determinism
  • 4 篇 cyber-physical s...
  • 4 篇 formal verificat...
  • 4 篇 functional progr...
  • 3 篇 languages
  • 3 篇 type systems
  • 3 篇 model checking
  • 3 篇 ocaml
  • 3 篇 monitoring
  • 3 篇 clock-synchronis...
  • 3 篇 verification
  • 3 篇 concurrency
  • 2 篇 termination
  • 2 篇 reliability

机构

  • 4 篇 inria rennes
  • 3 篇 univ kiel kiel
  • 2 篇 univ michigan an...
  • 2 篇 lab informat fon...
  • 2 篇 tech univ munich...
  • 2 篇 verimag & cadenc...
  • 2 篇 univ gothenburg ...
  • 2 篇 univ paris 07 pp...
  • 2 篇 indian inst tech...
  • 2 篇 verimag lab ctr ...
  • 2 篇 addis ababa inst...
  • 2 篇 gmd forschungsze...
  • 2 篇 inria grenoble
  • 2 篇 natl univ singap...
  • 2 篇 inst rech inform...
  • 2 篇 univ calif berke...
  • 2 篇 sorbonne univ li...
  • 1 篇 republ korea air...
  • 1 篇 inria
  • 1 篇 univ waterloo wa...

作者

  • 5 篇 von hanxleden re...
  • 5 篇 delaval gwenael
  • 4 篇 tripakis stavros
  • 4 篇 rutten eric
  • 4 篇 pinisetty sriniv...
  • 3 篇 talpin jean-pier...
  • 3 篇 morley m
  • 3 篇 chailloux emmanu...
  • 3 篇 baruah sanjoy
  • 3 篇 smyth steven
  • 3 篇 holenderski l
  • 3 篇 pouzet marc
  • 3 篇 amadio roberto m...
  • 3 篇 maffeis o
  • 3 篇 mendler michael
  • 3 篇 marchand herve
  • 3 篇 aguado joaquin
  • 2 篇 gemuende mike
  • 2 篇 baird alex
  • 2 篇 varoumas steven

语言

  • 61 篇 英文
  • 8 篇 其他
检索条件"主题词=Synchronous Programming"
69 条 记 录,以下是11-20 订阅
排序:
Spacetime programming A synchronous Language for Composable Search Strategies  19
Spacetime Programming A Synchronous Language for Composable ...
收藏 引用
21st International Symposium on Principles and Practice of Declarative programming (PPDP)
作者: Talbot, Pierre Univ Nantes Nantes France
Search strategies are crucial to efficiently solve constraint satisfaction problems. However, programming search strategies in the existing constraint solvers is a daunting task and constraint-based languages usually ... 详细信息
来源: 评论
Incorporating Symbolic Discrete Controller Synthesis into a Virtual Robot Experimental Platform: An Implementation with Collaborative Unmanned Aerial Vehicle Robots
收藏 引用
DRONES 2024年 第5期8卷 206-206页
作者: Ozbaltan, Mete Caska, Serkan Erzurum Tech Univ Fac Engn & Architecture Dept Comp Engn TR-25050 Erzurum Turkiye Manisa Celal Bayar Univ Hasan Ferdi Turgutlu Technol Fac Dept Mech Engn TR-45400 Manisa Turkiye
We introduce a modeling framework aimed at incorporating symbolic discrete controller synthesis (DCS) into a virtual robot experimental platform. This framework involves symbolically representing the behaviors of robo... 详细信息
来源: 评论
programming microcontrollers through high-level abstractions: The OMicroB project
收藏 引用
JOURNAL OF COMPUTER LANGUAGES 2023年 77卷
作者: Varoumas, Steven Pesin, Basile Vaugon, Benoit Chailloux, Emmanuel Huawei Technol Res & Dev UK Ltd Cambridge England Inria Paris France EduSante F-92170 Vanves France Sorbonne Univ LIP6 CNRS F-75005 Paris France
In this paper, we present an approach for programming microcontrollers that provides more expressivity and safety than the low-level language approach traditionally used to program such devices. To this end, we provid... 详细信息
来源: 评论
The W-CALCULUS: A synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms  9
The W-CALCULUS: A Synchronous Framework for the Verified Mod...
收藏 引用
9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM)
作者: Arias, Emilio Jesus Gallego Jouvelot, Pierre Ribstein, Sylvain Desblancs, Dorian Inria Paris Equipe R2 Paris France PSL Univ MINES ParisTech Paris France Ecole Normale Super Paris Saclay Paris France
We introduce the W-CALCULUS, an extension of the call-by-value lambda-calculus with synchronous semantics, designed to be flexible enough to capture different implementation forms of Digital Signal Processing algorith... 详细信息
来源: 评论
Synchronised Shared Memory and Model Checking: A Proof of Concept
Synchronised Shared Memory and Model Checking: A Proof of Co...
收藏 引用
Forum on specification and Design Languages (FDL)
作者: Aguado, Joaquin Duenas, Alejandra Otto Friedrich Univ Bamberg Fac Informat Syst & Appl Comp Sci Bamberg Germany ICN Business Sch Supply Chain & Informat Syst Management Nancy France
synchronous programming (SP) is a model of computation that supports concurrent thread composition and provides deterministic observable behaviour. A recent theory has extended SP with more and higher level clock-sync... 详细信息
来源: 评论
User-level Threading: Have Your Cake and Eat It Too
收藏 引用
PROCEEDINGS OF THE ACM ON MEASUREMENT AND ANALYSIS OF COMPUTING SYSTEMS 2020年 第1期4卷 1–30页
作者: Karsten, Martin Barghi, Saman Univ Waterloo Waterloo ON Canada
An important class of computer software, such as network servers, exhibits concurrency through many loosely coupled and potentially long-running communication sessions. For these applications, a long-standing open que... 详细信息
来源: 评论
Implementing synchronous reactive components upon multiprocessor platforms
收藏 引用
JOURNAL OF SYSTEMS ARCHITECTURE 2021年 116卷 102027-102027页
作者: Baruah, Sanjoy Washington Univ St Louis MO 63110 USA
Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption asserts that actions (such as the execution of code) occur insta... 详细信息
来源: 评论
Scheduling synchronous Tutoring Sessions in Learning Activities  21st
Scheduling Synchronous Tutoring Sessions in Learning Activit...
收藏 引用
21st International Conference on Interactive Collaborative Learning (ICL) / 47th IGIP International Conference on Engineering Pedagogy - Teaching and Learning in a Digital World
作者: Gueye, Amadou Dahirou Faye, Pape Mamadou Djidiack Gueye, Bounama Lishou, Claude Alioune Diop Univ Bambey Senegal Virtual Univ Dakar Senegal Cheikh Anta Diop Univ Dakar Senegal
This paper deals with a solution allowing digital universities or distance learning structures to extend the functionalities of their distance learning platform to improve not only the management of course session act... 详细信息
来源: 评论
Towards Secure IoT programming in Haskell  13
Towards Secure IoT Programming in Haskell
收藏 引用
13th International Symposium on Haskell (Haskell)
作者: Valliappan, Nachiappan Krook, Robert Russo, Alejandro Claessen, Koen Chalmers Univ Technol Gothenburg Sweden
IoT applications are often developed in programming languages with low-level abstractions, where a seemingly innocent mistake might lead to severe security vulnerabilities. Current IoT development tools make it hard t... 详细信息
来源: 评论
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech
Synchronized Shared Memory and Procedural Abstraction: Towar...
收藏 引用
Forum for Specification and Design Languages (FDL)
作者: Gretz, F. Grosch, F-J Mendler, M. Scheele, S. Bosch Corp Res Palo Alto CA 94304 USA Bamberg Univ Bamberg Germany
Traditional imperative synchronous programming languages heavily rely on a strict separation between data memory and communication signals. Signals can be shared between computational units but cannot be overwritten w... 详细信息
来源: 评论