Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms

Yoah Bar-David; Gadi Taubenfeld

Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms

Yoah Bar-David, Gadi Taubenfeld

نتاج البحث: نتاج بحثي من مؤتمر › محاضرة › مراجعة النظراء

ملخص

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, الولايات المتّحدة المدة: ١٣ يوليو ٢٠٠٣ → ١٦ يوليو ٢٠٠٣

!!Conference

!!Conference	Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003
الدولة/الإقليم	الولايات المتّحدة
المدينة	Boston, MA
المدة	١٣/٠٧/٠٣ → ١٦/٠٧/٠٣

الملفات والروابط الأخرى

Link to publication in Scopus

قم بذكر هذا

@conference{6533e3e9422e4635aae8b6cfc62cfcb9,

title = "Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms",

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.",

author = "Yoah Bar-David and Gadi Taubenfeld",

note = "Copyright: Copyright 2008 Elsevier B.V., All rights reserved.; Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 ; Conference date: 13-07-2003 Through 16-07-2003",

year = "2003",

language = "אנגלית",

pages = "305",

}

Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms. / Bar-David, Yoah; Taubenfeld, Gadi.
2003. 305 الأوراق المقدمة في Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, MA, الولايات المتّحدة.

نتاج البحث: نتاج بحثي من مؤتمر › محاضرة › مراجعة النظراء

TY - CONF

T1 - Brief Announcement

T2 - Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003

AU - Bar-David, Yoah

AU - Taubenfeld, Gadi

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=1142305218&partnerID=8YFLogxK

M3 - ???researchoutput.researchoutputtypes.contributiontoconference.paper???

AN - SCOPUS:1142305218

SP - 305

Y2 - 13 July 2003 through 16 July 2003

ER -

Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms

ملخص

!!Conference

الملفات والروابط الأخرى

بصمة

قم بذكر هذا