|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2324 occurrences of 962 keywords
|
|
|
Results
Found 2813 publication records. Showing 2813 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Ajay D. Kshemkalyani, Mukesh Singhal |
Correct Two-Phase and One-Phase Deadlock Detection Algorithms for Distributed Systems. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Beverly A. Sanders, Philipp A. Heuberger |
Distributed Deadlock Detection and Resolution with Probes. |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Bin Jiang |
Deadlock Detection is Really Cheap. |
SIGMOD Rec. |
1988 |
DBLP DOI BibTeX RDF |
|
27 | J. K. Annot, Rob A. H. van Twist |
A Novel Deadlock Free and Starvation Free Packet Switching Communication Processor. |
PARLE (1) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Rakesh Agrawal 0001, Michael J. Carey 0001, David J. DeWitt |
Deadlock Detection is Cheap. |
SIGMOD Rec. |
1983 |
DBLP DOI BibTeX RDF |
|
27 | Henry F. Korth |
Deadlock Freedom Using Edge Locks. |
ACM Trans. Database Syst. |
1982 |
DBLP DOI BibTeX RDF |
concurrency control, locking, serializability |
26 | Alper Sen 0001, Vinit Ogale, Magdy S. Abadir |
Predictive runtime verification of multi-processor SoCs in SystemC. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
predictive verification, deadlock, SystemC, assertion, ESL |
26 | Grzegorz Bocewicz, Robert Wójcik, Zbigniew Antoni Banaszak |
Design of Admissible Schedules for AGV Systems with Constraints: A Logic-Algebraic Approach. |
KES-AMSTA |
2007 |
DBLP DOI BibTeX RDF |
scheduling, constraints logic programming, deadlock avoidance |
26 | Olav Lysne, Tor Skeie, Sven-Arne Reinemo, Ingebjørg Theiss |
Layered Routing in Irregular Networks. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
Routing functions, interprocessor communication, deadlock avoidance, irregular topologies |
26 | Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager |
Model checker aided design of a controller for a wafer scanner. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization |
26 | Jipeng Zhou |
Fault-Tolerant Wormhole Routing with 2 Virtual Channels in Meshes. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
disjoint fault-connected region, fault-tolerant wormhole routing, virtual channel, deadlock freedom |
26 | Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001 |
Concurrent software verification with states, events, and deadlocks. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning |
26 | Kengo Katayama, Takahiro Koshiishi, Hiroyuki Narihisa |
Reinforcement learning agents with primary knowledge designed by analytic hierarchy process. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
profit sharing, pursuit problem, sokoban, reinforcement learning, deadlock, analytic hierarchy process |
26 | D. Manivannan 0001, Mukesh Singhal |
An Efficient Distributed Algorithm for Detection of Knots and Cycles in a Distributed Graph. |
IEEE Trans. Parallel Distributed Syst. |
2003 |
DBLP DOI BibTeX RDF |
Distributed graph, knot detection, distributed systems, distributed algorithms, distributed simulation, deadlock detection |
26 | Peter K. K. Loh, Wen-Jing Hsu |
Design of a Vialbe Fault-Tolerant Routing Strategy for Optical-Based Grids. |
ISPA |
2003 |
DBLP DOI BibTeX RDF |
livelock-freedom, wavelength-division multiplexing, Fault-tolerant routing, deadlock-freedom, grid networks |
26 | Olav Lysne, Timothy Mark Pinkston, José Duato |
A Methodology for Developing Dynamic Network Reconfiguration Processes. |
ICPP |
2003 |
DBLP DOI BibTeX RDF |
dynamic network reconfiguration, interconnection network architecture, highly-available and highly-dependable network-based systems, Deadlock-free routing |
26 | Michihiro Koibuchi, Konosuke Watanabe, Kenichi Kono, Akiya Jouraku, Hideharu Amano |
Performance Evaluation of Routing Algorithms in RHiNET-2 Cluster. |
CLUSTER |
2003 |
DBLP DOI BibTeX RDF |
RHiNET-2 cluster, Up*/Down* routing, performance evaluation, interconnection networks, deadlock avoidance, Deterministic routing, System Area Networks |
26 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou |
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion |
26 | Andres Ibañez, Valentin Puente, José A. Gregorio, Ramón Beivide |
A New Communication Mechanism for Cluster Computing. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
bubble method, routing algorithm, deadlock, routers, virtual channels, irregular networks |
26 | José Carlos Sancho, Antonio Robles, José Duato |
Effective Strategy to Compute Forwarding Tables for InfiniBand Networks. |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
InfiniBand network, performance evaluation, routing algorithms, deadlock avoidance, irregular topologies |
26 | Takeo Hosomi, Yasushi Kanoh, Masaaki Nakamura, Tetsuya Hirose |
A DSM Architecture for a Parallel Computer Cenju-4. |
HPCA |
2000 |
DBLP DOI BibTeX RDF |
scalability, multicast, shared-memory, deadlock, coherence protocol, starvation, directory, gathering, ccNUMA |
26 | Wenjian Qiao, Lionel M. Ni, Tomas Rokicki |
Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
incremental scalability, performance evaluation, Adaptive routing, deadlock-free routing, irregular networks, cut-through switches |
26 | Dhabaleswar K. Panda 0001, Sanjay Singal, Ram Kesavan |
Multidestination Message Passing in Wormhole k-ary n-cube Networks with Base Routing Conformed Paths. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
deadlock-freedom and interprocessor communication, multicast, interconnection networks, broadcast, meshes, Wormhole routing, collective communication, k-ary n-cubes |
26 | Ajay D. Kshemkalyani, Mukesh Singhal |
A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
generalized deadlock, Distributed database, replicated database, graph reduction, quorum consensus |
26 | Xiaola Lin, Philip K. McKinley, Lionel M. Ni |
The Message Flow Model for Routing in Wormhole-Routed Networks. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
Channel dependency graph, message flow model, wormhole routing, adaptive routing, mesh networks, multicast communication, deadlock-free routing |
26 | Masato Notomi, Tadao Murata |
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs |
26 | Joffroy Beauquier, Annie Choquet, Antoine Petit 0001, Guy Vidal-Naquet |
Detection of Deadlocks in an Infinite Family of Nets. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
deadlock detection, massive parallelism |
26 | Valmir Carneiro Barbosa |
Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
randomly generated systems, distributed parallel programs, unavailability, message buffers, message buffering space, buffer usage, NP-hard optimization problems, computational complexity, parallel programming, concurrency, heuristic, upper bounds, programming theory, communication channels, deadlock prevention, process execution, communication deadlocks |
25 | Ferenc Bujtor, Lev Sorokin, Walter Vogler |
Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting. |
ACM Trans. Embed. Comput. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Massimo Canale, Simone Casale Brunet, Endri Bezati, Marco Mattavelli, Jörn W. Janneck |
Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques - Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies. |
J. Signal Process. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Ferenc Bujtor, Lev Sorokin, Walter Vogler |
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Andrei Karatkevich, Iwona Grobelna |
Deadlock detection in Petri nets: One trace for one deadlock? |
HSI |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Keyi Xing, LiBin Han, MengChu Zhou, Feng Wang |
Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy. |
IEEE Trans. Syst. Man Cybern. Part B |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Rahil Hosseini, Abolfazl Toroghi Haghighat |
A Survey of Distributed Probe-based Deadlock Detection Algorithms and an Improvement for Solving False Deadlock. |
Parallel and Distributed Computing and Networks |
2005 |
DBLP BibTeX RDF |
|
25 | J. Adeane, V. W. Wittorff |
Deadlock Avoidance in the PNNI Routing Protocol - A Deadlock Prevention Algorithm. |
INTERWORKING |
2002 |
DBLP BibTeX RDF |
|
25 | Markus Jäger 0001, Bernhard Nebel |
Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots. |
IROS |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal |
Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. |
J. Parallel Distributed Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal |
Deadlock Models and a General Algorithm for Distributed Deadlock Detection. |
J. Parallel Distributed Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Nukala Viswanadham, Yadati Narahari, Timothy L. Johnson |
Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. |
IEEE Trans. Robotics Autom. |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Philip M. Merlin, Paul J. Schweitzer |
Deadlock Avoidance in Store-and-Forward Networks-I: Store-and-Forward Deadlock. |
IEEE Trans. Commun. |
1980 |
DBLP DOI BibTeX RDF |
|
25 | Philip M. Merlin, Paul J. Schweitzer |
Deadlock Avoidance in Store-and-Forward Networks-II: Other Deadlock Types. |
IEEE Trans. Commun. |
1980 |
DBLP DOI BibTeX RDF |
|
25 | Jing Bi, Zhiliang Zhu 0001, Haitao Yuan 0001, Yushun Fan, Ming Tie |
A Petri Net Based Hybrid Optimal Controller for Deadlock Prevention in Web Service Composition. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
Controlled Petri net, hybrid optimal controller, web service composition, compatibility, deadlock prevention |
25 | Ruizhe Wu, Yi Wang 0007, Dan Zhao 0001 |
A Low-Cost Deadlock-Free Design of Minimal-Table Rerouted XY-Routing for Irregular Wireless NoCs. |
NOCS |
2010 |
DBLP DOI BibTeX RDF |
Wireless Network-on-Chip, Segmented XY-Routing, Turn Classes-based Deadlock Avoidance |
25 | Gonzalo Zarza, Diego Lugones, Daniel Franco 0002, Emilio Luque |
Deadlock Avoidance for Interconnection Networks with Multiple Dynamic Faults. |
PDP |
2010 |
DBLP DOI BibTeX RDF |
interconnection networks, adaptive routing, deadlock avoidance |
25 | Sami Taktak, Emmanuelle Encrenaz, Jean Lou Desbarbieux |
A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks. |
PDP |
2010 |
DBLP DOI BibTeX RDF |
routing function, Network, deadlock, dependency graph, wormhole |
25 | Majid Janidarmian, Vahhab Samadi Bokharaie, Ahmad Khademzadeh, Misagh Tavanpour |
Sorena: New on Chip Network Topology Featuring Efficient Mapping and Simple Deadlock Free Routing Algorithm. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
routing, mapping, network on chip, topology, deadlock-free |
25 | Yuri Nishikawa, Michihiro Koibuchi, Hiroki Matsutani, Hideharu Amano |
A Deadlock-Free Non-minimal Fully Adaptive Routing Using Virtual Cut-Through Switching. |
NAS |
2010 |
DBLP DOI BibTeX RDF |
non-minimal fully adaptive routing, NoC, deadlock-free routing, SAN, turn-model, virtual cut-through |
25 | B. M. Monjurul Alom, Frans A. Henskens, Michael Richard Hannaford |
Deadlock Detection Views of Distributed Database. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Deadlock Cycle, Priority_Id, Transaction Queue (TQ), TWFG, Transaction Manager (TM) |
25 | Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan 0001 |
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Concurrent Libraries, Static Analysis, Program Analysis, Deadlock Detection, SMT solvers |
25 | Milosh V. Ivanovich, Moshe Zukerman, Fraser Cameron |
A study of deadlock models for a multiservice medium access protocol employing a Slotted Aloha signalling channel. |
IEEE/ACM Trans. Netw. |
2000 |
DBLP DOI BibTeX RDF |
p-persistence, HFC, protocol, MAC, deadlock, contention resolution |
25 | Ran Libeskind-Hadas |
A Tight Lower Bound on the Number of Channels Required for Deadlock-Free Wormhole Routing. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
fault tolerance, Wormhole routing, deadlock-free routing algorithms |
25 | Naoki Kobayashi 0001 |
A Partially Deadlock-Free Typed Process Calculus. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
concurrency, type theory, deadlock-freedom |
25 | Robert Cypher, Luis Gravano |
Storage-Efficient, Deadlock-Free Packet Routing Algorithms for Torus Networks. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
deadlock-free packet routing algorithms, torus interconnection networks, minimal length packet routing, VLSI, multiprocessor interconnection networks, packet switching, VLSI implementation, torus networks |
25 | Baruch Awerbuch, Yossi Azar |
Local Optimization of Global Objectives: Competitive Distributed Deadlock Resolution and Resource Allocation |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
minimum fractional coloring, global objectives, competitive distributed deadlock resolution, distributed server-client architectures, distributed bandwidth management, globally-optimum performance, maximum fractional independent set, distributed computing, resource allocation, admission control, communication networks, communication networking, job scheduling, network throughput, local optimization |
25 | Michael Young, David L. Levine, Richard N. Taylor |
Comments on "Temporal Logic-Based Deadlock Analysis for Ada''. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models |
25 | Ferenc Belik |
An Efficient Deadlock Avoidance Rechnique. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
deadlock avoidance technique, resource allocation algorithm, path matrix representation, concurrency control, concurrency control, directed graphs, directed acyclic graphs |
25 | Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley |
Correction to "A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution". |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
modified priority based probe algorithm, pseudocode, distributed processing, error correction, system recovery, distributed deadlock detection |
25 | Ahmed K. Elmagarmid, Ajoy Kumar Datta |
Two-Phase Deadlock Detection Algorithm. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
deadlock detection algorithm, transaction-wait-for, multiple disjoint controllers, two-phase property, detection step, actual cycle detection, transaction-based distributed processing systems, distributed algorithm, distributed processing, distributed databases, transaction processing, deadlocks |
25 | Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu |
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
transaction controller, distributed processing, program verification, transaction processing, transaction processing, programming theory, system recovery, communicating sequential processes, correctness proof, distributed deadlock detection |
25 | David B. Lomet |
A Practical Deadlock Avoidance Algorithm for Data Base Systems. |
SIGMOD Conference |
1977 |
DBLP DOI BibTeX RDF |
data base systems, resource allocation, operating systems, deadlock, multiprocessing |
21 | Eric Kerfoot, Steve McKeever |
Checking concurrent contracts with aspects. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
Java, concurrency, AOP, active objects, runtime assertion checking |
21 | Jizhen Liu, Kehe Wu, Tong Zhang, Gang Ma 0010 |
The Design and Implementation of Security Defense Technology Based on Mandatory Running Control. |
IAS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | PengCheng Xiong, Mengchu Zhou, Calton Pu |
A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Xin Wang 0003, Yingqun Yu, Georgios B. Giannakis |
Design and Analysis of Cross-Layer Tree Algorithms for Wireless Random Access. |
IEEE Trans. Wirel. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
21 | ZhiWu Li 0001, MengChu Zhou |
Control of Elementary and Dependent Siphons in Petri Nets and Their Application. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Bill Mitchell |
Characterizing Communication Channel Deadlocks in Sequence Diagrams. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Requirements Analysis, Distributed programming, Distributed networks, Protocol verification |
21 | Nima Sharifimehr, Samira Sadaoui |
An Extended Concurrency Control Service for CORBA. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
Concurrency Control Service, Distributed Systems, CORBA |
21 | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
Compositional Verification for Component-Based Systems and Application. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Panhofer, Werner Friesenbichler, Martin Delvai |
Fault tolerant Four-State Logic by using Self-Healing Cells. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Shan Lu 0001, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou 0001 |
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
bug characteristics, concurrent program, concurrency bug |
21 | Victor Khomenko, Maciej Koutny |
Verification of bounded Petri nets using integer programming. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming |
21 | Niels Lohmann, Peter Massuthe, Karsten Wolf |
Behavioral Constraints for Services. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
Petri nets, Constraints, Business process modeling and analysis, Process verification and validation, Formal models in business process management, Operating guidelines |
21 | Maurizio Palesi, Shashi Kumar, Rickard Holsmark |
A Method for Router Table Compression for Application Specific Routing in Mesh Topology NoC Architectures. |
SAMOS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Jia-Ying Tzeng, Tung-Kuan Liu, Jyh-Horng Chou |
Applications of Multi-objective Evolutionary Algorithms to Cluster Tool Evolutionary Algorithms to Cluster Tool. |
ICICIC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | César Sánchez 0001, Henny B. Sipma, Christopher D. Gill, Zohar Manna |
Distributed Priority Inheritance for Real-Time and Embedded Systems. |
OPODIS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Jaehwan John Lee, Vincent John Mooney III |
A novel O(n) parallel banker's algorithm for System-on-a-Chip. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jan A. Bergstra, Cornelis A. Middelburg |
Model Theory for Process Algebra. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Beatrice M. Ombuki, Mario Ventresca |
Local Search Genetic Algorithms for the Job Shop Scheduling Problem. |
Appl. Intell. |
2004 |
DBLP DOI BibTeX RDF |
genetic algorithms, combinatorial optimization, local search, tabu search, job shop scheduling |
21 | Hsin-Chou Chi, Wen-Jen Wu |
Routing Tree Construction for Interconnection Network with Irregular Topologies. |
PDP |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Mithuna Thottethodi, Alvin R. Lebeck, Shubhendu S. Mukherjee |
BLAM : A High-Performance Routing Algorithm for Virtual Cut-Through Networks. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
non-minimal routing, chaotic routing, Multiprocessor interconnection networks, routing algorithm, k-ary n-cubes, virtual cut-through |
21 | Elvira Baydal, Pedro López 0001, José Duato |
A Simple and Efficient Mechanism to Prevent Saturation in Wormhole Networks. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
message throttling, performance evaluation, congestion control, deadlocks, wormhole |
21 | Mihaela Sighireanu, Radu Mateescu 0001 |
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. |
Int. J. Softw. Tools Technol. Transf. |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Alexandre Mota 0001, Augusto Sampaio |
Model-Checking CSP-Z. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Ausif Mahmood, Donald J. Lynch, Roger B. Shaffer |
Optimally Adaptive, Minimum-Distance, Circuit-Switched Routing in Hypercubes. |
ACM Trans. Comput. Syst. |
1997 |
DBLP DOI BibTeX RDF |
parallel processing, interconnection networks, hypercube, routing algorithms, adaptive routing, k-ary n-cube, circuit switched |
21 | Federico Silla, Manuel P. Malumbres, Antonio Robles, Pedro López 0001, José Duato |
Efficient Adaptive Routing in Networks of Workstations with Irregular Topology. |
CANPC |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Yu-Chee Tseng, Dhabaleswar K. Panda 0001, Ten-Hwang Lai |
A Trip-Based Multicasting Model in Wormhole-Routed Networks with Virtual Channels. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance, multicast, Routing algorithm, wormhole-routing, collective communication, virtual channel, interprocessor communication, path-based routing |
21 | Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki |
Fibre Channel Fabrics: Evaluation and Design. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Mahesh Girkar, Robert Moll |
New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Xiaola Lin, Philip K. McKinley, Abdol-Hossein Esfahanian |
Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Allan Cheng, Javier Esparza, Jens Palsberg |
Complexity Results for 1-safe Nets. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Peter B. Ladkin, Barbara Simons |
Compile-time analysis of communicating processes. |
ICS |
1992 |
DBLP DOI BibTeX RDF |
|
21 | R. C. Hansdah, Lalit M. Patnaik |
Weak Consistency Of Read-only Transactions: A Tool to Improve Concurrency in Heterogeneous Locking Protocols. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Jayadev Misra |
Distributed Discrete-Event Simulation. |
ACM Comput. Surv. |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Paul F. Reynolds Jr. |
A shared resource algorithm for distributed simulation. |
ISCA |
1982 |
DBLP BibTeX RDF |
|
20 | JongSoo Park, William J. Dally |
Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
compiler and tools for concurrent programming, green computing and power-efficient architectures, multi-core architectures, stream programming |
20 | Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis |
D-Finder: A Tool for Compositional Deadlock Detection and Verification. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Gérard Boudol |
A Deadlock-Free Semantics for Shared Memory Concurrency. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Bo Stuart, Mikkel Bystrup Stensgaard, Jens Sparsø |
Synthesis of topology configurations and deadlock free routing algorithms for ReNoC-based systems-on-chip. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
routing, system-on-chip, mapping, network-on-chip, synthesis, configuration |
20 | Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li 0002 |
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Olav Lysne, José Miguel Montañana, José Flich, José Duato, Timothy Mark Pinkston, Tor Skeie |
An Efficient and Deadlock-Free Network Reconfiguration Protocol. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
Interconnections (Subsystems), Topology, I/O and Data Communications |
Displaying result #301 - #400 of 2813 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|