|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 223 occurrences of 147 keywords
|
|
|
Results
Found 150 publication records. Showing 150 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | J. Robin B. Cockett |
What Is a Good Process Semantics? |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jaco Geldenhuys, Henri Hansen |
Larger Automata and Less Work for LTL Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Farshad Safaei, Mostafa Rezazad, Ahmad Khonsari, Mahmood Fathy, Mohamed Ould-Khaoua, Nasser Alzeidi |
Software-based fault-tolerant routing algorithm in multidimensional networks. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Lucia Acciai, Michele Boreale |
Responsiveness in Process Calculi. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Zoë R. Stephenson, John A. McDermid, Jason Choy |
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Rob J. van Glabbeek, Marc Voorhoeve |
Liveness, Fairness and Impossible Futures. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu 0029, Jinshan Yu |
Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. |
APWeb |
2006 |
DBLP DOI BibTeX RDF |
|
14 | 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 |
14 | 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 |
14 | Jie Wu 0001, Li Sheng 0001 |
Deadlock-Free Multicasting in Irregular Networks Using Prefix Routing. |
J. Supercomput. |
2005 |
DBLP DOI BibTeX RDF |
prefix routing, multicasting, multiprocessor systems, deadlock |
14 | Naoki Kobayashi 0001 |
Type-based information flow analysis for the pi-calculus. |
Acta Informatica |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yanping Yang, QingPing Tan, Yong Xiao |
Verifying web services composition based on hierarchical colored petri nets. |
IHIS |
2005 |
DBLP DOI BibTeX RDF |
CP-net, web service, verification, composition, transformation |
14 | Khaled Salah 0001 |
An Analytical Model for Evaluating Interrupt-Driven System Performance of Gigabit Ethernet Hosts with Finite Buffer. |
ISCC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Xinhua Zhang, Peter Loh |
A Fault-Tolerant Routing Strategy for Fibonacci-Class Cubes. |
Asia-Pacific Computer Systems Architecture Conference |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Huaxi Gu, Zengji Liu, Jungang Yang, Zhiliang Qiu, Guochang Kang |
Building a Terabit Router with XD Networks. |
Asia-Pacific Computer Systems Architecture Conference |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Brawerman, Douglas M. Blough, Benny Bing |
Securing the download of radio configuration files for software defined radio devices. |
Mobility Management & Wireless Access Protocols |
2004 |
DBLP DOI BibTeX RDF |
analysis of protocols, radio configuration, security and privacy issues and software |
14 | Ramesh Vasappanavara, Sasikiran Kandula, Nimmagadda Chalamaiah |
Fault Tolerance Studies for Wormhole Routing in Multiconnected Double-Loop Networks. |
AACC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jipeng Zhou, Francis C. M. Lau 0001 |
Fault-Tolerant Wormhole Routing Algorithm in 2D Meshes Without Virtual Channels. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Randal C. Burns |
Fastpath Optimizations for Cluster Recovery in Shared-Disk Systems. |
SC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater |
Notations for the Specification and Verification of Composite Web Services. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Brad Long, Benjamin W. Long |
Formal Specification of Java Concurrency to Assist Software Verification. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Loh Peter, Xinhua Zhang |
A Fault-tolerant Routing Strategy for Gaussian Cube Using Gaussian Tree. |
ICPP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jonghun Park, Tao Yang |
A Protocol for Fast Co-Allocation of Shared Web Services. |
TES |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jeffrey J. P. Tsai, Eric Y. T. Juan |
Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Paola Inverardi, Massimo Tivoli |
Automatic Failures-Free Connector Synthesis: An Example. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Moustafa A. Youssef 0001, Arunchandar Vasan 0001, Raymond E. Miller |
Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines. |
ICNP |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Ludek Kucera |
Wait-Free Deflection Routing of Long Messages. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
throughput, latency, contention, Deflection routing, fully adaptive routing |
14 | Peter K. K. Loh, Heiko Schröder, Wen-Jing Hsu |
Fault-Tolerant Routing on Complete Josephus Cubes. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Seungjin Park, Jong-Hoon Youn, Bella Bose |
Fault-Tolerant Wormhole Routing Algorithms in Meshes in the Presence of Concave Faults. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
concave faults, fault-tolerant, wormhole routing, mesh network, virtual channel |
14 | Jipeng Zhou, Francis C. M. Lau 0001 |
Fault-Tolerant Wormhole Routing in 2D Meshes. |
ISPAN |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Kourosh Gharachorloo, Madhu Sharma, Simon Steely, Stephen Van Doren |
Architecture and design of AlphaServer GS320. |
ASPLOS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Jerzy Brzezinski, Michal Sajkowski |
Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure. |
SRDS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Rajendra V. Boppana, Suresh Chalasani |
Fault-Tolerant Communication with Partitioned Dimension-Order Routers. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
Cray T3D router, dimension-order router, wormhole routing, fault-tolerant routing, message routing, torus networks, multicomputer networks |
14 | Gerard J. Holzmann |
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Hui Shi 0001, Jan Peleska 0001, Michel Kouvaras |
Combining Methods for the Analysis of a Fault-Tolerant System. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Chris M. N. Tofts, Graham M. Birtwistle |
A Denotational Semantics for a Process-Based Simulation Language. |
ACM Trans. Model. Comput. Simul. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Fong Pong, Michel Dubois 0001 |
Verification Techniques for Cache Coherence Protocols. |
ACM Comput. Surv. |
1997 |
DBLP DOI BibTeX RDF |
state representation and expansion, finite state machine, shared-memory multiprocessors, cache coherence, protocol verification |
14 | Christopher J. Glass, Lionel M. Ni |
Fault-Tolerant Wormhole Routing in Meshes without Virtual Channels. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
Wormhole routing, adaptive routing, mesh networks, fault-tolerant routing, dynamic faults |
14 | Suresh Chalasani, Rajendra V. Boppana |
Fault-Tolerance with Multimodule Routers. |
HPCA |
1996 |
DBLP DOI BibTeX RDF |
multimodule routers, fault-tolerance, communication, multicomputers, wormhole switching, deadlock-free routing |
14 | Dimiter R. Avresky, Chris M. Cunningham |
Single Source Fault-Tolerant Broadcasting for Two-Dimensional Meshes Without Virtual Channels. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Xuemin Lin 0001, Jian Chen |
An optimal deadlock resolution algorithm in multidatabase systems. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution |
14 | Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas |
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Paul Mukherjee |
System Refinement in VDM-SL. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Hong Liu 0004, Raymond E. Miller |
Reachability Problems for Cyclic Protocols. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
Fair Reachability Analysis, Verification, Communication Protocols, Reachability Analysis, State Explosion |
14 | Rajendra V. Boppana, Suresh Chalasani |
Fault-tolerant routing with non-adaptive wormhole algorithms in mesh networks. |
SC |
1994 |
DBLP DOI BibTeX RDF |
block faults, nonadaptive routing, deadlocks, wormhole routing, mesh networks, fault-tolerant routing, multicomputer networks |
14 | John Kubiatowicz, David Chaiken, Anant Agarwal |
Closing the Window of Vulnerability in Multiphase Memory Transactions. |
ASPLOS |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Jingde Cheng, Kazuo Ushijima |
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. |
Ada-Europe |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
14 | Chris R. Jesshope, P. R. Miller, Jay T. Yantchev |
High Performance Communications in Processor Networks. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Kari-Jouko Räihä, Henry Tirri |
Towards a Theory of Online Schedulers. |
PODS |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #150 of 150 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|