Digital-based libraries have become necessary; consequently, all library service officers should master information and communication technology. However, not all, primarily higher education, can organize information technology-based libraries properly. It then causes the quality of education to be still far behind. The library's position in higher education is the primary key to developing civilization. For this reason, this study aims to determine IT-based library management in Islamic higher education. The method used was qualitative with a case study approach since this research examined digital-based library management implemented in higher education. Meanwhile, the research instruments employed comprised interviews, observations, and documentation. The collected data were then analyzed through data reduction, data display, and verification, and then the data validation stage utilized technical triangulation. This research was conducted at STKIP Muhammadiyah Kuningan, which implemented a digital library in higher education. The study results revealed that digital-based library management was carried out through 1) digital library operational planning by preparing good human resources and infrastructure.2) The organization in the library was quite well structured according to the main tasks and functions of each. 3) The actuating in the library management started with human resources, book collections, and facilities and infrastructure. In addition, 4) controlling the time and cost of IT-based library management was exceptionally well organized. Based on the study results, it can be concluded that digital libraries in higher education could be implemented with modern integrated management. The findings imply that the STKIP Muhammadiyah
Sistem Max-Plus-Linear (MPL) adalah suatu kelas sistem event diskrit dengan ruang keadaan kontinu mengkarakterisasi sekuensial kejadian diskrit yang mendasari. Di literatur, ada pendekatan untuk analisis yang didasarkan pada abstraksi berhingga model MPL yang autonomous. Prosedur ini telah diimplementasikan dalam MATLAB dengan struktur data list/matriks/vektor. Kekurangan dari implementasi ini, operasi membuat transisinya membutuhkan waktu komputasi yang lama. Kemudian dilakukan perbaikan terhadap implementasi sebelumnya dalam JAVA dengan struktur data tree. Implementasi ini berhasil mempercepat waktu komputasinya tetapi membutuhkan alokasi memori yang lebih besar karena fungsi-fungsinya bersifat rekursif. Penelitian ini membahas implementasi prosedur abstraksi berhingga model MPL autonomous dalam C++ dengan menggunakan struktur data tree tanpa fungsi rekursif. Dari beberapa percobaan yang dilakukan, implementasi pada penelitian ini berhasil mempercepat waktu komputasi VeriSiMPL 2.0 secara signifikan
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.