IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 173
Titolo Anno di pubblicazione Autori Unitn File
Interface Specification and Converter Synthesis 1-gen-2006 Passerone, Roberto
Interchange semantics for hybrid system models 1-gen-2006 Passerone, Roberto +
Interchange Formats for Hybrid Systems: Abstract Semantics 1-gen-2006 Passerone, Roberto +
Languages and Tools for Hybrid Systems Design 1-gen-2006 Passerone, Roberto +
System Level Design Paradigms: Platform-Based Design and Communication Synthesis 1-gen-2006 Passerone, Roberto +
Functional verification methodology based on formal interface specification and transactor generation 1-gen-2006 Passerone, Roberto +
System and Method for Automatically Synthesizing Interfaces between Incompatible Protocols 1-gen-2006 Passerone, Roberto +
A platform-based taxonomy for ESL design 1-gen-2006 Passerone, Roberto +
Maximizing Sensing Coverage in Wireless Sensor Networks Through Optimal Scattering of Wake-up Times 1-gen-2007 Luigi PalopoliRoberto PasseroneGian Pietro Picco +
A Case Study in Performance Estimation and Analysis for SDR: UMTS Data-Link Layer 1-gen-2007 Passerone, RobertoSimalatsar, Alena
Refinement Preserving Approximations for the Design and Verification of Heterogeneous Systems 1-gen-2007 Passerone, Roberto +
Specification, Synthesis and Simulation of Transactor Processes 1-gen-2007 Passerone, Roberto +
Composability for high-integrity real-time embedded systems 1-gen-2008 Passerone, Roberto +
Aligned Schedules are Optimal 1-gen-2008 Palopoli, LuigiPasserone, Roberto
FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization 1-gen-2008 Khan, Muhammad Rezaul HoquePasserone, RobertoMacii, David
Performance analysis of energy efficient source coding and interference reduction in wireless sensor network systems 1-gen-2008 Khan, Muhammad Rezaul HoquePasserone, Roberto
Functional and structural properties in the Model-Driven Engineering approach 1-gen-2008 Passerone, Roberto +
A contract-based formalism for the specification of heterogeneous systems 1-gen-2008 Passerone, Roberto +
Approximating behaviors in embedded system design 1-gen-2008 Passerone, Roberto +
A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling 1-gen-2008 Simalatsar, AlenaPasserone, Roberto +
Mostrati risultati da 21 a 40 di 173
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