Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Jesper Larsson Träff, Joachim Worringen |
Verifying Collective MPI Calls. |
PVM/MPI |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Zhiwu Li 0001, Jingwei Liang, Yang Lu, Anrong Wang |
A deadlock prevention method for FMS with multiple resource acquisitions. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Christian Haubelt |
Design Space Exploration for Distributed Hardware Reconfigurable Systems. |
FPL |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood 0001 |
Using Speculation to Simplify Multiprocessor Design. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Charles Lakos, Laure Petrucci |
Modular Analysis of Systems Composed of Semiautonomous Subsystems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Behzad Bordbar, Kozo Okano |
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jean-Michel Fourneau, David J. Nott |
Mixed Routing for ROMEO Optical Burst. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Yi-Sheng Huang, Jenn-Huei Lin, Chien-Nin Hsu |
Comparison of deadlock prevention policies in FMS based on Petri nets siphons. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | ZhiWu Li 0001, XiangFeng Zhang |
A deadlock prevention approach using elementary siphons for a class of Petri nets. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | ZhiWu Li 0001, MengChu Zhou |
Some results and open problems concerning elementary siphons of Petri nets. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Yu Ru, Weimin Wu, Hongye Su, Jian Chu |
State feedback based deadlock-free supervisor synthesis for bounded Petri nets. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | ZhiWu Li 0001, Anrong Wang, Hua Lin |
A deadlock prevention approach for FMS using siphons and the theory of regions. |
SMC (6) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
parametric model checking, real-time systems, high-level synthesis, HW/SW co-design |
9 | Bettina Krammer, Matthias S. Müller, Michael M. Resch |
MPI Application Development Using the Analysis Tool MARMOT. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Aekyung Moon, Haengrae Cho |
Global Concurrency Control Using Message Ordering of Group Communication in Multidatabase Systems. |
ICCSA (3) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Venkata Praveen Guddeti |
A Dynamic Restart Strategy for Randomized BT Search. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Daoxu Chen, Jian Lu 0001 |
A Mobile Agent Enabled Approach for Distributed Deadlock Detection. |
GCC |
2004 |
DBLP DOI BibTeX RDF |
Mobile Computing, Mobile Agent, Deadlock Detection |
9 | Jingyang Zhou, Xiaolin Chen, Han Dai, Jiannong Cao 0001, Daoxu Chen |
M-Guard: A New Distributed Deadlock Detection Algorithm Based on Mobile Agent Technology. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jipeng Zhou, Francis C. M. Lau 0001 |
Fault-Tolerant Wormhole Routing Algorithm in 2D Meshes Without Virtual Channels. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Lin Liu 0003, Jonathan Billington |
Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. |
MMM |
2004 |
DBLP DOI BibTeX RDF |
Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets |
9 | German Florez, Zhen Liu, Susan Bridges, Rayford B. Vaughn, Anthony Skjellum |
Detecting Anomalies in High-Performance Parallel Programs. |
ITCC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Rolf H. Möhring, Ekkehard Köhler, Ewgenij Gawrilow, Björn Stenzel |
Conflict-free Real-time AGV Routing. |
OR |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Cyrille Artho, Klaus Havelund |
Applying Jlint to Space Exploration Software. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz |
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. |
DS-RT |
2004 |
DBLP DOI BibTeX RDF |
Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS |
9 | Peter T. Breuer, Marisol García-Valls |
Static Deadlock Detection in the Linux Kernel. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Gertrude Neuman Levine |
Defining deadlock with fungible resources. |
ACM SIGOPS Oper. Syst. Rev. |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Jesús E. Villadangos, Federico Fariña, Alberto Córdoba, José Ramón González de Mendívil, José Ramón Garitagoitia |
Knot Resolution Algorithm and its Performance Evaluation. |
PDP |
2003 |
DBLP DOI BibTeX RDF |
|
9 | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
Smart play-out. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs |
9 | Philip K. F. Hölzenspies, Erik Schepers, Wouter Bach, Mischa Jonker, Bart Sikkes, Gerard J. M. Smit, Paul J. M. Havinga |
A Communication Model Based on an n-Dimensional Torus Architecture Using Deadlock-Free Wormhole Routing. |
DSD |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Thomas Villiger, Hubert Kaeslin, Frank K. Gürkaynak, Stephan Oetiker, Wolfgang Fichtner |
Self-Timed Ring for Globally-Asynchronous Locally-Synchronous Systems. |
ASYNC |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Mahadevan Subramaniam |
Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Ernesto Novillo, Paul Lu |
A Case Study of Selected SPLASH-2 Applications and the SBT Debugging Tool. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser |
Experiments with Test Case Generation and Runtime Analysis. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Pablo Boronat, Vicent Cholvi |
A Transformation to Provide Deadlock-Free Programs. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Atsushi Ohta, Kohkichi Tsuji |
Insufficiently marked siphon of Petri nets - extension of token-free siphon. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | 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 |
9 | Hui Wu 0001, Wei-Ngan Chin, Joxan Jaffar |
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
distributed deadlock avoidance, partially ordered rank, wait-for graph, concurrency control |
9 | James B. Lim, Ali R. Hurson |
Transaction Processing in Mobile, Heterogeneous Database Systems. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
global information sharing process, caching and prefetching, simulation and analysis, concurrency control, Mobile computing environment |
9 | Soojung Le |
Fast Detection and Resolution of Generalized Distributed Deadlock. |
PDP |
2002 |
DBLP DOI BibTeX RDF |
distributed deadlock, generalized deadlock, distributed algorithms, deadlock detection, deadlock resolution |
9 | Jaeyong Shim, Dongsoo Han, Hongsoog Kim |
Communication Deadlock Detection of Inter-organizational Workflow Definition. |
DNIS |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Ahmad Khonsari, Alireza Farahani, Mohamed Ould-Khaoua |
Disha: A Performance Model of a True Fully Adaptive Routing Algorithm in k-Ary n-Cubes. |
MASCOTS |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Kurt Lautenbach |
Reproducibility of the Empty Marking. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Yu Lei 0001, Kuo-Chung Tai |
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. Verbeek |
An Alternative Way to Analyze Workflow Graphs. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Alex Groce, Willem Visser |
Model checking Java programs using structural heuristics. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
model checking, testing, heuristics, coverage metrics |
9 | Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian |
A Reflective Middleware Framework for Communication in Dynamic Environments. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Patrice Godefroid, Sarfraz Khurshid |
Exploring Very Large State Spaces Using Genetic Algorithms. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Naoyasu Ubayashi, Tetsuo Tamai |
Aspect-oriented programming with model checking. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
checking frameworks, model checking, validation |
9 | Dong Xiang, Ai Chen |
Fault-Tolerant Routing in 2D Tori or Meshes Using Limited-Global-Safety Information. |
ICPP |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Yong Ho Song, Timothy Mark Pinkston |
A New Mechanism for Congestion and Deadlock Resolution. |
ICPP |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Eric Goubault, Martin Raußen |
Dihomotopy as a Tool in State Space Analysis. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Geraldo Pereira de Souza, Gerson Henrique Pfitscher |
An Implementation of a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Based on the CSP Model and Java. |
DS-RT |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Michael D. Beynon, Henrique Andrade, Joel H. Saltz |
Low-Cost Non-Intrusive Debugging Strategies for Distributed Parallel Programs. |
CLUSTER |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Dah-Ming Chiu, Miriam Kadansky, Radia J. Perlman, John Reynders, Guy L. Steele Jr., Murat Yuksel |
Deadlock-Free Routing Based on Ordered Links. |
LCN |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Adi Botea |
Using Abstraction for Heuristic Search and Planning. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
9 | José Duato, Timothy Mark Pinkston |
A General Theory for Deadlock-Free Adaptive Routing Using a Mixed Set of Resources. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
General theory for deadlock-free fully adaptive routing, nonatomic queue allocation, irregular networks, regular networks |
9 | Alex Aizman |
Easy concurrency. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Rules of concurrency, Application, Conflict, Relationship, Operation, Resource |
9 | Wil M. P. van der Aalst |
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. |
Inf. Syst. Frontiers |
2001 |
DBLP DOI BibTeX RDF |
workflow change, petri nets, workflow management, dynamic change |
9 | Ricardo Pena, Clara Segura |
Sized Types for Typing Eden Skeletons. |
IFL |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Katharina Mehner |
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. |
Software Visualization |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Kuo-Chung Tai, Bengi Karaçali |
On Godefroid's Stateless Search Technique for Testing Concurrent Programs. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Valérie Gouranton, Pierre Réty, Helmut Seidl |
Synchronized Tree Languages Revisited and New Applications. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
tree-tuple language, concurrency, rewriting |
9 | Dieter Kranzlmüller, Rene Kobler, Jens Volkert |
Event Manipulation for Nondeterministic Shared-Memory Programs. |
HPCN |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Paola Inverardi, Massimo Tivoli |
Automatic synthesis of deadlock free connectors for COM/DCOM applications. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Lennart Beringer |
Typing Assembly Programs with Explicit Forwarding. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Paolo Baldan, Andrea Corradini 0001, Barbara König 0001 |
A Static Analysis Technique for Graph Transformation Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Paola Inverardi, Simone Scriboni |
Connectors Synthesis for Deadlock-Free Component-Based Architectures. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Vladimír Marík, Martyn Fletcher, Michal Pechoucek |
Holons & Agents: Recent Developments and Mutual Impacts. |
Multi-Agent-Systems and Applications |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Michihiro Koibuchi, Akira Funahashi, Akiya Jouraku, Hideharu Amano |
L-Turn Routing: An Adaptive Routing in Irregular Networks. |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Toshinori Takabatake, Masato Kitakami, Hideo Ito |
Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Gabriele Manduchi, Michele Moro |
Automatic verification for a class of distributed systems. |
Distributed Comput. |
2000 |
DBLP DOI BibTeX RDF |
Distributed Systems, State Space reduction, Computer aided verification, State Transition Systems |
9 | Dinesh Kadamuddi, Jeffrey J. P. Tsai |
Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Parallel processing, distributed application, deadlock, clustering algorithm, synchronous communication, software environment |
9 | A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson |
SMC: a symmetry-based model checker for verification of safety and liveness properties. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
model checking, automata |
9 | Bettina Kemme, Gustavo Alonso |
A new approach to developing and implementing eager database replication protocols. |
ACM Trans. Database Syst. |
2000 |
DBLP DOI BibTeX RDF |
one-copy-serializability, total error multicast, fault-tolerance, group communication, database replication, replica control, isolation levels |
9 | Karsten Schmidt 0004 |
LoLA: A Low Level Analyser. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Jessica Chen |
On Using Static Analysis in Distributed System Testing. |
EDO |
2000 |
DBLP DOI BibTeX RDF |
Distributed Systems, CORBA, Automata, Nondeterminism, Specification-based Testing |
9 | Bangqing Li, Baowen Xu, Hongji Yang, William C. Chu |
ConC++: A Concurrent C++. |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
ConC++, concurrent class, protected class, concurrent object-oriented, C++ |
9 | Stefan Bussmann, Klaus Schild |
Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
9 | José Flich, Manuel P. Malumbres, Pedro López 0001, José Duato |
Performance evaluation of a new routing strategy for irregular networks with source routing. |
ICS |
2000 |
DBLP DOI BibTeX RDF |
networks of workstations, wormhole switching, irregular topologies, source routing, minimal routing |
9 | Juhana Helovuo, Antti Valmari |
Checking for CFFD-Preorder with Tester Processes. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
9 | David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill |
Java Model Checking. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
9 | JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi |
Using Multicast Communication to Reduce Deadlock in Replicated Databases. |
SRDS |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Satish Chandra 0001, Brad Richards, James R. Larus |
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
distributed systems, verification, Domain-specific languages, continuations, cache coherence |
9 | Federico Silla, José Duato |
Is It Worth the Flexibility Provided by Irregular Topologies in Networks of Workstations? |
CANPC |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Frank Huch |
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
distributed system, model checking, verification, abstract interpretation, Erlang |
9 | Woochun Jun |
Providing High Concurrency in Object-Oriented Database Systems. |
DANTE |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Marco Caccamo, Giuseppe Lipari, Giorgio C. Buttazzo |
Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines. |
RTSS |
1999 |
DBLP DOI BibTeX RDF |
hybrid task sets, dynamic deadlines, Real-time scheduling, resource constraints |
9 | S. Misbah Deen |
Resolution of Preferential Conflicts in Agent Based Cooperative Processes. |
ICPP Workshops |
1999 |
DBLP DOI BibTeX RDF |
Conflict Resolution, Preferences, Cooperation Model |
9 | Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi |
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. |
ICPP Workshops |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, verification, timed automata, deadlock freeness |
9 | Jean Mayo, Phil Kearns |
Distributed Deadlock Detection and Resolution Based on Hardware Clocks. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda |
Definition of Deadlock Patterns for Business Processes Workflow Models. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Antti Puhakka, Antti Valmari |
Weakest-Congruence Results for Livelock-Preserving Equivalences. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Barbara König 0001 |
Generating Type Systems for Process Graphs. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
9 | David F. Redmiles |
Can Model Checking Scale to Software? (Panel). |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Shih-Chang Wang, Hung-Yau Lin, Sy-Yen Kuo, Yennun Huang |
A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Zhichen Xu, Barton P. Miller, Oscar Naim |
Dynamic Instrumentation of Threaded Applications. |
PPoPP |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Soojung Lee, Yoonjoon Lee |
A Distributed Algorithm for Deadlock Detection under OR-request Model. |
SRDS |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Steven Gordon, Jonathan Billington |
Analysing a Missile Simulator with Coloured Petri Nets. |
Int. J. Softw. Tools Technol. Transf. |
1998 |
DBLP DOI BibTeX RDF |
Missile simulator design, Simulation, Distributed systems, Coloured Petri nets, Reachability analysis |
9 | Prasant Mohapatra |
Wormhole Routing Techniques for Directly Connected Multicomputer Systems. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|