Embedded freeBSD cookbook / by 287936 Cevoli, Paul

The design and implementation of the FreeBSD operating system / by 288607 McKusick, Marshall Kirk, Neville-Neil, George V.

Embedded freeBSD cookbook [compact disc] / by 287936 Cevoli, Paul

Design of a Mutual Exclusion and Deadlock Algorithm in PCBSD – FreeBSD by Libertad Caicedo Acosta, Camilo Andrés Ospina Acosta, Nancy Yaneth Gelvez García, Oswaldo Alberto Romero Villalobos

Subjects: “…FreeBSD…”
Get full text

BSD UNIX toolbox : 1000+ commands for freeBSD, openBSD and netBSD / by 295229 Negus, Christopher, Caen, Francois

Virtual private network dengan protokol IPSEC berbasis FreeBSD :: Studi kasus jaringan FKIP UNS by , DUNGGIO, Faizal, , Dr.techn. Ahmad Ashari, M.Kom

Active Queue Management in L4S with Asynchronous Advantage Actor-Critic: A FreeBSD Networking Stack Perspective by Deol Satish, Jonathan Kua, Shiva Raj Pokhrel

Subjects: Get full text

ANALISIS PERBANDINGAN VOIP SERVER ANTARA BRIKER IPPBX DENGAN ASTERISK by , Setiya Nugroho, , Dr. Ir. Sasongko Pramono H., DEA.

“…Asterisk VoIP server installed on FreeBSD has the QoS and MOS values are better than Briker VoIP server.…”

Mining Change Logs and Release Notes to Understand Software Maintenance and Evolution by Liguo Yu

“…This approach is applied in the study of the change logs of Linux and the release notes of FreeBSD. The results show that the software maintenance process and evolution process share some common properties and the keyword-based text mining technique could be used as a systematic method to study software maintenance and evolution.…”
Get full text

Seamless Video Session Handoff between WLANs by Claudio de Castro Monteiro, Paulo Roberto de Lira Gondim, Vinícius de Miranda Rios

“…Our solution performance was evaluated in a testbed implementation for MPEG-4 video on demand with one video server (VLS) and two FreeBSD-based access points supporting Mobile IP, DHCP Server and IAPP approach.…”
Get full text

On Testing IPv6 in Small ISP’s Networks by Konrad Sienkiewicz, Mariusz Gajewski, Jordi Mongay Batalla

“…The test platform is a dedicated LiveCD distribution based on FreeBSD operating system with IPv6 test environment and set of pre-defined tests. …”
Get full text

Modular verification of preemptive OS kernels by Gotsman, A, Yang, H

“…This interdependency is even stronger in mainstream kernels, such as Linux, FreeBSD or XNU, where the scheduler and processes interact in complex ways.…”

Network Traffic Anomaly Detection via Deep Learning by Konstantina Fotiadou, Terpsichori-Helen Velivassaki, Artemis Voulkidis, Dimitrios Skias, Sofia Tsekeridou, Theodore Zahariadis

“…In this work, we propose novel Deep Learning formulations for detecting threats and alerts on network logs that were acquired by pfSense, an open-source software that acts as firewall on FreeBSD operating system. pfSense integrates several powerful security services such as firewall, URL filtering, and virtual private networking among others. …”
Get full text

A widening approach to multithreaded program verification by Kaiser, A, Kroening, D, Wahl, T

“…Its job being merely to prevent bad widening choices, such an engine need not be complete for coverability analysis, which enables a range of existing partial (e.g., nonterminating) techniques.We present extensive experiments on multithreaded C programs, including device driver code from FreeBSD, Solaris, and Linux distributions. Our approach outperforms existing coverability methods by orders of magnitude. …”

PERANCANGAN DAN IMPLEMENTASI PROXY SERVER UNTUK FILTERING BERDASARKAN ALAMAT SITUS DAN ALAMAT IP by Lurio Lurio, Susmini Indriani Lestariningati

“…Sistem operasi pada proxy server yang dibangun menggunakan FreeBSD, dengan program filtering menggunakan Squid. …”
Get full text

PCI Express multi-root switch reconfiguration during system operation by Wong, Heymian

Get full text

Herodotus : a peer-to-peer Web archival system by Burkard, Timo, 1979-

Get full text

Monotonicity in shared-memory program verification by Kaiser, A

“…</p> <p>We present an implementation of our techniques and extensive experiments on multi-threaded C programs, including device driver code from FreeBSD and Solaris. The experiments demonstrate that by exploiting monotonicity, model checking techniques - enabled by predicate abstraction - scale to realistic programs even of a few thousands of multi-threaded C code lines.…”