Software Evolver · Patenttihakemuksen alainen teknologia
Tiiviit ohjelmat löytyvät automaattisesti.
Lisensoi patenttihakemuksen alainen Software Evolver -ohjelmistomme. Määrität tavoitteen testitapauksilla ja pisteytyksellä; Software Evolver käy läpi miljoonia ehdokasohjelmia jopa 26.8 miljardilla arvioinnilla sekunnissa ja palauttaa tiiviitä, täsmällisiä ohjelmia SFA Non-Von-Neumann Architecture -arkkitehtuurille.
Kuvaa tavoite. Saat ohjelman.
Määritä tavoite testitapauksina ja pisteytyksenä. Software Evolver etsii pieniä suoritettavia ohjelmia, jotka täyttävät sen, ja palauttaa parhaat löydetyt ohjelmat.
Jopa 26.8 miljardia arviointia sekunnissa
Mitattu dokumentoidulla vertailutavoitteella yhdellä AMD EPYC 9455 -suorittimella. Yksi arviointi on yhden ehdokasohjelman ajo yhdellä testitapauksella; luku saadaan kertomalla keskenään sukupolvet sekunnissa, ehdokkaat sukupolvea kohden ja testitapaukset tavoitetta kohden. Software Evolver toimii myös NVIDIA-GPU:illa.
Toistettava ja varmennettu
Jokainen ajo on toistettavissa, ja jokainen palautettu ohjelma tarkistetaan täsmällisesti tavoitettaan vasten.
Ohjelmia, ei läpinäkymättömiä painoja
Tulokset ovat tiiviitä ohjelmia, joita voi lukea, yksinkertaistaa, testata ja ottaa käyttöön kuten mitä tahansa muuta koodia.
Myös täsmällistä matematiikkaa
Sama haku löytää myös täsmällistä matematiikkaa ja tiiviitä lakeja: kaavoja mittausdatasta, identiteettejä, generoivia funktioita, Boolen funktioita sekä geometrisia ja kombinatorisia konstruktioita kaikkialla, missä ehdokas voidaan tarkistaa täsmällisesti. Käytimme Software Evolver -ohjelmistoa tutkimuksessa, johon Zenodo-palvelussa julkaistut matemaattiset artikkelimme perustuvat.
Lisensointi pyynnöstä
Software Evolver on patenttihakemuksen alainen ja lisensoitavissa pyynnöstä tuotteena SFA Non-Von-Neumann Architecture -arkkitehtuurille. Tekninen materiaali ja hakemustiedot toimitetaan NDA:n puitteissa.
Keskustele Software Evolver -lisensoinnista
Suoritusteholuku on dokumentoitu vertailutulos määritellylle tavoitteelle yhdellä AMD EPYC 9455 -suorittimella; suoritusteho riippuu ohjelman koosta ja testitapauksista. Tekniset yksityiskohdat ja hakemustiedot toimitetaan NDA:n puitteissa.