Suchergebnisse - "Synchronous programming"

Lustre, Fast First, and Fresh

Autoren: Bourke, Timothy Pouzet, Marc

Weitere Verfasser: Bourke, Timothy Pouzet, Marc

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

Schlagwörter: Time-Centric Reactive Software, [INFO] Computer Science [cs], Dataflow Synchronous Programming

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel et al.

Weitere Verfasser: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel et al.

Quelle: International Journal of Parallel Programming. 53

Schlagwörter: 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]

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Alex Baird Abhinandan Panda Hammond Pearce et al.

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

Schlagwörter: 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

Zugangs-URL: https://doaj.org/article/18b0b7399fe14dc2a10b2b1017999b4d

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

Autoren: Young-Mi Kim Jin-Young Choi Seunghoon Yoo et al.

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

Schlagwörter: synchronous programming, test cases, Error masking, mutant generation, Electrical engineering. Electronics. Nuclear engineering, error propagation, Lustre language, TK1-9971

Zugangs-URL: https://doaj.org/article/7d5c9f33a41e48979fe240cd046f5438

Incremental Security Enforcement for Cyber-Physical Systems

Autoren: Abhinandan Panda Alex Baird Srinivas Pinisetty et al.

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

Schlagwörter: 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

Zugangs-URL: https://doaj.org/article/3166f491d8474abebaf1adc85541d177

Hardware Implementation of OCaml Using a Synchronous Functional Language

Autoren: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel et al.

Weitere Verfasser: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel et al.

Quelle: 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⟩

Schlagwörter: synchronous programming, functional programming, language design and implementation, FPGA, virtual machine, OCaml, [INFO]Computer Science [cs]

Geographisches Schlagwort: Londres, United Kingdom

Verfügbarkeit: 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

Autoren: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel et al.

Weitere Verfasser: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel et al.

Quelle: 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

Schlagwörter: Language design and implementation, FPGAs, Performance prediction, Algorithmic skeletons, Synchronous programming, [INFO]Computer Science [cs]

Geographisches Schlagwort: Pisa, Italy

Verfügbarkeit: 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

Autoren: Gallego Arias, Emilio Jesús Jouvelot, Pierre Ribstein, Sylvain et al.

Weitere Verfasser: Gallego Arias, Emilio Jesús Jouvelot, Pierre Ribstein, Sylvain et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Liquori, Luigi Mendler, Michael Stolze, Claude et al.

Weitere Verfasser: Liquori, Luigi Mendler, Michael Stolze, Claude et al.

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

Schlagwörter: Timed process algebras, Synchronous programming, Timed process algebras • Synchronous programming, [INFO]Computer Science [cs]

Verfügbarkeit: 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

Autoren: Mete Özbaltan Serkan Çaşka

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

Schlagwörter: 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

Verfügbarkeit: 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

Autoren: Bourke, Timothy Pesin, Basile Pouzet, Marc et al.

Weitere Verfasser: Bourke, Timothy Pesin, Basile Pouzet, Marc et al.

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-03936656v1

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

Autoren: Mamatqulov Qosimjon Nasriddin O'g'li

Schlagwörter: 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

Autoren: Colaço, Jean-Louis Mendler, Michael Pauget, Baptiste et al.

Weitere Verfasser: Colaço, Jean-Louis Mendler, Michael Pauget, Baptiste et al.

Schlagwörter: Compilers, Interpreters, Embedded Software, Programming Language, Synchronous Programming, [INFO] Computer Science [cs], Dynamic Semantics, Semantics

Dateibeschreibung: application/pdf

Spacetime programming: a synchronous language for constraint search

Autoren: TALBOT, Pierre

Quelle: Constraints (2023-09-23)

Schlagwörter: 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

Verfügbarkeit: 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

Autoren: Varoumas, Steven Pesin, Basile Vaugon, Benoît et al.

Weitere Verfasser: Varoumas, Steven Pesin, Basile Vaugon, Benoît et al.

Quelle: 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⟩.

Schlagwörter: Microcontrollers, Virtual machine, High-level programming, OCaml, Functors, Synchronous programming, [INFO]Computer Science [cs]

Verfügbarkeit: 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

Autoren: Bourke, Timothy Jeanmaire, Paul Pouzet, Marc et al.

Weitere Verfasser: Bourke, Timothy Jeanmaire, Paul Pouzet, Marc et al.

Quelle: 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/

Schlagwörter: Denotational Semantics, Proof Assistants, Verified Compilation, Synchronous Programming, [INFO]Computer Science [cs]

Geographisches Schlagwort: Nantes, France

Verfügbarkeit: 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

Autoren: Jahier, Erwan Altisen, Karine Devismes, Stéphane et al.

Weitere Verfasser: Jahier, Erwan Altisen, Karine Devismes, Stéphane et al.

Quelle: ISSN: 0304-3975.

Schlagwörter: Self-stabilization, Synchronous programming, Model-checking, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Verfügbarkeit: https://hal.science/hal-05062225
https://doi.org/10.1016/j.tcs.2025.115292

GPU Multisplit

Autoren: Ashkiani, Saman Davidson, Andrew Meyer, Ulrich et al.

Schlagwörter: Multisplit, GPU, primitive algorithms, warp synchronous programming

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/346486j8
https://escholarship.org/content/qt346486j8/qt346486j8.pdf

Strong Priority and Determinacy in Timed CCS

Autoren: Liquori, Luigi Mendler, Michael

Weitere Verfasser: Liquori, Luigi Mendler, Michael

Schlagwörter: Synchronous programming, Process algebras and calculi, [INFO] Computer Science [cs]

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04367635v2

Runtime enforcement of reactive systems using synchronous enforcers

Autoren: Roop, Partha Smyth, Steven Tripakis, Stavros et al.

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

Schlagwörter: 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

Zugangs-URL: http://arxiv.org/pdf/1612.05030
http://arxiv.org/abs/1612.05030