Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Assemblaggio di componenti per sistemi multiprocessore con alta efficienza energetica con verifica basata su modello, generazione automatica e retro propagazione |
|---|---|
| Titolo del progetto di ricerca in inglese | Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core System |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Informatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Studio, prototipazione e valutazione critica di soluzioni metodologiche e tecnologiche per: (1) il supporto di “separation of concerns”; (2) l'estensione del “component model” di CONCERTO con supporto a componenti gerarchiche, specifica di modi operativi, generazione di codice per sistemi multicore; (3) l'arricchimento delle funzionalità dell'ambiente di modellazione CONCERTO per la specifica di proprietà non-funzionali e per la retro-propagazione dei risultati di analisi di modello. |
| Descrizione sintetica in inglese | The research program will address the following challenges: (1) study, prototyping and evaluation of modeling solutions for the support of separation of concerns; (2) enhancements to the baseline CONCERTO component model with support for: component hierarchies; mode-dependent specifications; analysis and code generation capabilities; event-based integration with middleware layers; accommodation of components specified in heterogeneous formalisms and intended for code generation in heterogeneous programming languages; (3) technical extensions to the CONCERTO modeling infrastructure for handling additional non-functional properties and back-propagation of observations from run-time monitoring. |
| Data del bando | 05/06/2013 |
| Numero di assegnazioni per anno | 2 |
| Stanziamento annuale (indicativo) | 21304 |
| Periodicità | 20 mesi |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.math.unipd.it |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 21304 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | yes |
| Comprende il costo della ricerca | yes |
| Massima durata dell'assegno (mesi) | 34 |
| Criteri di selezione in italiano (breve descrizione) | Bando |
| Criteri di selezione in inglese (breve descrizione) | Selection announcement |
| Processo di selezione in italiano (breve descrizione) | Titoli, curriculum, pubblicazioni scientifiche, lettere di presentazione |
| Processo di selezione in inglese (breve descrizione) | Qualifications, curriculum vitae, pubblications, letters of references |
| Nome dell'Ente finanziatore | Dipartimento di Matematica - Università degli Studi di Padova |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Padova |
| Codice postale | 35121 |
| Indirizzo | Via Trieste, 63 |
| Sito web | http://www.math.unipd.it |
| amministrazione@math.unipd.it | |
| Telefono | +390498271387 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 20/06/2013 - alle ore 00:00 |
|---|---|
| Come candidarsi | www.math.unipd.it |