|
|
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 |
20 | ZhiWu Li 0001, MengChu Zhou, MuDer Jeng |
A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions. |
IEEE Trans Autom. Sci. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Roberto Bruni, Leonardo Gaetano Mezzina |
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Kohei Suenaga |
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer III |
Phasers: a unified deadlock-free construct for collective and point-to-point synchronization. |
ICS |
2008 |
DBLP DOI BibTeX RDF |
barriers, semaphores |
20 | Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi 0001 |
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | César Sánchez 0001, Henny B. Sipma, Zohar Manna |
Generating Efficient Distributed Deadlock Avoidance Controllers. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Dominique Duhaut, Elian Carrillo, Sébastien Saint-Aimé |
Avoiding deadlock in multi-agent systems. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Peter T. Breuer, Simon Pickin 0001, María M. Larrondo-Petrie |
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Peter T. Breuer, Simon Pickin 0001 |
Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ming Li, Qing-An Zeng, Wen-Ben Jone |
DyXY: a proximity congestion-aware deadlock-free dynamic routing method for network on chip. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
network-on-chip, theory, packet routing, queuing |
20 | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu |
Deadlock Prevention in the Æthereal Protocol. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Bharath N, Nagaraju Bussa |
Artificial Deadlock Detection in Process Networks for ECLIPSE. |
ASAP |
2005 |
DBLP DOI BibTeX RDF |
|
20 | ZhiWu Li 0001, MengChu Zhou |
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Gang Wu, ZhiQiang Tang, Shi-liang Tu |
A New Approach to Deadlock Avoidance in Embedded System. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Behzad Bordbar, Kozo Okano |
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Yau-Ming Sun, Chih-Hsueh Yang, Yeh-Ching Chung, Tai-Yi Huang |
An Efficient Deadlock-Free Tree-Based Routing Algorithm for Irregular Wormhole-Routed Networks Based on the Turn Model |
ICPP |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe |
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
20 | SungHo Cho |
A Hybrid Concurrency Control with Deadlock-free Approach. |
ICCSA (2) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Susumu Horiguchi, Yasuyuki Miura |
Performance of Deadlock-Free Adaptive Routing for Hierarchical Interconnection Network TESH. |
DFT |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng |
A Run-Time Deadlock Detector for Concurrent Java Programs. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Pedro López 0001, José Flich, José Duato |
Deadlock-Free Routing in InfiniBand through Destination Renaming. |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Toshinori Takabatake, Masato Kitakami, Hideo Ito |
Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Paola Inverardi, Sebastián Uchitel |
Proving Deadlock Freedom in Component-Based Programming. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Ingebjørg Theiss, Olav Lysne |
Deadlock Avoidance for Wormhole Based Switches. |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Victor Khomenko, Maciej Koutny |
LP Deadlock Checking Using Partial Order Dependencies. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Naoki Kobayashi 0001, Shin Saito, Eijiro Sumii |
An Implicitly-Typed Deadlock-Free Process Calculus. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Stephan Melzer, Stefan Römer |
Deadlock Checking Using Net Unfoldings. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Bülent Abali |
A Deadlock Avoidance Method for Computer Networks. |
CANPC |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Claude Bermond, Miriam Di Ianni, Michele Flammini, Stephane Perennes |
Acyclic Orientations for Deadlock Prevention in Interconnection Networks (Extended Abstract). |
WG |
1997 |
DBLP DOI BibTeX RDF |
communication in interconnection networks, routing, parallel algorithms, graph theory, computational and structural complexity |
20 | Yungho Choi, Timothy Mark Pinkston |
Crossbar Analysis for Optimal Deadlock Recovery Router Architecture. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
20 | José Duato, Pedro López 0001, Sudhakar Yalamanchili |
Deadlock- and Livelock-Free Routing Protocols for Wave Switching. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
20 | James C. Corbett |
Evaluating Deadlock Detection Methods for Concurrent Software. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Concurrency analysis, inequality necessary conditions, empirical evaluation, symbolic model checking, state space reduction, Ada tasking |
20 | P. Krishna Reddy, Subhash Bhalla |
Deadlock Prevention in a Distributed Database System. |
SIGMOD Rec. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Peter Kemper |
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz |
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
Ada |
20 | Pedro López 0001, José Duato |
Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and Solutions. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Ziqiang Liu, José Duato, Lars-Erik Thorelli |
Grouping Virtual Channels for Deadlock-Free Adaptive Wormhole Routing. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Luca Aceto, Matthew Hennessy |
Termination, Deadlock, and Divergence. |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Marc Adamo, N. Alhafez |
Minimal, Adaptive and Deadlock-Free Routing for Multiprocessors. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
20 | José Duato |
Deadlock-free adaptive routing algorithms for multicomputers: evaluation of a new algorithm. |
SPDP |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Francis Chi-Moon Lau, S. W. Lau |
Propagating buffer: a new approach to deadlock freedom in store-and-forward networks. |
SPDP |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Yoram Ofek, Moti Yung |
Efficient Mechanism for Fairness and Deadlock-Avoidance in High-Speed Networks. |
WDAG |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Léon Mugwaneza, Traian Muntean, Ibrahima Sakho |
A Deadlock Free Routing Algorithm with Network Size Independent Buffering Space. |
CONPAR |
1990 |
DBLP DOI BibTeX RDF |
|
20 | J. Kent Peacock |
Deadlock Avoidance in Loosely-Coupled Multiprocessors with Finite Buffer Pools. |
ACM SIGOPS Oper. Syst. Rev. |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Marta Rukoz |
A Distributed Solution for Detecting Deadlock in Distributed Nested Transaction Systems. |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
distributed computation, distributed databases, deadlocks, distributed transactions, nested transactions |
20 | Luca Aceto, Matthew Hennessy |
Termination, Deadlock and Divergence. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Marina Roesler, Walter A. Burkhard |
Deadlock Resolution and Semantic Lock Models in Object-Oriented Distributed Systems. |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Udo Kelter |
The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol. |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Claudio Arbib, Giuseppe F. Italiano, Alessandro Panconesi |
Predicting deadlock in Store-and-Forward Networks. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Ferenc Belik |
A Distributed Deadlock Avoidance Technique. |
WDAG |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Dushan Z. Badal |
The Distributed Deadlock Detection Algorithm. |
ACM Trans. Comput. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Y.-T. Leung, Burkhard Monien |
On the Complexity of Deadlock Recovery. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Henry F. Korth, Ravi Krishnamurthy, Anil Nigam, John T. Robinson |
A Framework for Understanding Distributed (Deadlock Detection) Algorithms. |
PODS |
1983 |
DBLP DOI BibTeX RDF |
|
20 | Ron Obermarck |
Distributed Deadlock Detection Algorithm. |
ACM Trans. Database Syst. |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Tiko Kameda |
Testing Deadlock-Freedom of Computer Systems. |
J. ACM |
1980 |
DBLP DOI BibTeX RDF |
|
19 | Peter Grogono, Nima Jafroodi |
A fair protocol for non-deterministic message passing. |
C3S2E |
2010 |
DBLP DOI BibTeX RDF |
communication, concurrency, fairness, message passing, deadlock |
19 | John D. Carter, William B. Gardner, Gary Gréwal |
The pilot library for novice MPI programmers. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
cluster programming, c, high-performance computing, deadlock detection, mpi, collective operations |
19 | Ya-Shu Chen, Li-Pin Chang |
A real-time configurable synchronization protocol for self-suspending process sets. |
Real Time Syst. |
2009 |
DBLP DOI BibTeX RDF |
Resource synchronization protocol, Priority ceiling, Real-time systems, Deadlock prevention |
19 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Relational concurrent refinement part II: Internal operations and outputs. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs |
19 | Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera |
Towards Compositional Verification in MEDISTAM-RT Methodological Framework. |
IWANN (2) |
2009 |
DBLP DOI BibTeX RDF |
Real-time, Communication Protocols, Deadlock-freeness |
19 | Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha |
Safe open-nested transactions through ownership. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
abstract serializability, open-nested transactions, ownership-aware transactions, safe nesting, semantic deadlock, serializability by modules, transactional memory semantics, xmodules, semantics, transactional memory, ownership types |
19 | Chinmay Eishan Kulkarni, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero |
Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
parallel programming, concurrency, transactional memory, deadlocks, deadlock-detection |
19 | Ye Zhou, Edward A. Lee |
Causality interfaces for actor networks. |
ACM Trans. Embed. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
behavioral types, interfaces, deadlock, data flow, causality, Actors, synchronous languages, timed systems, discrete-event models |
19 | Maurizio Palesi, Giuseppe Longo, Salvatore Signorino, Rickard Holsmark, Shashi Kumar, Vincenzo Catania |
Design of Bandwidth Aware and Congestion Avoiding Efficient Routing Algorithms for Networks-on-Chip Platforms. |
NOCS |
2008 |
DBLP DOI BibTeX RDF |
Application Specific Routing, Network on Chip, Routing Algorithm, Deadlock, Congestion, Router Design |
19 | Michihiro Koibuchi, Hiroki Matsutani, Hideharu Amano, Timothy Mark Pinkston |
A Lightweight Fault-Tolerant Mechanism for Network-on-Chip. |
NOCS |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance, reliability, Network-on-Chip, routing algorithm, deadlock avoidance, on-chip network |
19 | Mathias Kohler, Andreas Schaad |
Avoiding Policy-based Deadlocks in Business Processes. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Security, Access Control, Business Process, Deadlock Avoidance |
19 | Daniel Gómez 0002, Jesús A. Trujillo, Enrique Baeyens, Eduardo Julio Moya de la Moya |
Analysis of Production Systems Using the VS-Diagram. |
DCAI |
2008 |
DBLP DOI BibTeX RDF |
FPM, VS Diagram, Petri Nets, Deadlock, Production Systems, PLC |
19 | Grzegorz Bocewicz, Robert Wójcik, Zbigniew Antoni Banaszak |
Agvs Distributed Control Subject to Imprecise Operation Times. |
KES-AMSTA |
2008 |
DBLP DOI BibTeX RDF |
scheduling, fuzzy set, knowledge engineering, constraints logic programming, deadlock avoidance |
19 | Edya Ladan-Mozes, Charles E. Leiserson |
A consistency architecture for hierarchical shared caches. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
mapping collision, message race, progressive protocol, memory hierarchy, deadlock, sequential consistency, cache consistency, shared caches, fat-tree |
19 | Jan A. Bergstra, Cornelis A. Middelburg |
Thread algebra for strategic interleaving. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Interleaving strategies, Services, Threads, Multi-threading, Deadlock freedom, Thread algebra |
19 | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
Code aware resource management. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, deadlock avoidance, code analysis |
19 | Quan Lu, Maged M. Dessouky, Robert C. Leachman |
Modeling train movements through complex rail networks. |
ACM Trans. Model. Comput. Simul. |
2004 |
DBLP DOI BibTeX RDF |
modeling, Trains, deadlock, dispatching |
19 | M. M. Hafizur Rahman, Susumu Horiguchi |
High Performance Hierarchical Torus Network under Matrix Transpose Traffic Patterns. |
ISPAN |
2004 |
DBLP DOI BibTeX RDF |
HTN, matrix transpose traffic pattern, dynamic communication performance, deadlock-free routing |
19 | Jipeng Zhou, Francis C. M. Lau 0001 |
Adaptive Fault-Tolerant Wormhole Routing with Two Virtual Channels in 2D Meshes. |
ISPAN |
2004 |
DBLP DOI BibTeX RDF |
adaptive fault-tolerant rout-ing, disjoint fault-connected regions, wormhole routing, Virtual channel, deadlock freedom |
19 | Mark J. Karol, S. Jamaloddin Golestani, David Lee |
Prevention of deadlocks and livelocks in lossless backpressured packet networks. |
IEEE/ACM Trans. Netw. |
2003 |
DBLP DOI BibTeX RDF |
backpressure, livelock prevention, lossless networks, congestion control, deadlock prevention, bounded delay |
19 | Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, Alberto Córdoba |
A Safe Algorithm for Resolving OR Deadlocks. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, OR request model, distributed systems, distributed algorithms |
19 | P. Krishna Reddy, Subhash Bhalla |
Asynchronous Operations in Distributed Concurrency Control. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
nonblocking protocols, distributed algorithms, distributed databases, Concurrency control, serializability, deadlock avoidance |
19 | Spyros A. Reveliotis |
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
sequential resource allocation systems, Petri net structural analysis, siphons, deadlock resolution |
19 | Marc Geilen, Twan Basten |
Requirements on the Execution of Kahn Process Networks. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
Kahn Principle, multi-processor architectures, streaming, signal processing, dynamic scheduling, media processing, Kahn process networks, deadlock resolution |
19 | Elvira Baydal, Pedro López 0001, José Duato |
Increasing the Adaptivity of Routing Algorithms for k-ary n-cubes. |
PDP |
2002 |
DBLP DOI BibTeX RDF |
deadlock handling, performance evaluation, adaptive routing, wormhole switching |
19 | Raul Silaghi, Alfred Strohmeier |
Critical Evaluation of the EJB Transaction Model. |
FIDJI |
2002 |
DBLP DOI BibTeX RDF |
Auction System, Concurrency, Transactions, Deadlock, EJB, Enterprise JavaBeans |
19 | Akiya Jouraku, Michihiro Koibuchi, Hideharu Amano, Akira Funahashi |
Routing Algorithms Based on 2D Turn Model for Irregular Networks. |
ISPAN |
2002 |
DBLP DOI BibTeX RDF |
up/down routing, turn model based routing, traffic balancing, simulation, irregular network, deadlock-free |
19 | Ge-Ming Chiu |
The Odd-Even Turn Model for Adaptive Routing. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
mesh, deadlock, wormhole routing, Adaptive routing, turn model |
19 | Young-Joo Suh, Binh Vien Dao, José Duato, Sudhakar Yalamanchili |
Software-Based Rerouting for Fault-Tolerant Pipelined Communication. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
E-cube routing, livelock freedom, fault tolerance, interconnection networks, multiprocessors, adaptive routing, wormhole switching, oblivious routing, deadlock freedom, virtual cut-through switching |
19 | Federico Silla, José Duato |
High-Performance Routing in Networks of Workstations with Irregular Topology. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
adaptive routing, Networks of workstations, wormhole switching, deadlock avoidance, irregular topologies |
19 | Xicheng Liu, Sijing Zhang, Timothy J. Li |
A Cost-Effective Load Balanced Adaptive Routing Scheme for Mesh-Connected Networks. |
MASCOTS |
2000 |
DBLP DOI BibTeX RDF |
VBMAR, Crossed turn model, Load balance, Adaptive routing, Virtual channel, Network performance, Deadlock freedom |
19 | Peter H. Welch, Jeremy M. R. Martin |
A CSP Model for Java Multithreading. |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock |
19 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Inference of message sequence charts. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom |
19 | Vara Varavithya, Prasant Mohapatra |
Asynchronous Tree-Based Multicasting in Wormhole-Switched MINs. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
Asynchronous tree-based multicasting, deadlock configurations, multicast routing algorithm, multistage interconnection networks, wormhole switching |
19 | Sugath Warnakulasuriya, Timothy Mark Pinkston |
Characterization of Deadlocks in Irregular Networks. |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
deadlock characterization, non-atomic buffer allocation, Interconnection networks, adaptive routing, irregular topology |
19 | W. Stephen Lacy, José Cruz-Rivera, D. Scott Wills |
The Offset Cube: A Three-Dimensional Multicomputer Network Topology Using Through-Wafer Optics. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
MPP networks, ultra-compact systems, offset cube, 3D packaging, through-wafer signaling, adaptive routing, optical interconnect, deadlock freedom, 3D mesh |
19 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata |
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs |
19 | Pao-Ann Hsiung |
Parallel Object-Oriented Synthesis Environment Based On Message-Passing. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
Object-Oriented Synthesis, Emptiness, Message-Passing, Deadlock, Parallel Design |
19 | Mahamed Adda |
A Scalable Multibus Configuration for Connecting Transputer Links. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
CSMA/CD protocol, scalability, latency, deadlock, packet routing, Transputers, virtual cut-through |
19 | Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre |
Petri nets based proofs of Ada 95 solution for preference control. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects |
19 | James B. Hiller, Thomas C. Hartrum |
Conservative Synchronization in Object-Oriented Parallel Battlefield Discrete Event Simulations. |
Workshop on Parallel and Distributed Simulation |
1997 |
DBLP DOI BibTeX RDF |
execution time savings, generic simulation attributes, logical correctness, null message algorithm, parallel battlefield discrete event simulations, simulation system design, spatially decomposed simulation, deadlock, military computing, performance gain, object-oriented simulation, load imbalance, conservative synchronization |
19 | Gerardo Lamastra, Giuseppe Lipari, Giorgio C. Buttazzo, Antonino Casile, Fabio Conticelli |
HARTIK 3.0: a portable system for developing real-time applications. |
RTCSA |
1997 |
DBLP DOI BibTeX RDF |
HARTIK 3.0, soft multimedia, Intel 80/spl times/86 processors, DEC Alpha AXP-PCI-33, bounded blocking time, chained blocking, time bounded communication paradigm, distributed systems, embedded systems, predictability, deadlock, timing constraints, portability, toolkit, dynamic scheduling, real-time applications, software portability, microcontrollers, application designer, portable system |
19 | Axel Wabenhorst, John Potter |
Modelling Multi-Threading in Java. |
TOOLS (25) |
1997 |
DBLP DOI BibTeX RDF |
Java, formal methods, refinement, objects, deadlock, multi-threading, action systems |
19 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata |
A new compositional method for condensed state-space verification. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion |
Displaying result #401 - #500 of 2813 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|