Bu, en son sürümü ntccKMC.zip olarak indirilebilen, çevrimiçi Linux'ta çalışacak ntccKMC adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile çevrimiçi olarak Linux'ta çalıştırmak için ntccKMC adlı bu uygulamayı çevrimiçi olarak indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
ntccKMC, Linux'ta çevrimiçi çalışacak
Ad
TANIM
ntccKMC: Deterministik Olmayan Zamanlanmış Eşzamanlı Kısıtlama Programlama (ntcc) hesabı için Kripke-yapı tabanlı bir doğrusal-zaman-mantık modeli denetleyicisi.Jaime Arias'ın Python uygulaması ve algoritmalarından ve Avispa'nın ntcc yorumlayıcısından esinlenilmiştir
Mauricio Toro tarafından Colciencia'nın Avispa araştırma grubunun React+'ı altında geliştirildi.
Seyirci
Bilim araştırması
Bu, https://sourceforge.net/projects/ntcckmc/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
