DOMENICI, ANDREA Statistiche

DOMENICI, ANDREA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 83 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
A general model for an Abstract Prolog Machine 1-gen-1988 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A logic theory pattern for linearized control systems 1-gen-2021 Domenici, A.; Bernardeschi, C.
A Model for the Storage Resource Manager 1-gen-2007 Domenici, Andrea; Donno, Flavia
A performance study on the synchronisation of heterogeneous grid databases using CONStanza 1-gen-2010 Pucciani, Gianni; Domenici, Andrea; Donno, Flavia; Stockinger, Heinz
A Prolog environment within the Unix operating system 1-gen-1987 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A protocol for resource locking and deadlock detection in a multi-user environment 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A protocol for resource locking and deadlock detection in a multi-user environment 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A prototyping process for medical devices and systems 1-gen-2021 Bernardeschi, C.; Domenici, A.; Palmieri, M.
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems 1-gen-2018 Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo
A Synthetic trace generator for multiprocessor performance evaluation 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A Tool for Signal Probability Analysis of FPGA-Based Systems 1-gen-2011 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Masci, PAOLO MANUEL
Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs 1-gen-2012 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Luca, Sterpone
An abstract Prolog machine 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
An abstract Prolog machine Vol. 11, No. 2, pp. 31-37 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems 1-gen-2012 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Domenici, Andrea
Application of Model Checking to Fault Tolerance Analysis 1-gen-2019 Bernardeschi, C.; Domenici, A.
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs 1-gen-2014 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Sterpone, Luca
Block-Based Models and Theorem Proving in Model-Based Development 1-gen-2020 Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M.
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications 1-gen-2021 Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors 1-gen-2020 Bernardeschi, C.; Dini, P.; Domenici, A.; Saponara, S.