A Fast and Verified Algorithm for Proving Store-And-Forward Networks Deadlock-Free

doi 10.1109/pdp.2011.23
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Deadlock Models and a General Algorithm for Distributed Deadlock Detection

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
1995English

Deadlock-Free Message Routing in Multiprocessor Interconnection Networks

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1987English

Deadlock-Free Multicasting in Irregular Networks Using Prefix Routing

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2005English

Store-And-Forward Performance in a DTN

English

FctClus: A Fast Clustering Algorithm for Heterogeneous Information Networks

PLoS ONE
Multidisciplinary
2015English

Fast Power Allocation Algorithm for Cognitive Radio Networks

IEEE Communications Letters
Electronic EngineeringSimulationComputer Science ApplicationsElectricalModeling
2011English

A Distribute Deadlock Detection and Resolution Algorithm Using Agents

English

GPS-Free Localization Algorithm for Wireless Sensor Networks

Sensors
InstrumentationInformation SystemsElectronic EngineeringBiochemistryAnalytical ChemistryMolecular Physics,ElectricalAtomicMedicineOptics
2010English

A Transformation to Provide Deadlock-Free Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy