Results 31 to 40 of about 908,696 (324)
TINJAUAN SEMENTARA TENTANG ARCA MENHIR GUNUNG KIDUL
Berkala Arkeologi, 1980 Berbieara tentang area menhir tidak dapat dilepaskan dari tradisi megalitik, terutama dengan kons'ep latar belakang kepereayaannya. Hal tersebut disebabkan oleh karena didalam tradisi Megalitik dikenal suatu konsep adanya kehidupan kembali sesudah mati ...
Sumijati Atmosudiro
doaj +1 more source
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 more sources
Static Call Graph Combination to Simulate Dynamic Call Graph Behavior
IEEE Access, 2022 Call graphs are fundamental for many higher-level code analyses. The selection of the most appropriate call graph construction tool for an analysis is not always straightforward and depends on the purpose of the results’ further usage.
Zoltan Sagodi +4 more
doaj +1 more source
Implementing Session Centered Calculi [PDF]
, 2008 Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype implementations for them in order to assess usability and to minimize the gap
D. Gelernter +7 more
core +1 more source
A Java Reference Model of Transacted Memory for Smart Cards [PDF]
, 2002 Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model and C implementation.
Hartel, Pieter +2 more
core +9 more sources
Sistem Pendukung Keputusan untuk Penyakit Sapi berbasis Android
Emitor: Jurnal Teknik Elektro, 2018 Sapi merupakan salah satu hewan ternak yang paling banyak dipelihara oleh masyarakat Indonesia. Hal ini dikarenakan oleh banyaknya bagian tubuh sapi yang dapat dimanfaatkan, khususnya untuk bahan pangan seperti daging, kulit dan juga susu sapi.
Muhammad Miftakhul Jannan +1 more
doaj +1 more source
Developing numerical libraries in Java
, 1998 The rapid and widespread adoption of Java has created a demand for reliable and reusable mathematical software components to support the growing number of compute-intensive applications now under development, particularly in science and engineering.
Boisvert, Ronald F. +4 more
core +5 more sources
Reverse Engineering Environment for Teaching Secure Coding in Java [PDF]
, 2019 Few toolsets for program analysis and Java learning system provide an integrated console, debugger, and reverse engineered visualizer. We present an interactive debugging environment for Java which helps students to understand the secure coding by ...
Lee, Young, Yang, Jeong
core +1 more source
Efficient Hole Injection From Indium Tin Oxide in Quantum‐Dot Light‐Emitting Diodes
Advanced Functional Materials, EarlyView.The realization of QLEDs‐based displays remains challenging due to the acidic surface from PEDOT:PSS. Here, an analysis is conducted by examining the degradation mechanism of PEDOT:PSS. By replacing PEDOT:PSS with 2BrCzPA, the formation of strong dipoles at the ITO/2BrCzPA SAM interfaces exhibits excellent hole injection abilities.
PeiLi Gao +9 more
wiley +1 more source
HMS: Um Sistema Aberto para Automação Residencial
Colloquium Exactarum, 2011 HMS (House Management System) é um sistema para automação residencial, desenvolvido na plataforma JAVA, que permite controlar aparelhos eletrônicos utilizando uma unidade de controle local ou uma unidade de controle remota, que deve estar conectada por ...
Paulo C.A. Feitosa Jr +3 more
doaj +2 more sources