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 91 - 100 di 119 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) File
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems 1-gen-2019 Pazzaglia, P; Biondi, A; Di Natale, M
Simulation-driven optimization of real-time control tasks 1-gen-2015 Morelli, Matteo; Seddik, Yasmina; DI NATALE, Marco; Mraidha, Chokri; TUCCI PIERGIOVANNI, Sara
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract 1-gen-2004 J., Brunel; P., Giusto; L., Lavagno; DI NATALE, Marco; A., Ferrari
Softcontract: Model-based design of error-checking code and property monitors 1-gen-2005 L., Lavagno; DI NATALE, Marco; A., Ferrari; P., Giusto
Software components for reliable automotive systems 1-gen-2008 H., Heinecke; W., Damm; B., Josko; A., Metzner; H., Kopetz; A., Sangiovanni Vincentelli; DI NATALE, Marco
Statistical Analysis of Controller Area Network Message Response Times 1-gen-2009 H., Zeng; DI NATALE, Marco; P., Giusto; A., Sangiovanni Vincentelli
Step revision in hybrid Co-simulation with FMI 1-gen-2016 Cremona, Fabio; Lohstroh, Marten; Broman, David; DI NATALE, Marco; Lee, Edward A.; Tripakis, Stavros
Support for multiprocessor synchronization and resource sharing in System-On-Programmable Chips with softcores 1-gen-2005 P., Gai; Lipari, Giuseppe; DI NATALE, Marco; M., Duranti; A., Ferrari
Synthesis of Task and Message Activation Models in Real-Time Distributed Automotive Systems 1-gen-2007 Wei, Zheng; DI NATALE, Marco; C., Pinello; P., Giusto; A., SANGIOVANNI VINCENTELLI
System Identification and Extraction of Timing Properties from Controller Area Network (CAN) Message Traces 1-gen-2010 DI NATALE, Marco; H., Zeng
Risultati 91 - 100 di 119 (tempo di esecuzione: 0.013 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