Design and Verification of Distributed Phasers.

Karthik Murthy Sri Raj Paul Kuldeep S. Meel Tiago Cogumbreiro John M. Mellor-Crummey

Published in: Euro-Par (2016)

Keyphrases

design process
design principles
engineering design
real world
evolutionary algorithm
building blocks
software architecture
genetic algorithm
multi agent
relational databases
peer to peer
design patterns
embedded systems
functional verification