scholarly journals From Operating-System Correctness to Pervasively Verified Applications

2010 ◽  
pp. 105-120 ◽  
Author(s):  
Matthias Daum ◽  
Norbert W. Schirmer ◽  
Mareike Schmidt
Keyword(s):  
Operating System

Routine Digital Processing of Microscope Images

1990 ◽  
Vol 48 (1) ◽  
pp. 550-551
Author(s):  
E. Wisse ◽  
A. Geerts ◽  
R.B. De Zanger
Keyword(s):  
Operating System ◽  
Digital Processing ◽  
Hard Disks ◽  
The Sun ◽  
Tape Drive ◽  
High Definition ◽  
Fluorescent Microscope ◽  
Microscope Images ◽  
Helical Scan ◽  
Ethernet Connection

The slowscan and TV signal of the Philips SEM 505 and the signal of a TV camera attached to a Leitz fluorescent microscope, were digitized by the data acquisition processor of a Masscomp 5520S computer, which is based on a 16.7 MHz 68020 CPU with 10 Mb RAM memory, a graphics processor with two frame buffers for images with 8 bit / 256 grey values, a high definition (HD) monitor (910 × 1150), two hard disks (70 and 663 Mb) and a 60 Mb tape drive. The system is equipped with Imaging Technology video digitizing boards: analog I/O, an ALU, and two memory mapped frame buffers for TV images of the IP 512 series. The Masscomp computer has an ethernet connection to other computers, such as a Vax PDP 11/785, and a Sun 368i with a 327 Mb hard disk and a SCSI interface to an Exabyte 2.3 Gb helical scan tape drive. The operating system for these computers is based on different versions of Unix, such as RTU 4.1 (including NFS) on the acquisition computer, bsd 4.3 for the Vax, and Sun OS 4.0.1 for the Sun (with NFS).

PERBAIKAN TATA LETAK LANTAI PRODUKSI INDUSTRI MEBEL MENGGUNAKAN METODE GRAFIK DAN ALGORITMA CRAFT

2020 ◽  
Vol 6 (1) ◽  
pp. 1
Author(s):  
Kuswanto Kuswanto ◽  
Juan Junius ◽  
Anita Christine Sembiring
Keyword(s):  
Operating System ◽  
Material Handling ◽  
Facility Layout ◽  
Integrated Planning ◽  
Furniture Manufacturing ◽  
Milling Machines ◽  
Material Handling Costs ◽  
The Cost ◽  
A Company ◽  
Research Show

Facility layout is integrated planning of the flow of a product in an operating system to obtain the most effective and efficient interrelation between workers, materials, machinery, and equipment as well as handling and transferring materials. A company engaged in furniture manufacturing has a problem in its production process, namely, the distance between machines is too far so that it affects the cost of handling materials. Distant workstations are found on profile machines, milling machines, measuring machines, cutting machines. Therefore, improvements must be made to the layout of facilities on the production floor so that facility layout is efficient and material handling costs are reduced. The problem-solving approach used is the Graph Method and CRAFT Algorithm. The results of the research show that material handling costs are reduced by 7.58% or Rp. 17,765 using the CRAFT algorithm.

Pengembangan Sistem VOIP Menggunakan Server Issabel Versi 4.0 dan Tunnel EOIP pada OMNI Hospital Alam Sutera

2018 ◽  
Vol 18 (1) ◽  
pp. 13-20
Author(s):  
Elly Mufida ◽  
David Wardana Agus Rahayu
Keyword(s):  
Operating System ◽  
Open Source ◽  
End Of Life ◽  
Communication System ◽  
Communication Protocol ◽  
The Internet ◽  
Migration Process ◽  
Web Browser ◽  
Backup Path ◽  
E Mail

The VoIP communication system at OMNI Hospital Alam Sutera uses the Elastix 2.5 server with the Centos 5.11 operating system. Elastix 2.5 by the developer has been declared End of Life. The server security system is a serious concern considering that VoIP servers can be accessed from the internet. Iptables and fail2ban applications are applications that are used to limit and counteract those who try to attack the VoIP server. One application that can be used as an open source VoIP server is the Issabel Application version 4.0. The migration process from Elastix 2.5 application to Issabel 4.0 by backing up all configurations in the Elastix 2.5 application through a web browser including the configuration of endpoints, fax, e-mail, asterisk. After the backup file is downloaded then upload the backup file to the Issabel 4.0 application then run the migration process. Adding a backup path as a failover connection is needed because the VoIP communication protocol between the OMNI Hospitals Group still uses one path so that when there is a problem in the connection path, the communication protocol will stop. The tunnel EoIP is a protocol used as a backup path between the OMNI Hospitals Group site.

PERANGKAT LUNAK KOMPUTER

2020 ◽  
Author(s):  
Adinda Ayu Fadhilah
Keyword(s):  
Operating System ◽  
Computer Program ◽  
Programming Languages ◽  
Computer Users ◽  
System Software ◽  
Application System ◽  
Software Application

Perangkat lunak komputer merupakan sebuah program komputer yang menjembatani pengguna komputer dan perangkat keras yang digunakannya. Dengan kata lain perangkat lunak merupakan penerjemah antara manusia sebagai orang yang memberi instruksi dan komputer sebagai pihak yang menerima instruksi. Perangkat lunak memang tidak tampak secara fisik dan tidak berwujud benda namun bisa untuk dioperasikan. Perangkat lunak secara garis besar software atau perangkat lunak dapat diklasifikasikan menjadi tiga bagian yaitu, perangkat lunak sistem operasi, perangkat lunak sistem aplikasi dan bahasa pemograman.Kata kunci : Perangkat Lunak KomputerAbstractComputer software is a computer program that bridges computer users and the hardware they use. In other words software is a translator between humans as the person who gives instructions and the computer as the party who receives instructions. The software does not appear physically and is not tangible but can be operated. Software outline software or software can be classified into three parts, namely, operating system software, application system software and programming languages.

perangkat lunak komputer

2020 ◽  
Author(s):  
Hanny Puput Eliyarista Saragih
Keyword(s):  
Operating System ◽  
Application Software ◽  
Microsoft Excel ◽  
Microsoft Word

Perangkat lunak (software) adalah istilah khusus untuk data yang diformat, dan disimpan secara digital. Perangkat lunak tersusun atas program yang menentukan apa yang harus dilakukan oleh komputer. Komputer harus melaksanakan instruksi yang terdapat dalam program untuk mendapatkan hasil yang berguna. Ada dua macam perangkat lunak yaitu sistem software dan application software. Sistem software berguna untuk mengatur file, me-load dan mengeksekusi program serta menerima perintah dari mouse atau keyboard. Sistem software biasa disebut dengan sistem operasi (operating system). Sedang application software adalah software yang digunakan untuk menyelesaikan suatu pekerjaan. Contoh application software adalah Microsoft Word, Microsoft Excel.

JURNAL PERANGKAT LUNAK KOMPUTER (SOFTWARE)

2020 ◽  
Author(s):  
Nadila Putri Ayu
Keyword(s):  
Operating System ◽  
Computer Software ◽  
Computer Users ◽  
System Software ◽  
Electronic Data ◽  
Application System ◽  
Software Application

Perangkat Lunak merupakan salah satu perangkat yang dibutuhkan dalam menjalankan komputer. Perangkat lunak adalah perangkat yang tidak dapat dilihat dan disentuh secara langsung, namun dapat dioperasikan oleh user atau penggunanya. Perangkat lunak komputer (software) merupakan sekumpulan data elektronik yang disimpan dan diatur oleh komputer, data elektronik yang disimpan oleh komputer itu dapat berupa program atau instruksi yang akan menjalankan suatu perintah. Perangkat lunak disebut juga sebagai penerjemah perintah-perintah yang dijalankan pengguna komputer untuk diteruskan atau diproses oleh perangkat keras. Melalui software atau perangkat lunak inilah suatu komputer dapat menjalankan suatu perintah. Secara garis besar software atau perangkat lunak dapat diklasifikasikan menjadi tiga bagian yaitu, perangkat lunak sistem operasi, perangkat lunak sistem aplikasi dan bahasa pemograman.Kata Kunci : Perangkat Lunak AbstractComputer software is one of the devices needed to run a computer. Software is a device that cannot be seen and touched directly, but can be done by the user or the user. Computer software (software) is a collection of electronic data collected and compiled by a computer, electronic data stored by a computer may consist of programs or directions that will execute an order. Software is also referred to as a translator of commands run by computer users to be forwarded or processed by the hardware. It is through this software or software that a computer can run a request. Broadly speaking, software or software can be divided into three parts, namely, operating system software, application system software and programming languages.Keywords: Computer software

Makalah software putra angga pramudia

2020 ◽  
Author(s):  
Putraangga
Keyword(s):  
Operating System ◽  
Computer Program ◽  
Programming Languages ◽  
Computer Users ◽  
System Software ◽  
Application System ◽  
Software Application

Perangkat lunak komputer merupakan sebuah program komputer yang menjembatani pengguna komputer dan perangkat keras yang digunakannya. Dengan kata lain perangkat lunak merupakan penerjemah antara manusia sebagai orang yang memberi instruksi dan komputer sebagai pihak yang menerima instruksi. Perangkat lunak memang tidak tampak secara fisik dan tidak berwujud benda namun  bisa untuk dioperasikan. Perangkat lunak secara garis besar software atau perangkat lunak dapat diklasifikasikan menjadi tiga bagian yaitu, perangkat lunak sistem operasi, perangkat lunak sistem aplikasi dan bahasa pemograman.Computer software is a computer program that bridges computer users and the hardware they use. In other words software is a translator between humans as the person who gives instructions and the computer as the party who receives instructions. The software does not appear physically and is not tangible but can be operated. Software outline software or software can be classified into three parts, namely, operating system software, application system software and programming languages.

PERANGKAT LUNAK KOMPUTER

2020 ◽  
Author(s):  
Adinda Ayu Fadhilah
Keyword(s):  
Operating System ◽  
Computer Program ◽  
Programming Languages ◽  
Computer Software ◽  
Computer Users ◽  
System Software ◽  
Application System ◽  
Software Application

Perangkat lunak komputer merupakan sebuah program komputer yang menjembatani pengguna komputer dan perangkat keras yang digunakannya. Dengan kata lain perangkat lunak merupakan penerjemah antara manusia sebagai orang yang memberi instruksi dan komputer sebagai pihak yang menerima instruksi. Perangkat lunak memang tidak tampak secara fisik dan tidak berwujud benda namun bisa untuk dioperasikan. Perangkat lunak secara garis besar software atau perangkat lunak dapat diklasifikasikan menjadi tiga bagian yaitu, perangkat lunak sistem operasi, perangkat lunak sistem aplikasi dan bahasa pemograman.Kata kunci : Perangkat Lunak KomputerAbstractComputer software is a computer program that bridges computer users and the hardware they use. In other words software is a translator between humans as the person who gives instructions and the computer as the party who receives instructions. The software does not appear physically and is not tangible but can be operated. Software outline software or software can be classified into three parts, namely, operating system software, application system software and programming languages.. Keywords: Computer Software

Sign in / Sign up

Export Citation Format

Share Document