Software Evolver · טכנולוגיה הממתינה לפטנט
תוכניות קומפקטיות, שנמצאות באופן אוטומטי.
קבלו רישיון ל-Software Evolver שלנו, הממתין לפטנט. אתם מגדירים את היעד באמצעות מקרי בדיקה וציון; ה-Software Evolver מחפש בין מיליוני תוכניות מועמדות בקצב של עד 26.8 מיליארד הערכות בשנייה ומחזיר תוכניות קומפקטיות ומדויקות עבור SFA Non-Von-Neumann Architecture.
תארו את המטרה. קבלו את התוכנית.
הגדירו את היעד כמקרי בדיקה וציון. ה-Software Evolver מחפש תוכניות קטנות ברות-הרצה שעומדות בו ומחזיר את התוכניות הטובות ביותר שנמצאו.
עד 26.8 מיליארד הערכות בשנייה
נמדד ביעד מתועד של מבחן ביצועים על מעבד AMD EPYC 9455 אחד. הערכה אחת היא הרצה של תוכנית מועמדת אחת על מקרה בדיקה אחד; הנתון הוא מכפלת הדורות בשנייה, המועמדים בכל דור ומקרי הבדיקה בכל יעד. ה-Software Evolver פועל גם על מעבדי GPU של NVIDIA.
ניתנות לשחזור ומאומתות
כל הרצה ניתנת לשחזור, וכל תוכנית מוחזרת נבדקת במדויק מול היעד שלה.
תוכניות, לא משקולות אטומות
התוצאות הן תוכניות קומפקטיות שאפשר לקרוא, לפשט, לבדוק ולפרוס כמו כל קוד אחר.
גם מתמטיקה מדויקת
אותו חיפוש מוצא גם מתמטיקה מדויקת וחוקים קומפקטיים: נוסחאות בנתונים מדודים, זהויות, פונקציות יוצרות, פונקציות בוליאניות, ובניות גאומטריות וקומבינטוריות, בכל מקום שבו אפשר לבדוק מועמד במדויק. השתמשנו ב-Software Evolver במחקר שמאחורי המאמרים המתמטיים שלנו שפורסמו ב-Zenodo.
רישוי לפי בקשה
ה-Software Evolver ממתין לפטנט וזמין לרישוי לפי בקשה, כמוצר עבור SFA Non-Von-Neumann Architecture. חומר טכני ומידע על ההגשה נמסרים בכפוף ל-NDA.
דיון ברישוי Software Evolver
נתון התפוקה הוא תוצאה מתועדת של מבחן ביצועים עבור יעד מוגדר על מעבד AMD EPYC 9455 אחד; התפוקה תלויה בגודל התוכנית ובמקרי הבדיקה. פרטים טכניים ומידע על ההגשה נמסרים בכפוף ל-NDA.