![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
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 31 matches
- 1997
- Zair Abdelouahab, Slimane Hammoudi:
Concurrency in Object Oriented Language Actel. PDSE 1997: 291-296 - Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra:
Seuss: What the Doctor Ordered. PDSE 1997: 284-290 - Paolo Ciancarini, Paolo Ciaccia, Wilma Penzo:
Reusing Software Architectures: A Formal Basis. PDSE 1997: 256-262 - David C. DiNucci:
Tolerant(Parallel) Programming F-Nets and Software Cabling. PDSE 1997: 198-209 - Manuel Díaz, Bartolomé Rubio, José M. Troya:
The Tuple Channel Coordination Model. PDSE 1997: 95-107 - Jin Song Dong, Lin Zucconi, Roger Duke:
Specifying Parallel and Distributed Systems in Object-Z. PDSE 1997: 140-149 - Maximilian Frey:
Testing Parallel and Distributed Programs with Temporal Logic Specifications. PDSE 1997: 62-73 - Ravi K. Gedela, Sol M. Shatz:
Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective. PDSE 1997: 4-14 - Bernd Grahlmann, Hans Fleischhack:
A Petri Net Semantics for B(PN)2 with Procedures. PDSE 1997: 15-27 - Kunihiko Hiraishi:
An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs. PDSE 1997: 39-49 - Lei Hu, Ian Gorton:
A Performance Prototyping Approach to Designing Concurrent Software Architectures. PDSE 1997: 270-276 - Giancarlo Iannizzotto, Antonio Puliafito, Lorenzo Vita:
Design and Implementation of a content-based Image Retrieval Tool. PDSE 1997: 304-310 - Péter Kacsuk, Gábor Dózsa, Tibor Fadgyas:
A Graphical Programming Environment for Message Passing Programs. PDSE 1997: 210-221 - Bodo Kalthoff:
Scheduling of parallel processing systems based on algorithmic skeletons. PDSE 1997: 234-242 - Michael James Katchabaw, Stephen L. Howard, Hanan Lutfi Lutfiyya, Andrew D. Marshall, Michael A. Bauer:
Making Distributed Applications Manageable Through Instrumentation. PDSE 1997: 84-94 - Khalid Lateef, Hany H. Ammar, Vinay Mogulothu, Tooraj Nikzadeh:
A methodology for verification and analysis of parallel and distributed systems requirements specifications. PDSE 1997: 28-38 - Thomas Lippert, Paolo Palazzari, Klaus Schilling:
Automatic Template Generation for Solving n2-Problems on Parallel Systems with Arbitrary Topology. PDSE 1997: 130-139 - Beniamino Di Martino, Giulio Iannello, Hans P. Zima:
An Automated Algorithmic Recgnition Ttechnique to Support Parallel Software Development. PDSE 1997: 120-129 - Andreas Mitschele-Thiel:
Hierarchical Optimization of Parallel Applications. PDSE 1997: 222-233 - Pascal Pagny, Marc Hohenadel:
OPENPRESS - Open Distributed Assessment Platform for Still Image Compression Schemes. PDSE 1997: 297-303 - Mark Polman, Maarten van Steen
, Arie de Bruin:
Formalizing a Design Technique for Distributed Programs. PDSE 1997: 150-161 - Thomas Rauber, Gudula Rünger:
Integrating library modules into special purpose parallel algorithms. PDSE 1997: 162-173 - George R. Ribeiro-Justo, P. Vekariya, Thierry Delaitre, Jamal Zemerly
, Stephen C. Winter:
Prototype-Oriented Development of High-performance Systems. PDSE 1997: 74-83 - José Miguel Mantas Ruiz, A. Palma:
Designing Reusable Software Components Following the CSP Distributed Programming Model. PDSE 1997: 174-187 - Nikola B. Serbedzija, Louis Botha, Antony Abbott, Judith Bishop:
Web Computing Skeleton: A Case Study. PDSE 1997: 188-197 - Darlene A. Stewart, W. Morven Gentleman:
Non-Stop Monitoring and Debugging on Shared-Memory Multiprocessors. PDSE 1997: 263-269 - Kuo-Chung Tai:
Reachability Testing of Asynchronous Message-Passing Programs. PDSE 1997: 50-61 - Naoshi Uchihira, Hideji Kawata:
Scenario-Based Hypersequential Programming: Concept and Example. PDSE 1997: 277-283 - Christoph Wedler, Christian Lengauer:
Parallel Implementations of Combinations of Broadcast, Reduction and Scan. PDSE 1997: 108-119 - Michel Wermelinger:
A Hierarchic Architecture Model for Dynamic Reconfiguration. PDSE 1997: 243-255
skipping 1 more match
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-06-19 15:50 CEST 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