Name: A Decision Procedure Approach to Linux Modules Dependency (en Inglés)
SKU: 62469579
Price: 132.11 PEN
Availability: InStock
Author: Topal Tolga
ISBN: 9783964877376

portada A Decision Procedure Approach to Linux Modules Dependency (en Inglés)

A Decision Procedure Approach to Linux Modules Dependency (en Inglés)

Formato

Libro Físico

Editorial

Grin Verlag

Autor

Topal Tolga

Idioma

Inglés

Encuadernación

Tapa Blanda

ISBN13

9783964877376

A Decision Procedure Approach to Linux Modules Dependency (en Inglés)

Topal Tolga (Autor) · Grin Verlag · Tapa Blanda

Más barato Libro Nuevo Importado

Envío: 22 a 27 días háb.

S/ 293,57S/ 132,11

-55%

Más rápido Libro Nuevo Importado

Envío: 17 a 22 días háb.

S/ 355,86S/ 160,13

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo Más barato

Quedan 10 unidades

S/ 132,11

Llega entre el 19 Oct y el 27 Oct a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "A Decision Procedure Approach to Linux Modules Dependency (en Inglés)"

Technical Report from the year 2015 in the subject Computer Science - Software, grade: 12, course: Operating systems, language: English, abstract: This report focuses on the dependency resolution mechanism between modules for the Linux kernel. The reasoning concerns how to express dependency relation in propositional logic, based on different Linux kernel modules. It is around this topic that further development will be held. The reasoning will concern how to express this dependency relation in propositional logic. To establish a development, an analysis of the kbuild system is performed. The goal is to identify how and what are the elements that take part in the dependency tracking mechanism. The kbuild is a framework providing tools to construct the kernel. It can be declined into two main component: the kconfig files and makefiles. These are the elements that are responsible for handling dependency. Logic is used to express a proof i.e., the correctness of a reasoning. To do so, a proof assistant viz., Coq is used. A decision procedure is a mechanism that resolves a problem by answering it using yes or no.