Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs
IEEE Transactions on Software Engineering
Q-Sim: a GUI for a queueing simulator using Tcl/Tk
ACM SIGSOFT Software Engineering Notes
Randomized generation of acyclic orientations upon anonymous distributed systems
Journal of Parallel and Distributed Computing
Logic as energy: a SAT-based approach
BVAI'07 Proceedings of the 2nd international conference on Advances in brain, vision and artificial intelligence
Mapping and combining combinatorial problems into energy landscapes via pseudo-boolean constraints
BVAI'05 Proceedings of the First international conference on Brain, Vision, and Artificial Intelligence
| Hi-index | 0.00 |