Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
130 | John Jardine, Quinn Snell, Mark J. Clement |
Livelock Avoidance for Meta-Schedulers. |
HPDC |
2001 |
DBLP DOI BibTeX RDF |
exponential back-off, Livelock, meta-scheduling |
103 | Uriel Feige, Robert Krauthgamer |
Networks on Which Hot-Potato Routing Does Not Livelock. |
Distributed Comput. |
2000 |
DBLP DOI BibTeX RDF |
Hot-potato packet routing, chordal graphs, tree networks, livelock |
89 | Jeffrey C. Mogul, K. K. Ramakrishnan |
Eliminating Receive Livelock in an Interrupt-Driven Kemel. |
ACM Trans. Comput. Syst. |
1997 |
DBLP DOI BibTeX RDF |
interrupt-driven kernel, scheduling, polling, livelock |
81 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
81 | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
63 | 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 |
62 | Chuanfu Zhang, Yunsheng Liu, Tong Zhang 0008, Yabing Zha, Wei Zhang |
Comments on Order-Based Deadlock Prevention Protocol with Parallel Requests in "A Deadlock and Livelock Free Protocol for Decentralized Internet Resource Co-allocation". |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
ODP3, Deadlock, Co-allocation, Livelock |
62 | Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka |
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Explicit-state model checking, Protocol verification, Livelock, Sliding-window protocol |
62 | Moreno Coli, Paolo Palazzari |
An adaptive deadlock and livelock free routing algorithm. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
livelock free routing algorithm, store and forward deadlocks, interprocessor network systems, buffered packet switched communications, DL free routing, nonadaptive routing modality, interconnection network bandwidth, communication topology, adaptive DL free routing, network buffers, casual movement, transputer based parallel machine, fault tolerant computing, multiprocessor interconnection networks, packet switching, adaptive systems, performance tests, deadlock free routing, fault tolerance capabilities |
62 | Gustavo D. Pifarré, Luis Gravano, Gustavo Denicolay, Jorge L. C. Sanz |
Adaptive Deadlock- and Livelock-Free Routing in the Hypercube Network. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
adaptive deadlock routing, livelock-free routing, routing node, derouting, partially adaptive algorithms, Hanging algorithm, Zenith algorithm, Hanging-Order algorithm, Nonminimal algorithm, Subcubes algorithm, E-Cube routing algorithm, Fully Adaptive Minimal algorithm, performance evaluation, parallel algorithms, parallel architectures, concurrency control, partitioning, hypercube networks, hypercube network, wormhole routing, network routing, Subcubes, Dimension-Order |
53 | Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry 0001 |
The Concept of Deadlock and Livelock in Hybrid Control Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Jonghun Park |
A deadlock and livelock free protocol for decentralized Internet resource coallocation. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Jonghun Park |
A Scalable Protocol for Deadlock and Livelock Free Co-Allocation of Resources in Internet Computing. |
SAINT |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Naoki Kobayashi 0001 |
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz |
Verifying Deadlock- and Livelock Freedom in an SOA Scenario. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
business process composition, livelock freedom, service-oriented architecture, state space reduction |
48 | Luis Gravano, Gustavo D. Pifarré, Pablo E. Berman, Jorge L. C. Sanz |
Adaptive Deadlock- and Livelock-Free Routing with All Minimal Paths in Torus Networks. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
adaptive deadlock-free routing, livelock-free routing, n-dimensional torus network, packet-switched fully-adaptive minimal routing, 4-Classes, dynamic message injectionmodel, performance evaluation, concurrency control, multiprocessor interconnection networks, virtual channels, Channels, torus networks, buffer requirement, minimal paths, traffic patterns, message lengths |
41 | Hassan Chafi, Jared Casper, Brian D. Carlstrom, Austen McDonald, Chi Cao Minh, Woongki Baek, Christos Kozyrakis, Kunle Olukotun |
A Scalable, Non-blocking Approach to Transactional Memory. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Jaehwan Lee 0002, Vincent John Mooney III |
A novel deadlock avoidance algorithm and its hardware implementation. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
deadlock avoidance hardware IP design |
41 | Antti Puhakka |
Weakest Congruence Results Concerning "Any-Lock". |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Xiaolin Chang, Jogesh K. Muppala, Zhen Han, Jiqiang Liu |
Analysis of Interrupt Coalescing Schemes for Receive-Livelock Problem in Gigabit Ethernet Network Hosts. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Elzbieta Roszkowska |
Recognizing and handling the livelock problem in AGV systems. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Richard Carter, Ludmila Cherkasova |
Detecting Timed-Out Client Requests for Avoiding Livelock and Improving Web Server Performance. |
ISCC |
2000 |
DBLP DOI BibTeX RDF |
|
40 | Antti Puhakka, Antti Valmari |
Weakest-Congruence Results for Livelock-Preserving Equivalences. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Bettina Buth, Jan Peleska 0001, Hui Shi 0001 |
Combining Methods for the Livelock Analysis of a Fault-Tolerant System. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
40 | José Duato, Pedro López 0001, Sudhakar Yalamanchili |
Deadlock- and Livelock-Free Routing Protocols for Wave Switching. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Xiaolin Chang, Jogesh K. Muppala, Pengcheng Zou, Xiangkai Li |
A Robust Device Hybrid Scheme to Improve System Performance in Gigabit Ethernet Networks. |
LCN |
2007 |
DBLP DOI BibTeX RDF |
Receive Livelock, interrupt coalescing, polling, Gigabit Ethernet |
36 | Tong Li 0003, Alvin R. Lebeck, Daniel J. Sorin |
Spin Detection Hardware for Improved Management of Multithreaded Systems. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
multithreaded system, scheduling, synchronization, virtualization, multiprocessor, Deadlock, spinning, performance counter, livelock |
36 | 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 |
36 | 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 |
36 | Carl I. Birkinshaw, Peter R. Croll |
Modelling the client-server behaviour of parallel real-time systems using Petri nets. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
client-server behaviour modelling, parallel real-time systems, communication behaviour, potential livelock, client-server behaviour graph, real-time systems, computational complexity, parallel programming, Petri nets, Petri nets, parallel machines, deadlock, client-server systems, hard real-time system, timeliness, communication structure, state explosion problem |
27 | Stylianos Georgoulas, Klaus Moessner, Bruce Mcaleer, Rahim Tafazolli |
Towards efficient protocol design through protocol profiling and verification of performance and operational metrics. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
protocol profiling, model checking, energy efficiency |
27 | Karsten Wolf |
Does My Service Have Partners?. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott |
A comprehensive strategy for contention management in software transactional memory. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
condition synchronization, inevitability, priority, contention management, software transactional memory |
27 | Che-Sheng Lin, Gwan-Hwan Hwang |
Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
27 | SungJin Choi, MaengSoon Baik, Chong-Sun Hwang, Joon-Min Gil, Heon-Chang Yu |
Volunteer Availability based Fault Tolerant Scheduling Mechanism in Desktop Grid Computing Environment. |
NCA |
2004 |
DBLP DOI BibTeX RDF |
|
27 | 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 |
27 | Andrew A. Chien, Jae H. Kim |
Planar-Adaptive Routing: Low-Cost Adaptive Networks for Multiprocessors. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
transmission-order preservation, fault tolerance, parallel processing, interconnection networks, adaptive routing, multicomputers, packet routing |
26 | Benyuan Yang, Hesuan Hu |
Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance. |
IEEE Trans Autom. Sci. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Landon Taylor, Zhen Zhang 0006 |
Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Neil Giridharan, Heidi Howard, Ittai Abraham, Natacha Crooks, Alin Tomescu |
No-Commit Proofs: Defeating Livelock in BFT. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
26 | Alex P. Klinkhamer, Ali Ebnenasir |
On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. |
ACM Trans. Comput. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti 0001 |
Compositional and local livelock analysis for CSP. |
Inf. Process. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti 0001 |
Local Livelock Analysis of Component-Based Models. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Guanjun Liu, Kun Zhang, Changjun Jiang |
Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding. |
ICA3PP |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Yiyan Lin, Sandeep S. Kulkarni |
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001 |
A Static Analysis Framework for Livelock Freedom in CSP |
Log. Methods Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Alex P. Klinkhamer, Ali Ebnenasir |
Verifying Livelock Freedom on Parameterized Rings and Chains. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Alfons Laarman, David Faragó |
Improved on-the-Fly Livelock Detection. |
NASA Formal Methods |
2013 |
DBLP DOI BibTeX RDF |
|
26 | In-Ho Moon, Kevin Harer |
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
26 | Vance Faber |
Livelock free routing schemes |
CoRR |
2012 |
DBLP BibTeX RDF |
|
26 | Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re 0001 |
Livelock and Deadlock Detection for PA Inter-organizational Business Processes. |
EGOVIS/EDEM |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Malay K. Ganai |
Dynamic Livelock Analysis of Multi-threaded Programs. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001 |
Static Livelock Analysis in CSP. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Jie Cao 0001, Zhiang Wu 0001 |
An Improved Protocol for Deadlock and Livelock Avoidance Resource Co-allocation in Network Computing. |
World Wide Web |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Nasi Tantitharanukul, Watcharee Jumpamule |
Detection of LiveLock in BPMN Using Process Expression. |
IAIT |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Christian Stahl, Karsten Wolf |
An Approach to Tackle Livelock-Freedom in SOA. |
AWPN |
2008 |
DBLP BibTeX RDF |
|
26 | Cristina D. Murta, Marco A. Jonack |
Evaluating Livelock Control Mechanisms in a Gigabit Network. |
ICCCN |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Henri Hansen, Wojciech Penczek, Antti Valmari |
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. |
FMICS |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Mouhamed Tidiane Seck, Samba Ndiaye, Ibrahima Elimane Kane, Witold Litwin |
Deadlock and Livelock Free Concurrency Control by Value Dates for Scalable Distributed Data Structures. |
WDAS |
2002 |
DBLP BibTeX RDF |
|
26 | Hae-Kyung Rhee, Ung-Mo Kim |
Transaction Length-Sensitive Scheme for Livelock-Thin Scheduling. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
26 | Jeffrey C. Mogul, K. K. Ramakrishnan |
Eliminating Receive Livelock in an Interrupt-driven Kernel. |
USENIX Annual Technical Conference |
1996 |
DBLP BibTeX RDF |
|
26 | Kuo-Chung Tai |
Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs. |
ICPP (2) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Pablo E. Berman, Luis Gravano, Gustavo D. Pifarré, Jorge L. C. Sanz |
Adaptive Deadlock- and Livelock-Free Routing with all Minimal Paths in Torus Networks. |
SPAA |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Marek Rusinkiewicz, Ernst L. Leiss |
Evaluation of timestamp-based concurrency control mechanisms incorporating livelock avoidance. |
Inf. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Jan K. Pachl |
Two Livelock-Free Protocols for Slotted Rings. |
Comput. J. |
1988 |
DBLP DOI BibTeX RDF |
|
26 | R. K. Shyamasundar |
A Simple Livelock-Free Algorithm for Packet Switching. |
Sci. Comput. Program. |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam |
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
26 | Sam Toueg |
Deadlock- and Livelock-Free Packet Switching Networks |
STOC |
1980 |
DBLP DOI BibTeX RDF |
|
22 | Gadi Taubenfeld |
Contention-Sensitive Data Structures and Algorithms. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
Contention-sensitive, shortcut code, disable-free, prevention-free, k-obstruction-free, synchronization, locks, wait-free, starvation, livelock |
22 | 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 |
22 | Jie Wu 0001 |
A Fault-Tolerant Adaptive and Minimal Routing Approach in 3-D Meshes. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
3-D meshes, fault tolerance, deadlock, adaptive routing, livelock, minimal routing |
22 | Jack Brassil, Rene L. Cruz |
Bounds on Maximum Delay in Networks with Deflection Routing. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
deflection networks, performance analysis, hypercube, livelock, shuffle-exchange, Hot-potato routing, Manhattan Street Network |
14 | Luke Dalessandro, Michael F. Spear, Michael L. Scott |
NOrec: streamlining STM by abolishing ownership records. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
ownership records, transactional memory models, transactional memory, software transactional memory |
14 | Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001 |
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Damian Dechev, Bjarne Stroustrup |
Scalable nonblocking concurrent objects for mission critical code. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
ABA problem prevention, autonomous space software, C++, software transactional memory, nonblocking synchronization |
14 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
Systematic Development of Trustworthy Component Systems. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jin Heo, Tarek F. Abdelzaher |
AdaptGuard: guarding adaptive systems from instability. |
ICAC |
2009 |
DBLP DOI BibTeX RDF |
adaptation graphs, causality assumptions, adaptive systems |
14 | Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui |
Transforming UML models to colored petri nets models using graph grammars. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Javier Navaridas, Mikel Luján, José Miguel-Alonso, Luis A. Plana, Steve B. Furber |
Understanding the interconnection network of SpiNNaker. |
ICS |
2009 |
DBLP DOI BibTeX RDF |
biologically inspired architecture, performance evaluation, fault tolerance, interconnection networks, systems on chip, real-time applications, spiking neurons, massively parallel architecture, analytical evaluation |
14 | Arrvindh Shriraman, Sandhya Dwarkadas |
Refereeing conflicts in hardware transactional memory. |
ICS |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, contention management, conflict detection |
14 | Kunjan Patel, Jong Chern Lim, Chris J. Bleakley, Wim Vanderbauwhede |
MAW: A Reliable Lightweight Multi-hop Wireless Sensor Network Routing Protocol. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | George V. Neville-Neil |
Sizing Your System. |
ACM Queue |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Pejman Lotfi-Kamran, Masoud Daneshtalab, Caro Lucas, Zainalabedin Navabi |
BARP-A Dynamic Routing Protocol for Balanced Distribution of Traffic in NoCs. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Khaled El-Fakih, Nina Yevtushenko 0001 |
Progressive Solutions to FSM Equations. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Christopher Dragert, Jürgen Dingel, Karen Rudie |
Generation of concurrency control code using discrete-event systems theory. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
concurrency, model-driven development, control theory, discrete-event systems, automatic code generation |
14 | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
Model checking transactional memories. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, transactional memories |
14 | Madanlal Musuvathi, Shaz Qadeer |
Fair stateless model checking. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs |
14 | Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan |
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Santanu Kundu, Santanu Chattopadhyay |
Mesh-of-tree deterministic routing for network-on-chip architecture. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
deterministic routing., mesh-of-tree (mot), interconnection networks, system-on-chip (soc), network-on-chip (noc) |
14 | Michael F. Spear, Maged M. Michael, Christoph von Praun |
RingSTM: scalable transactions with a single atomic instruction. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
synchronization, atomicity, software transactional memory |
14 | Philip M. Wells, Koushik Chakraborty, Gurindar S. Sohi |
Adapting to intermittent faults in multicore systems. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
overcommitted system, intermittent faults |
14 | Peter J. Radcliffe, Xinghuo Yu 0001 |
A New Time Independent Asynchronous Protocol and Its Applications. |
IEEE Trans. Ind. Informatics |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Xiaolin Chang, Jogesh K. Muppala, Wei Kong, Pengcheng Zou, Xiangkai Li, Zhongyuan Zheng |
A Queue-based Adaptive Polling Scheme to Improve System Performance in Gigabit Ethernet Networks. |
IPCCC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jun Ho Bahn, Seung Eun Lee, Nader Bagherzadeh |
On Design and Analysis of a Feasible Network-on-Chip (NoC) Architecture. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jiyong Park, Seongsoo Hong |
Preventing network performance interference with ACK-separation queuing mechanism in a home network gateway using an asymmetric link. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Zoë R. Stephenson, John A. McDermid |
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Mario Bravetti, Gianluigi Zavattaro |
A Theory for Strong Service Compliance. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Seung Eun Lee, Jun Ho Bahn, Nader Bagherzadeh |
Design of a Feasible On-Chip Interconnection Network for a Chip Multiprocessor (CMP). |
SBAC-PAD |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jong-Hoon Youn, Bella Bose, Seungjin Park |
Fault-Tolerant Routing Algorithm in Meshes with Solid Faults. |
J. Supercomput. |
2006 |
DBLP DOI BibTeX RDF |
solid faults, fault-tolerant, wormhole routing, mesh networks |