The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for livelock with no syntactic query expansion in all metadata.

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