OPAC

Your search

Query: PROGRAM Language: Inglés Repository: 65 Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 10 results (0.022 seconds)

Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Hfusion : a fusion tool based on acid rain plus extensions
Language: Inglés
Repository: 65
Subject: Deforestation / Acid Rain / Fusion / Hylomorphism / Paramorphism / Functional Programming Languages / Generic Programming

Acceder
Title: Course-of-values recursion in Martin-Löf's type theory
Language: Inglés
Repository: 65
Subject: Teoria de tipos / Logical frameworks / Alf
Title: Mathematics and MateFun, a natural way to introduce programming into school
Language: Inglés
Repository: 65
Subject: Mathematics / Learning / Programming
Title: Hardware implementation of a sensorless control algorithm for permanent magnet synchronous motors
Language: Inglés
Repository: 65

Acceder
Title: Dependability evaluation of a critical system by means of fault injection mechanisms
Language: Inglés
Repository: 65
Subject: Electrónica

Acceder
Title: Formally verified countermeasures against cache based attacks in virtualization platforms
Language: Inglés
Repository: 65
Subject: Non-interference / Cache-based attacks / Constant-time cryptography / Stealth memory / Coq / No interferencia / Ataques basados en cache / Criptografía constant-time

Acceder
Title: Observation mechanisms for in-field software-based self-test
Language: Inglés
Repository: 65
Subject: SISTEMAS ELECTRONICOS / SOFTWARE-BASED SELF-TEST (SBST)
Title: Circuits and systems for inductive power transfer
Language: Inglés
Repository: 65
Subject: Transferencia inhalámbrica de energía / Transferencia de potencia inductiva
Title: Low energy digital circuits in advanced nanometer technologies
Language: Inglés
Repository: 65
Subject: Bajo consumo de energía / Circuitos digitales / Circuitos sub umbrales / Conversores dc-dc / Reciclado de carga.

« Previous 1 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search