Výsledky vyhledávání - "!synchronous!programming"

Lustre, Fast First, and Fresh

Autoři: Bourke, Timothy Pouzet, Marc

Přispěvatelé: Bourke, Timothy Pouzet, Marc

Zdroj: IEEE Embedded Systems Letters. 17:119-122

Témata: Time-Centric Reactive Software, [INFO] Computer Science [cs], Dataflow Synchronous Programming

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04815075v1
https://doi.org/10.1109/les.2024.3498932
https://inria.hal.science/hal-04815075v1/document

Programming Parallelism on FPGAs with Eclat

Autoři: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a další

Přispěvatelé: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a další

Zdroj: International Journal of Parallel Programming. 53

Témata: Synchronous programming, Algorithmic skeletons, Performance prediction, FPGAs, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Language design and implementation, [INFO] Computer Science [cs], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-05169350v1/document
https://hal.science/hal-05169350v1
https://doi.org/10.1007/s10766-025-00801-7
https://hal.science/hal-04772531v1

Scalable Security Enforcement for Cyber Physical Systems

Autoři: Alex Baird Abhinandan Panda Hammond Pearce a další

Zdroj: IEEE Access, Vol 12, Pp 14385-14410 (2024)

Témata: runtime enforcement, synchronous programming, Security, 0202 electrical engineering, electronic engineering, information engineering, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, cyber-physical systems, TK1-9971

Přístupová URL adresa: https://doaj.org/article/18b0b7399fe14dc2a10b2b1017999b4d

Propagation and Masking Characteristics of Errors During Software Testing in Synchronous Programming

Autoři: Young-Mi Kim Jin-Young Choi Seunghoon Yoo a další

Zdroj: IEEE Access, Vol 12, Pp 146009-146021 (2024)

Témata: synchronous programming, test cases, Error masking, mutant generation, Electrical engineering. Electronics. Nuclear engineering, error propagation, Lustre language, TK1-9971

Přístupová URL adresa: https://doaj.org/article/7d5c9f33a41e48979fe240cd046f5438

Incremental Security Enforcement for Cyber-Physical Systems

Autoři: Abhinandan Panda Alex Baird Srinivas Pinisetty a další

Zdroj: IEEE Access, Vol 11, Pp 18475-18498 (2023)

Témata: runtime enforcement, Cyber-physical systems, synchronous programming, 0202 electrical engineering, electronic engineering, information engineering, security, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, TK1-9971

Přístupová URL adresa: https://doaj.org/article/3166f491d8474abebaf1adc85541d177

Hardware Implementation of OCaml Using a Synchronous Functional Language

Autoři: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a další

Přispěvatelé: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a další

Zdroj: Practical Aspects of Declarative Languages ; PADL 2024: The 26th International Symposium on Practical Aspects of Declarative Languages ; https://hal.sorbonne-universite.fr/hal-04401618 ; PADL 2024: The 26th International Symposium on Practical Aspects of Declarative Languages, Jan 2024, Londres, United Kingdom. pp.151-168, ⟨10.1007/978-3-031-52038-9_10⟩

Témata: synchronous programming, functional programming, language design and implementation, FPGA, virtual machine, OCaml, [INFO]Computer Science [cs]

Geografické téma: Londres, United Kingdom

Dostupnost: https://hal.sorbonne-universite.fr/hal-04401618
https://hal.sorbonne-universite.fr/hal-04401618v1/document
https://hal.sorbonne-universite.fr/hal-04401618v1/file/padl24-ocaml-preprint.pdf
https://doi.org/10.1007/978-3-031-52038-9_10

Programming parallelism on FPGAs with Eclat

Autoři: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a další

Přispěvatelé: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a další

Zdroj: Proceedings of 17th International Symposia on High-Level Parallel Programming and Applications HLPP 2024 ; 17th International Symposia on High-Level Parallel Programming and Applications (HLPP 2024) ; https://hal.science/hal-04772531 ; 17th International Symposia on High-Level Parallel Programming and Applications (HLPP 2024), Massimo Torquati; Marco Danelutto, Jul 2024, Pisa, Italy. pp. 69-88 ; https://hlpp2024.di.unipi.it/wp-content/uploads/2024/07/HLPP2024_Proceedings.pdf

Témata: Language design and implementation, FPGAs, Performance prediction, Algorithmic skeletons, Synchronous programming, [INFO]Computer Science [cs]

Geografické téma: Pisa, Italy

Dostupnost: https://hal.science/hal-04772531
https://hal.science/hal-04772531v1/document
https://hal.science/hal-04772531v1/file/preprint-hlpp24.pdf

The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms

Autoři: Gallego Arias, Emilio Jesús Jouvelot, Pierre Ribstein, Sylvain a další

Přispěvatelé: Gallego Arias, Emilio Jesús Jouvelot, Pierre Ribstein, Sylvain a další

Zdroj: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design. :35-46

Témata: Linear Time-invariance, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, Programming Language Semantics, Digital Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, Synchronous Programming, 02 engineering and technology, Formal Verification

Popis souboru: application/pdf

Přístupová URL adresa: https://hal-mines-paristech.archives-ouvertes.fr/hal-03322174/file/A-755.pdf
https://minesparis-psl.hal.science/hal-03322174v2/document
https://doi.org/10.1145/3471872.3472970
https://minesparis-psl.hal.science/hal-03322174v2
https://hal.archives-ouvertes.fr/hal-03322174v1
https://hal-mines-paristech.archives-ouvertes.fr/hal-03322174
https://hal-mines-paristech.archives-ouvertes.fr/hal-03322174/document
https://dl.acm.org/doi/pdf/10.1145/3471872.3472970

Coherence and Determinacy with Priorities and Clocks

Autoři: Liquori, Luigi Mendler, Michael Stolze, Claude a další

Přispěvatelé: Liquori, Luigi Mendler, Michael Stolze, Claude a další

Zdroj: https://inria.hal.science/hal-04753507 ; 2024.

Témata: Timed process algebras, Synchronous programming, Timed process algebras • Synchronous programming, [INFO]Computer Science [cs]

Dostupnost: https://inria.hal.science/hal-04753507
https://inria.hal.science/hal-04753507v1/document
https://inria.hal.science/hal-04753507v1/file/synpatick-llncs.pdf

Incorporating Symbolic Discrete Controller Synthesis into a Virtual Robot Experimental Platform: An Implementation with Collaborative Unmanned Aerial Vehicle Robots

Autoři: Mete Özbaltan Serkan Çaşka

Zdroj: Drones, Vol 8, Iss 5, p 206 (2024)

Témata: UAV, symbolic discrete controller synthesis, virtual robot experimental platform, collaborative robots, reactive systems, synchronous programming, Motor vehicles. Aeronautics. Astronautics, TL1-4050

Relation: https://www.mdpi.com/2504-446X/8/5/206; https://doaj.org/toc/2504-446X; https://doaj.org/article/dc1d3c9ab3e34c6e8ac49908869c2c14

Dostupnost: https://doi.org/10.3390/drones8050206
https://doaj.org/article/dc1d3c9ab3e34c6e8ac49908869c2c14

Analyse de dépendance vérifiée pour un langage synchrone à flot de données

Autoři: Bourke, Timothy Pesin, Basile Pouzet, Marc a další

Přispěvatelé: Bourke, Timothy Pesin, Basile Pouzet, Marc a další

Témata: Lustre programming language, Verified Compilation, Interactive Theorem Proving, Lanage de programmation Lustre, Synchronous Programming, [INFO] Computer Science [cs], Assistants de preuve Coq, Coq Proof Assistant, Programmation Synchrone

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-03936656v1

SYNCHRONOUS AND ASYNCHRONOUS PROGRAM MODELS OF ELECTRONIC INFORMATION SYSTEM IN TAX AUTHORITIES MANAGEMENT SYSTEM

Autoři: Mamatqulov Qosimjon Nasriddin O'g'li

Témata: Information model, information system, tax, synchronous programming, asynchronous programming, async, await

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines: Application to the Language Scade

Autoři: Colaço, Jean-Louis Mendler, Michael Pauget, Baptiste a další

Přispěvatelé: Colaço, Jean-Louis Mendler, Michael Pauget, Baptiste a další

Témata: Compilers, Interpreters, Embedded Software, Programming Language, Synchronous Programming, [INFO] Computer Science [cs], Dynamic Semantics, Semantics

Popis souboru: application/pdf

Spacetime programming: a synchronous language for constraint search

Autoři: TALBOT, Pierre

Zdroj: Constraints (2023-09-23)

Témata: Artificial Intelligence, constraint programming, search strategy, programming language, synchronous programming, lattice theory, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: https://link.springer.com/content/pdf/10.1007/s10601-023-09356-1.pdf; urn:issn:1383-7133; urn:issn:1572-9354; https://orbilu.uni.lu/handle/10993/57265; info:hdl:10993/57265

Dostupnost: https://orbilu.uni.lu/handle/10993/57265
https://orbilu.uni.lu/bitstream/10993/57265/1/s10601-023-09356-1.pdf
https://doi.org/10.1007/s10601-023-09356-1

Programming microcontrollers through high-level abstractions: The OMicroB project

Autoři: Varoumas, Steven Pesin, Basile Vaugon, Benoît a další

Přispěvatelé: Varoumas, Steven Pesin, Basile Vaugon, Benoît a další

Zdroj: ISSN: 2590-1184 ; Journal of Computer Languages ; https://hal.sorbonne-universite.fr/hal-04279767 ; Journal of Computer Languages, 2023, 77, pp.101228. ⟨10.1016/j.cola.2023.101228⟩.

Témata: Microcontrollers, Virtual machine, High-level programming, OCaml, Functors, Synchronous programming, [INFO]Computer Science [cs]

Dostupnost: https://hal.sorbonne-universite.fr/hal-04279767
https://hal.sorbonne-universite.fr/hal-04279767v1/document
https://hal.sorbonne-universite.fr/hal-04279767v1/file/cola.pdf
https://doi.org/10.1016/j.cola.2023.101228

Towards a denotational semantics of streams for a verified Lustre compiler

Autoři: Bourke, Timothy Jeanmaire, Paul Pouzet, Marc a další

Přispěvatelé: Bourke, Timothy Jeanmaire, Paul Pouzet, Marc a další

Zdroj: Proceedings of the 28th International Conference on Types for Proofs and Programs ; TYPES 2022: 28th International Conference on Types for Proofs and Programs ; https://inria.hal.science/hal-04832995 ; TYPES 2022: 28th International Conference on Types for Proofs and Programs, Delia Kesner; Pierre-Marie Pédrot, Jun 2022, Nantes, France ; https://types22.inria.fr/

Témata: Denotational Semantics, Proof Assistants, Verified Compilation, Synchronous Programming, [INFO]Computer Science [cs]

Geografické téma: Nantes, France

Dostupnost: https://inria.hal.science/hal-04832995
https://inria.hal.science/hal-04832995v1/document
https://inria.hal.science/hal-04832995v1/file/TYPES_2022_paper_28.pdf

Model Checking of Distributed Algorithms using Synchronous Programs

Autoři: Jahier, Erwan Altisen, Karine Devismes, Stéphane a další

Přispěvatelé: Jahier, Erwan Altisen, Karine Devismes, Stéphane a další

Zdroj: ISSN: 0304-3975.

Témata: Self-stabilization, Synchronous programming, Model-checking, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Dostupnost: https://hal.science/hal-05062225
https://doi.org/10.1016/j.tcs.2025.115292

GPU Multisplit

Autoři: Ashkiani, Saman Davidson, Andrew Meyer, Ulrich a další

Témata: Multisplit, GPU, primitive algorithms, warp synchronous programming

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/346486j8
https://escholarship.org/content/qt346486j8/qt346486j8.pdf

Strong Priority and Determinacy in Timed CCS

Autoři: Liquori, Luigi Mendler, Michael

Přispěvatelé: Liquori, Luigi Mendler, Michael

Témata: Synchronous programming, Process algebras and calculi, [INFO] Computer Science [cs]

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04367635v2

Runtime enforcement of reactive systems using synchronous enforcers

Autoři: Roop, Partha Smyth, Steven Tripakis, Stavros a další

Zdroj: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. :80-89

Témata: ta113, FOS: Computer and information sciences, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Runtime Monitoring, 16. Peace & justice, Automata, Software Engineering (cs.SE), Computer Science - Software Engineering, Runtime Enforcement, 0202 electrical engineering, electronic engineering, information engineering, Safety Properties, Synchronous Programming, SCCharts

Přístupová URL adresa: http://arxiv.org/pdf/1612.05030
http://arxiv.org/abs/1612.05030