Abstract
A methodology for automatic discovery of synchronization algorithms is discussed. The user can set the problem parameters via a user interface. The parameters are sent to the algorithm generator, which generates all the possible algorithms according to the given parameters. Each algorithm (which passes the optimization checks) is sent to verification. Verification results are also returned to the algorithm generator for use in optimizations.
| Original language | English |
|---|---|
| Pages | 305 |
| Number of pages | 1 |
| State | Published - 2003 |
| Externally published | Yes |
| Event | Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 - Boston, MA, United States Duration: 13 Jul 2003 → 16 Jul 2003 |
Conference
| Conference | Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 |
|---|---|
| Country/Territory | United States |
| City | Boston, MA |
| Period | 13/07/03 → 16/07/03 |