Results 61 to 70 of about 47,532 (243)
The maritime industry must constantly adjust seafarer training to meet evolving operational demands and ensure compliance with new regulations. This study addresses the challenge of assessing the relevance of Certificate of Proficiency (COP) services by ...
Deny Adi Setyawan+1 more
doaj +1 more source
On Modular and Fully-Abstract Compilation -- Technical Appendix [PDF]
Secure compilation studies compilers that generate target-level components that are as secure as their source-level counterparts. Full abstraction is the most widely-proven property when defining a secure compiler. A compiler is modular if it allows different components to be compiled independently and then to be linked together to form a whole program.
arxiv
Testing Compilers for Programmable Switches Through Switch Hardware Simulation [PDF]
Programmable switches have emerged as powerful and flexible alternatives to fixed-function forwarding devices. But because of the unique hardware constraints of network switches, the design and implementation of compilers targeting these devices is tedious and error prone. Despite the important role that compilers play in software development, there is
arxiv
Abstract This compilation presents in a small space the tRNA sequences so far published in order to enable rapid orientation and comparison. The numbering of tRNAPhe from yeast is used as has been done earlier (1) but following the rules proposed by the participants of the Cold Spring Harbor Meeting on tRNA 1978 (2) (Fig. 1).
M, Sprinzl+3 more
openaire +8 more sources
An Advanced Compiler Designed for a VLIW DSP for Sensors-Based Systems
The VLIW architecture can be exploited to greatly enhance instruction level parallelism, thus it can provide computation power and energy efficiency advantages, which satisfies the requirements of future sensor-based systems.
Hu He, Xu Yang
doaj +1 more source
Robustly Safe Compilation or, Efficient, Provably Secure Compilation [PDF]
Secure compilers generate compiled code that withstands many target-level attacks such as alteration of control flow, data leaks or memory corruption. Many existing secure compilers are proven to be fully abstract, meaning that they reflect and preserve observational equivalence.
arxiv
يختص هذا البحث بتطوير واستخدام لغة برمجية عربية (ضاد) ذات خواص تمكن المبرمج من تطوير برامج بصورة افضل مما تتيحة لغات البرمجة الموجودة حاليا . ومن اهم هذة الخواص امكانية تعريف تماذج معلومات من قبل المبرمج بالاضافة الى تماذج معلومات من قبل المبرمج بالاضافة
محمد غزالي خياط
doaj +1 more source
Air transportation has a role in providing services to deliver people and goods in a relatively shorter time. Queues will increase due to the relatively low quality and quantity of service. This can happen at the Yogyakarta International Airport check-in
Ananda Adhitya Putra+5 more
doaj +1 more source
Future Directions for Optimizing Compilers [PDF]
As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we'll increasingly require compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets.
arxiv
Improving the Accuracy of Batik Classification using Deep Convolutional Auto Encoder
This research investigates the development of model deep convolutional autoencoders to enhance the classification of digital batik images. The dataset used was sourced from Kaggle.
Muhammad Faqih Dzulqarnain+2 more
doaj +1 more source