Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Erik de Vink
Deadlock Detection for Actor-Based Coroutines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards
IFIP International Federation for Information Processing
Related publications
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
An Analysis and Improvement of Probe-Based Algorithm for Distributed Deadlock Detection
Lecture Notes on Software Engineering
Solving Two Deadlock Cycles Through Neighbor Replication on Grid Deadlock Detection Model
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
GPU-OSDDA: A Bit-Vector GPU-based Deadlock Detection Algorithm for Single-Unit Resource Systems
International Journal of Parallel, Emergent and Distributed Systems
Computer Networks
Software
Communications
Static Deadlock Detection for the SHIM Concurrent Language
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asymmetric Actor Critic for Image-Based Robot Learning
A Novel Event Detection Framework for Wireless Sensor and Actor Networks
Journal of Communications