Остановите войну!
for scientists:
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
Venue search results
Likely matches
- International Conference on Coordination Models and Languages (COORDINATION)
also: International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord @ COORDINATION)
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 208 matches
- 2024
- Guido Salvaneschi, Pascal Weisenburger:
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems. Active Object Languages: Current Research Trends 2024: 92-122 - 2022
- Jie Yang, Jinyong Wang, Jiulong Sha, Hongqi Dai, Hongbin Liu:
Quality-related monitoring of distributed process systems using dynamic concurrent partial least squares. Comput. Ind. Eng. 164: 107893 (2022) - Weilue Wang, Yujuan Tan, Changze Wu, Duo Liu, Yu Wu, Longpan Luo, Xianzhang Chen:
Towards highly-concurrent leaderless state machine replication for distributed systems. J. Syst. Archit. 127: 102516 (2022) - Abdullah Azhar Al-Obaidi, Hany E. Z. Farag:
Adaptive Optimal Management of EV Battery Distributed Energy for Concurrent Services to Transportation and Power Grid in a Fleet System Under Dynamic Service Pricing. IEEE Trans. Ind. Informatics 18(3): 1618-1628 (2022) - Marieke Huisman, Cristina Seceleanu:
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). ISoLA (1) 2022: 417-421 - Nikhil Bansal, Kartik Gupta, Kiruthika Kannan, Sivani Pentapati, Ravi Kiran Sarvadevabhatla:
DrawMon: A Distributed System for Detection of Atypical Sketch Content in Concurrent Pictionary Games. ACM Multimedia 2022: 2852-2861 - Nikhil Bansal, Kartik Gupta, Kiruthika Kannan, Sivani Pentapati, Ravi Kiran Sarvadevabhatla:
DrawMon: A Distributed System for Detection of Atypical Sketch Content in Concurrent Pictionary Games. CoRR abs/2211.05429 (2022) - 2021
- Khalil Mecheraoui, Irina A. Lomazova, Nabil Belala:
A Petri net extension for systems of concurrent communicating agents with durable actions. J. Parallel Distributed Comput. 155: 14-23 (2021) - Dhiah el Diehn I. Abou-Tair, Alá F. Khalifeh, Sahel Alouneh, Roman Obermaisser:
Incremental, Distributed, and Concurrent Service Coordination for Reliable and Deterministic Systems-of-Systems. IEEE Syst. J. 15(2): 2470-2481 (2021) - Bryan Alexander Ulate-Caballero, Allan Berrocal Rojas, Jeisson Hidalgo-Céspedes:
Concurrent and Distributed Pseudocode: A Systematic Literature Review. CLEI 2021: 1-10 - 2020
- Yi Li, Weidi Sun, Meng Sun:
Mediator: A component-based modeling language for concurrent and distributed systems. Sci. Comput. Program. 192: 102438 (2020) - Marieke Huisman, Cristina Seceleanu:
Verification and Validation of Concurrent and Distributed Systems (Track Summary). ISoLA (1) 2020: 421-425 - Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia:
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. CoRR abs/2010.10667 (2020) - 2019
- Maxime Buyse, Jason Jaskolka:
Communicating Concurrent Kleene Algebra for Distributed Systems Specification. Arch. Formal Proofs 2019 (2019) - Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Peak resource analysis of concurrent distributed systems. J. Syst. Softw. 149: 35-62 (2019) - Yu Zhang, Jin Zhao, Xiaofei Liao, Hai Jin, Lin Gu, Haikun Liu, Bingsheng He, Ligang He:
CGraph: A Distributed Storage and Processing System for Concurrent Iterative Graph Analysis Jobs. ACM Trans. Storage 15(2): 10:1-10:26 (2019) - Yuhang Liu, Xian-He Sun:
LPM: A Systematic Methodology for Concurrent Data Access Pattern Optimization from a Matching Perspective. IEEE Trans. Parallel Distributed Syst. 30(11): 2478-2493 (2019) - Joseph Sifakis:
Autonomous Systems - An Architectural Characterization. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 388-410 - Martin Wirsing, Rolf Hennicker:
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 367-387 - 2018
- Quanqing Xu, Weiya Xi, Khai Leong Yong, Chao Jin:
CRL: Efficient Concurrent Regeneration Codes with Local Reconstruction in Geo-Distributed Storage Systems. J. Comput. Sci. Technol. 33(6): 1140-1151 (2018) - Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage:
Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification. IEEE Trans Autom. Sci. Eng. 15(2): 832-841 (2018) - Sangmin Lee, Soon J. Hyun, Hong-Yeon Kim, Young-Kyun Kim:
APS: adaptable prefetching scheme to different running environments for concurrent read streams in distributed file systems. J. Supercomput. 74(6): 2870-2902 (2018) - Sangmin Lee, Soon J. Hyun, Hong-Yeon Kim, Young-Kyun Kim:
Fair bandwidth allocating and strip-aware prefetching for concurrent read streams and striped RAIDs in distributed file systems. J. Supercomput. 74(8): 3904-3932 (2018) - 2017
- Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu:
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153(1-2): v-vi (2017) - Fangxiao Ning, Yu Wen, Gang Shi, Dan Meng:
Efficient tamper-evident logging of distributed systems via concurrent authenticated tree. IPCCC 2017: 1-9 - Humberto Rodríguez-Avila, Elisa Gonzalez Boix, Wolfgang De Meuter:
An Elixir library for programming concurrent and distributed embedded systems. Programming 2017: 6:1 - Kulanuch Chutisemachai, Theerat Sakdejayont, Chun-Hao Liao, Makoto Suzuki, Hiroyuki Morikawa:
Distributed Antenna System Using Concurrent Transmission for Wireless Automation System. VTC Fall 2017: 1-6 - 2016
- Paul Thomson:
Practical systematic concurrency testing for concurrent and distributed software. Imperial College London, UK, 2016 - Hugues Evrard:
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation. TACAS 2016: 553-559 - John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement - Partial and Total Frameworks. From Action Systems to Distributed Systems 2016: 143-154
skipping 178 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-03-29 03:28 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