OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2013 Subject: Software Program Verification Document Type: Sin Especificar Language: Inglés

Sort by Score Title Year -

1-4 from 4 results (0.014 seconds)

Title: Verification of Structured Processes: A Method Based on an Unsoundness Profile
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / business process / soundness / correctness properties / Verification

AccederDescargar
Title: Efficient tone detection solutions using programmable logic devices
Author: Jaquenod, Guillermo A. / Villagarcía Wanza, Horacio A. / De Giusti, Marisa Raquel
Language: Inglés
Repository: 37
Subject: Informática / Ingeniería / telefonía / Logic Programming / Processors / centrales telefónicas / Software / señales de voz

Acceder
Title: A multiple object tracking system applied to insect behavior
Author: Marcovecchio, Diego / Stefanazzi, Natalia / Delrieux, Claudio / Maguitman, Ana Gabriela / Ferrero, Adriana
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / video processing / object tracking / computer vision

Acceder
Title: Managing receiver-based message logging overheads in parallel applications
Author: Meyer, Hugo / Rexachs del Rosario, Dolores / Luque Fadón, Emilio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / fault tolerance / mapping / message / logging / multicore / overheads / Software

Acceder

« Previous 1 Next »