Bu, en son sürümü ntccKMC.zip olarak indirilebilen, çevrimiçi Linux üzerinden Windows'ta çevrimiçi olarak çalışan ntccKMC adlı Windows 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 üzerinden Windows'ta çevrimiçi ç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 herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.
- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin ve kurun.
- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.
Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.
ntccKMC, çevrimiçi olarak Linux üzerinden Windows'ta ç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.
