ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ REDLIB ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ redlib.a.130816.tar.gz. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີສໍາລັບບ່ອນເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ REDLIB ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
RDLIB
Ad
ລາຍລະອຽດ
* ຫໍສະມຸດການກວດສອບແບບຈໍາລອງ / ການຈໍາລອງສໍາລັບລະບົບເວລາທີ່ແທ້ຈິງທີ່ມີຕົວແບບເວລາທີ່ມີຄວາມຫນາແຫນ້ນໃນ C ດ້ວຍເຕັກໂນໂລຢີ CRD (Clock-Restriction Diagrams). * ຫ້ອງສະໝຸດການວິເຄາະພາຣາມິເຕີສຳລັບລະບົບເສັ້ນຊື່-ປະສົມໃນ C ດ້ວຍເທັກໂນໂລຍີ HRD (Hybrid-Restriction Diagram)
ຄຸນລັກສະນະ
- ການກວດສອບຮູບແບບສັນຍາລັກແລະການກວດສອບການຈໍາລອງ
- ການສື່ສານແບບຈໍາລອງແບບອັດຕະໂນມັດຕາມເວລາ (CTA) ແລະແບບຈໍາລອງເສັ້ນຊື່-ປະສົມອັດຕະໂນມັດ (LHA)
- ເປີດຫ້ອງສະຫມຸດການໂຕ້ຕອບ
- ການກວດສອບແບບຈໍາລອງ TCTL ດ້ວຍການສົມມຸດຕິຖານຄວາມເປັນທໍາ
- ການຈໍາລອງຄວາມຍຸຕິທໍາ CTA
- ການວິເຄາະຄວາມປອດໄພພາຣາມິເຕີ LHA
- GUI ສາມາດໃຊ້ໄດ້ສໍາລັບການດັດແກ້ແບບຈໍາລອງແລະການຈໍາລອງສັນຍາລັກທີ່ມີການຄວບຄຸມ API
- ຄໍາຮ້ອງສະຫມັກຈໍານວນຫຼາຍທີ່ມີຢູ່, ລວມທັງ ompca (OpenMP C analyzer), pathg (simulator ສັນຍາລັກສໍາລັບ CTA), sudoku solver, reachability graph constructor, ແລະອື່ນໆ.
Audience
ເຕັກໂນໂລຊີຂໍ້ມູນຂ່າວສານ, ວິທະຍາສາດ / ການຄົ້ນຄວ້າ, ການສຶກສາ, ອຸດສາຫະກໍາໂທລະຄົມນາຄົມ
ພາສາການຂຽນໂປຣແກຣມ
C
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/redlib/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.
