תקציר
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.
| שפה מקורית | אנגלית |
|---|---|
| עמודים | 305 |
| מספר עמודים | 1 |
| סטטוס פרסום | פורסם - 2003 |
| פורסם באופן חיצוני | כן |
| אירוע | Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 - Boston, MA, ארצות הברית משך הזמן: 13 יולי 2003 → 16 יולי 2003 |
כנס
| כנס | Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 |
|---|---|
| מדינה/אזור | ארצות הברית |
| עיר | Boston, MA |
| תקופה | 13/07/03 → 16/07/03 |