Ant Colony Optimization for Deadlock Detection in Concurrent Systems.
Gianpiero FrancescaAntonella SantoneGigliola VagliniMaria Luisa VillaniPublished in: COMPSAC (2011)
Keyphrases
- deadlock detection
- concurrent systems
- ant colony optimization
- distributed systems
- distributed database systems
- metaheuristic
- ant colony
- traveling salesman problem
- swarm intelligence
- aco algorithm
- particle swarm optimization
- combinatorial optimization problems
- artificial ants
- nature inspired
- distributed environment
- aco algorithms
- manufacturing systems
- ant colony algorithm
- temporal logic
- ant colony optimization algorithm
- genetic algorithm
- petri net
- ant colonies
- particle swarm optimization pso
- communication protocol
- databases
- search space
- simulated annealing
- tabu search
- formal specification
- computer networks
- relational databases
- optimization problems