default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 273 matches
- 2024
- Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. 210: 111976 (2024) - Yongwei Zhang, Bo Zhao, Derong Liu, Shunchao Zhang:
Distributed Fault Tolerant Consensus Control of Nonlinear Multiagent Systems via Adaptive Dynamic Programming. IEEE Trans. Neural Networks Learn. Syst. 35(7): 9041-9053 (2024) - Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming Open Distributed Systems in Maude. PPDP 2024: 7:1-7:12 - Guido Salvaneschi, Pascal Weisenburger:
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems. Active Object Languages: Current Research Trends 2024: 92-122 - Ioannis Chatzigiannakis, Vincent Gramoli:
Proceedings of the 2024 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, ApPLIED 2024, Nantes, France, 17 June 2024. ACM 2024 [contents] - 2023
- Jannis Klinkenberg:
Reactive runtimes for parallel programming models on shared, distributed and heterogeneous memory systems. RWTH Aachen University, Germany, 2023 - Laurent Prosperi:
Varda: a language for programming distributed systems by composition. (Varda: un langage pour la programmation de systèmes distribués par composition). Sorbonne University, Paris, France, 2023 - Luy Nguyen Tan, Nishu Gupta, Mohammad Omar Derawi:
Adaptive Dynamic Programming and Zero-Sum Game-Based Distributed Control for Energy Management Systems With Internet of Things. IEEE Internet Things J. 10(24): 22371-22385 (2023) - Giorgio Audrito, Federico Terraneo, William Fornaciari:
FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems. IEEE Trans. Parallel Distributed Syst. 34(3): 869-880 (2023) - Sosuke Moriguchi, Takuo Watanabe:
Developing Distributed Systems with Multiparty Functional Reactive Programming. WSSE 2023: 61-66 - Yanhong Annie Liu, Elad Michael Schiller:
Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, ApPLIED 2023, Orlando, FL, USA, 19 June 2023. ACM 2023 [contents] - 2022
- Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8(2): 08:1-08:4 (2022) - Btissam Er-Rahmadi, Tiejun Ma:
Data-driven mixed-Integer linear programming-based optimisation for efficient failure detection in large-scale distributed systems. Eur. J. Oper. Res. 303(1): 337-353 (2022) - Zhengqing Shi, Chuan Zhou:
Distributed optimal consensus control for nonlinear multi-agent systems with input saturation based on event-triggered adaptive dynamic programming method. Int. J. Control 95(2): 282-294 (2022) - Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28 - Albert Zak:
Interactive Programming as an "Operating System" for Resilience in Distributed Systems. ICDCS 2022: 1258-1259 - Michele Pasqua, Marino Miculan:
Distributed Programming of Smart Systems with Event-Condition-Action Rules. ICTCS 2022: 201-206 - Adam Górski, Maciej Ogorzalek:
Genetic Programming based Algorithm for HW/SW Cosynthesis of Distributed Embedded Systems Specified using Conditional Task Graph. SENSORNETS 2022: 239-243 - Chryssis Georgiou, Elad Michael Schiller, Ahmed Ali-Eldin, Alexandru Iosup:
ApPLIED '22: Proceedings of the 2022 Workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, Salerno, Italy, 25 July 2022. ACM 2022, ISBN 978-1-4503-9280-8 [contents] - Polykarpos Thomadakis, Nikos Chrisochoides:
Towards Performance Portable Programming for Distributed Heterogeneous Systems. CoRR abs/2210.01238 (2022) - 2021
- Xinsong Zhang, Yangyang Xu, Shengnan Lu, Cheng Lu, Yunxiang Guo:
Joint Planning of Distributed PV Stations and EV Charging Stations in the Distribution Systems Based on Chance-Constrained Programming. IEEE Access 9: 6756-6768 (2021) - Wilhelm Hasselbring, Maik Wojcieszak, Schahram Dustdar:
Control Flow Versus Data Flow in Distributed Systems Integration: Revival of Flow-Based Programming for the Industrial Internet of Things. IEEE Internet Comput. 25(4): 5-12 (2021) - Dmitry A. Zaitsev, David E. Probert:
Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems. Int. J. Parallel Emergent Distributed Syst. 36(6): 495-497 (2021) - Joel Greenyer:
Scenario-Based Modeling and Programming of Distributed Systems. PNSE@Petri Nets 2021: 241-252 - Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia:
PSec: Programming Secure Distributed Systems using Enclaves. AsiaCCS 2021: 802-816 - Vito Giovanni Castellana, Marco Minutoli:
Productive Programming of Distributed Systems with the SHAD C++ Library. HPDC 2021: 263-264 - Wilhelm Hasselbring, Maik Wojcieszak, Schahram Dustdar:
Control Flow Versus Data Flow in Distributed Systems Integration: Revival of Flow-Based Programming for the Industrial Internet of Things. CoRR abs/2108.08081 (2021) - 2020
- Lars Kroll:
Compile-time Safety and Runtime Performance in Programming Frameworks for Distributed Systems. Royal Institute of Technology, Stockholm, Sweden, 2020 - Pascal Weisenburger:
A Programming Language for Distributed Systems. Technical University of Darmstadt, Germany, 2020 - Pascal Weisenburger, Guido Salvaneschi:
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala. Art Sci. Eng. Program. 4(3): 17 (2020)
skipping 243 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-11-08 23:08 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint