Software Evolver · Teknolojia ya patent-pending
Programu fupi, zilizogunduliwa kiotomatiki.
Pata leseni ya Software Evolver yetu ya patent-pending. Unafafanua lengo kwa kesi za majaribio na alama; Software Evolver hutafuta miongoni mwa mamilioni ya programu tarajiwa kwa kiwango cha hadi tathmini bilioni 26.8 kwa sekunde, na hurudisha programu fupi na sahihi kwa ajili ya SFA Non-Von-Neumann Architecture.
Eleza lengo. Pokea programu.
Fafanua lengo kama kesi za majaribio na alama. Software Evolver hutafuta programu ndogo zinazotekelezeka ambazo zinalitimiza, na hurudisha programu bora zaidi zilizopatikana.
Hadi tathmini bilioni 26.8 kwa sekunde
Imepimwa kwa lengo la benchmark lililorekodiwa kwenye kichakataji kimoja cha AMD EPYC 9455. Tathmini moja ni uendeshaji wa programu tarajiwa moja kwenye kesi moja ya majaribio; takwimu hii ni matokeo ya kuzidisha vizazi kwa sekunde, programu tarajiwa kwa kila kizazi na kesi za majaribio kwa kila lengo. Software Evolver pia hufanya kazi kwenye GPU za NVIDIA.
Yanayoweza kurudiwa na yaliyothibitishwa
Kila uendeshaji unaweza kurudiwa, na kila programu inayorudishwa hukaguliwa kwa usahihi dhidi ya lengo lake.
Programu, si uzito usio wazi
Matokeo ni programu fupi zinazoweza kusomwa, kurahisishwa, kujaribiwa na kusambazwa kama msimbo mwingine wowote.
Pia hisabati sahihi
Utafutaji uleule pia hupata hisabati sahihi na sheria fupi: fomula katika data iliyopimwa, milinganyo ya utambulisho, vitendakazi zalishi, vitendakazi vya Boolean, na ujenzi wa jiometri na wa kombinatoria, popote ambapo programu tarajiwa inaweza kukaguliwa kwa usahihi. Tulitumia Software Evolver katika utafiti ambao ni msingi wa makala zetu za hisabati zilizochapishwa kwenye Zenodo.
Leseni hutolewa kwa ombi
Software Evolver ni patent pending na inapatikana kwa leseni inapoombwa, kama bidhaa kwa ajili ya SFA Non-Von-Neumann Architecture. Nyenzo za kiufundi na taarifa za maombi ya patent hutolewa chini ya NDA.
Jadili leseni ya Software Evolver
Takwimu ya kiwango cha uchakataji ni tokeo la benchmark lililorekodiwa kwa lengo lililofafanuliwa kwenye kichakataji kimoja cha AMD EPYC 9455; kiwango cha uchakataji hutegemea ukubwa wa programu na kesi za majaribio. Maelezo ya kiufundi na taarifa za maombi ya patent hutolewa chini ya NDA.