Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Julien Schmaltz
A Fast and Verified Algorithm for Proving Store-And-Forward Networks Deadlock-Free
Constrained Symbolic Simulation With Mathematica and ACL2
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Deadlock-Free Message Routing in Multiprocessor Interconnection Networks
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Deadlock-Free Multicasting in Irregular Networks Using Prefix Routing
Journal of Supercomputing
Hardware
Information Systems
Theoretical Computer Science
Architecture
Software
Store-And-Forward Performance in a DTN
FctClus: A Fast Clustering Algorithm for Heterogeneous Information Networks
PLoS ONE
Multidisciplinary
Fast Power Allocation Algorithm for Cognitive Radio Networks
IEEE Communications Letters
Electronic Engineering
Simulation
Computer Science Applications
Electrical
Modeling
A Distribute Deadlock Detection and Resolution Algorithm Using Agents
GPS-Free Localization Algorithm for Wireless Sensor Networks
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
A Transformation to Provide Deadlock-Free Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
