IRIS
RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 41 - 50 di 119 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
Evaluating message transmission times in Controller Area Networks without buffer preemption 1-gen-2006 DI NATALE, Marco
Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling 1-gen-2014 Biondi, Alessandro; Melani, Alessandra; Marinoni, Mauro; DI NATALE, Marco; Buttazzo, Giorgio Carlo
From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications 1-gen-2005 Bartolini, Cesare; Lipari, Giuseppe; DI NATALE, Marco
Generation of Flow-Preserving Orocos Implementations of Simulink/Scicos Models 1-gen-2013 Morelli, Matteo; DI NATALE, Marco
Generation of simulink monitors for control applications from formal requirements 1-gen-2017 Balsini, Alessio; Natale, Marco Di; Celia, Marco; Tsachouridis, Vassilios
HARTIK: A Hard Real-Time Kernel for Robot Control 1-gen-1993 Buttazzo, Giorgio Carlo; DI NATALE, Marco
HRT-UML: A Design Method for Hard Real-Time Systems based on the UML Notation 1-gen-2001 M., D'Alessandro; S., Mazzini; DI NATALE, Marco; Lipari, Giuseppe
HRT-UML: Taking HRT-HOOD onto UML 1-gen-2003 S., Mazzini; M., D'Alessandro; DI NATALE, Marco; A., Domenici; Lipari, Giuseppe; T., Vardanega
Hybrid Fingerprint Matching on Programmable Smart Cards 1-gen-2004 Cucinotta, Tommaso; DI NATALE, Marco; Riccardo, Brigo
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods 1-gen-2010 H., Zeng; DI NATALE, Marco
Risultati 41 - 50 di 119 (tempo di esecuzione: 0.01 secondi).
↑ Back to top
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 4 Contributo in Atti Convegno (Pr... 119
  • 4 Contributo in Atti Convegno (Pr... 119
Autore
  • BUTTAZZO, Giorgio Carlo 12
  • BIONDI, ALESSANDRO 11
  • LIPARI, Giuseppe 9
  • BINI, Enrico 8
  • Morelli, Matteo 8
  • ANCILOTTI, Paolo 6
  • CUCINOTTA, TOMMASO 6
  • PAZZAGLIA, PAOLO 6
  • CREMONA, Fabio 5
  • ABENI, LUCA 3
Data di pubblicazione
  • 2020 - 2023 4
  • 2010 - 2019 58
  • 2000 - 2009 51
  • 1993 - 1999 6
Editore
  • IEEE Computer Society 38
  • IEEE 17
  • IEEE Publishing 7
  • Institute of Electrical and Elect... 7
  • ACM 5
  • IEEE Computer society 5
  • Springer 3
  • Springer Berlin 3
  • Springer Verlag 3
  • Association for Computing Machine... 2
Rivista
  • LECTURE NOTES IN ARTIFICIAL INTEL... 1
  • LEIBNIZ INTERNATIONAL PROCEEDINGS... 1
  • PROCEEDINGS - INTERNATIONAL COMPU... 1
Serie
  • LEIBNIZ INTERNATIONAL PROCEEDINGS... 1
  • PROCEEDINGS - DESIGN, AUTOMATION,... 1
Keyword
  • Hardware and Architecture 5
  • Software 5
  • Computer Science Applications1707... 4
  • Computer Networks and Communications 3
  • Control and Systems Engineering 2
  • Computational modeling 1
  • Computer Science (all) 1
  • Control 1
  • CPA 1
  • Cyber physical systems 1
Lingua
  • eng 118
  • ita 1
Accesso al fulltext
  • no fulltext 100
  • open 10
  • reserved 7
  • restricted 2