Results 191 to 200 of about 683 (202)

Multiparty GV: functional multiparty session types with certified deadlock freedom

2022
Jules Jacobs, Stephanie Balzer, Robbert Krebbers   +2 more
exaly  

Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus

ACM SIGPLAN Notices, 2007
Anup Kumar Bandyopadhyay, Bandyopadhyayanup Kumar   +1 more
exaly  

A Dynamic Sufficient Condition of Deadlock-Freedom for High-Performance Fault-Tolerant Routing in Networks-on-Chips

IEEE Transactions on Emerging Topics in Computing, 2020
Amir Charif, Alexandre Coelho, Nacer-Eddine Zergaïnoh   +2 more
exaly  

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system

Science of Computer Programming, 2015
Ehsan Khamespanah, Marjan Sirjani
exaly  

Synchronized Progress in Interconnection Networks (SPIN): A New Theory for Deadlock Freedom

IEEE Micro, 2019
Paul V Gratz, Tushar Krishna
exaly  

Pitstop++: Enabling stable and fair deadlock freedom on fault-tolerant NoC

Microprocessors and Microsystems, 2022
exaly  

Towards an ASM-based Characterization of the Deadlock-freedom Property

Proceedings of the 11th International Joint Conference on Software Technologies, 2016
Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio   +2 more
openaire   +1 more source

A partially deadlock-free typed process calculus

ACM Transactions on Programming Languages and Systems, 1998
Naoki Kobayashi, William Pugh
exaly  

A Comment on “A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks”

IEEE Transactions on Parallel and Distributed Systems, 2011
Freek Verbeek, Julien Schmaltz
exaly  

A Highly Scalable Optical Network-on-Chip With Small Network Diameter and Deadlock Freedom

IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2016
Huaxi Gu, Yintang Yang, Qinfen Hao
exaly