-
1مؤتمر
المؤلفون: Bomel, Pierre, Sevaux, Marc
المصدر: 2013 Euromicro Conference on Digital System Design Digital System Design (DSD), 2013 Euromicro Conference on. :29-36 Sep, 2013
Relation: 2013 Euromicro Conference on Digital System Design (DSD)
-
2
المؤلفون: Liqiang Wang, Lei Chen, Weiwei Xing, Yong Yang, Wei Lu, Xiaoping Che
المصدر: Journal of Visual Languages & Computing. 42:23-30
مصطلحات موضوعية: 020205 medical informatics, Computer science, Property (programming), Distributed computing, Liveness, Real-time computing, Edge chasing, 02 engineering and technology, Resolution (logic), Deadlock, Language and Linguistics, Computer Science Applications, Human-Computer Interaction, Feature (computer vision), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Mobile agent, Deadlock prevention algorithms
-
3
المؤلفون: M. Moodi, M. H. Zibaeenejad, J. G. Thistle
المصدر: IFAC-PapersOnLine. 50:5849-5854
مصطلحات موضوعية: 0209 industrial biotechnology, Infinite set, Theoretical computer science, Wait-for graph, Computer science, Edge chasing, Parameterized complexity, 02 engineering and technology, Deadlock, Decidability, 020901 industrial engineering & automation, Dependency graph, Control and Systems Engineering, Isomorphism, Finite set, Deadlock prevention algorithms
-
4
المؤلفون: Wei Lu, Liqiang Wang, Yong Yang, Xiaoping Che, Lei Chen, Weiwei Xing
المصدر: Software Quality Journal. 26:991-1013
مصطلحات موضوعية: Leader election, Computer science, Distributed computing, Liveness, Edge chasing, 020206 networking & telecommunications, Fault tolerance, 02 engineering and technology, Deadlock, Shared memory, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Single point of failure, Safety, Risk, Reliability and Quality, Deadlock prevention algorithms, Software
-
5
المؤلفون: MengChu Zhou, Maria Pia Fanti
مصطلحات موضوعية: Finite-state machine, Supervisory control, Computer science, Distributed computing, Liveness, Edge chasing, Petri net, Deadlock, Deadlock prevention algorithms, Automaton
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e97f3a64e25e9f45bc6e8436b85a2a31
https://doi.org/10.1201/9781315214665 -
6
المؤلفون: Biyuan Yao, Wei Wu, Jianhua Yin
المصدر: International Journal of u- and e- Service, Science and Technology. 9:353-362
مصطلحات موضوعية: Wait-for graph, Theoretical computer science, Computer Networks and Communications, Computer science, Edge chasing, Graph theory, 010103 numerical & computational mathematics, 0102 computer and information sciences, Directed graph, Petri net, 01 natural sciences, 010201 computation theory & mathematics, Graph (abstract data type), 0101 mathematics, Deadlock prevention algorithms, Software, Moral graph
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d800bab5e37b5241cbce6a4e8c9f10d1
https://doi.org/10.14257/ijunesst.2016.9.2.34 -
7
المؤلفون: Bo Liu
المصدر: Applied Mechanics and Materials. 743:575-580
مصطلحات موضوعية: Theoretical computer science, Computer science, Reachability, Concurrency, Distributed computing, Stochastic Petri net, Edge chasing, General Medicine, Petri net, Deadlock, Process architecture, Deadlock prevention algorithms
-
8
المؤلفون: Raymond Hu, Francisco Martins, Tiago Cogumbreiro, Nobuko Yoshida
المساهمون: Engineering & Physical Science Research Council (E, Engineering and Physical Sciences Research Council, Engineering & Physical Science Research Council (EPSRC), Commission of the European Communities
المصدر: PPOPP
20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2015)مصطلحات موضوعية: Power graph analysis, Technology, Theoretical computer science, phasers, Java, Computer science, Concurrency, Distributed computing, Edge chasing, 02 engineering and technology, deadlock detection, deadlock avoidance, Synchronization, CLOCKS, SEMANTICS, 020204 information systems, Barrier synchronisation, 0202 electrical engineering, electronic engineering, information engineering, Deadlock prevention algorithms, computer.programming_language, Science & Technology, Wait-for graph, Proof assistant, Software Engineering, 0803 Computer Software, 020207 software engineering, X10, Deadlock, Computer Science, Software Engineering, Computer Graphics and Computer-Aided Design, 020202 computer hardware & architecture, TIME, 0806 Information Systems, Core (graph theory), Scalability, Computer Science, Benchmark (computing), Graph (abstract data type), computer, Software
-
9
المؤلفون: Tribid Debbarma, Anupam Jamatia, Kunal Chakma
المصدر: Lecture Notes on Software Engineering. 3:285-289
مصطلحات موضوعية: Computer science, Distributed computing, Edge chasing, Parallel computing, Deadlock prevention algorithms
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::76dc4da617fff93b22b4620403bd7849
https://doi.org/10.7763/lnse.2015.v3.205 -
10
المؤلفون: Samar H. Hassan, Lamiaa Hassaan Ahmed, Amr Badr
المصدر: International Journal of Computer Applications. 92:11-17
مصطلحات موضوعية: Structure (mathematical logic), Set (abstract data type), Degree (graph theory), Computer science, Distributed computing, Reentrant mutex, Edge chasing, Deadlock, Deadlock prevention algorithms
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::02167123c1e96aa7839b6e338d7d4dd0
https://doi.org/10.5120/16043-5161