Article Per Year (5 Year)
p-Index From 2020 - 2025
0
P-Index
This Author published in this journals
All Journal Seminar Nasional Aplikasi Teknologi Informasi (SNATI)
Budi Berlinton Sitorus
Unknown Affiliation
Computer Science & IT

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

 1 
Piranti Lunak Pembuktian Pernyataan Logika Proposisi dengan Metode Resolusi Menggunakan Bahasa Pemrograman Prosedural Arnold Aribowo; Kristian Frits Harris; Budi Berlinton Sitorus
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2008
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Proving by resolution method is one of methods which can be used to prove the logical statementaccording to given statements. To automate the proving process and to support the teaching-learning process ofdiscrete mathematics course in the university, this proving can be done with the aid of computer software. Toenable the effective use of software, the error handler facilities are added. They help users to overcomeerroneous inputs and therefore facilitate the use of software.In this paper, several possibilities of mistaken input performed by users are elaborated. By analyzingthem, the error handler facilities are added in the software for proving the propositional logic statement byusing resolution method. According to the testing which was performed, the error handler facilities can beapplied in the software.Keywords: Resolution, Conjunctive Normal Form, Automated Reasoning, Handling Errors.
Konfigurasi DVR Berdasarkan Situasi Area Pengamatan untuk Efisiensi Media Penyimpanan : Studi Kasus Lab Komputer Budi Berlinton Sitorus
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2009
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Konfigurasi perangkat Digital Video Recording (DVR) yang tidak tepat justru dapat menyebabkanpemborosan pada media penyimpanan. Jurnal ini memuat langkah demi langkah bagaimana menentukankonfigurasi yang tepat untuk sebuah DVR. Berdasarkan penelitian yang sudah dilakukan maka efisiensi yangdiperoleh adalah sebesar 72,70833% dan dengan kapasitas harddisk sebesar 500GB yang jika dengankonfigurasi yang tidak tepat,harddisk akan penuh dalam waktu 2 bulan, namun dengan konfigurasi yang tepatmaka harddisk akan dapat digunakan hingga kurang lebih 11 bulan.Kata kunci: dvr, harddisk, gb
Co-Authors Arnold Aribowo Kristian Frits Harris