Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Reversibilità, Prestazioni e Sicurezza di Sistemi Concorrenti |
|---|---|
| Titolo del progetto di ricerca in inglese | Reversibility, Performance and Security of Concurrent Systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | La computazione reversibile, oltre che nella consueta direzione all'avanti, può pure andare all'indietro qualora sia necessario annullare gli effetti delle operazioni eseguite procedendo in avanti. Dopo i lavori di Landauer e Bennett, la computazione reversibile ha attirato un crescente interesse non solo nel campo del basso consumo energetico, ma anche nei campi della biochimica, della simulazione parallela a eventi discreti, della robotica, della tolleranza ai guasti e del debugging di programmi concorrenti. Diversi linguaggi e modelli sono stati sviluppati per rappresentare e analizzare sistemi concorrenti regolati dalla nozione di reversibilità causale. Tuttavia è ancora limitata la comprensione degli aspetti temporali, probabilistici e di sicurezza di tali sistemi, sui quali si focalizzerà pertanto il programma di ricerca |
| Descrizione sintetica in inglese | Reversible computing, in addition to the usual forward direction, can also go backward when it is necessary to cancel the effects of the operations executed while going forward. After the seminal works by Landauer and Bennett, reversible computing has attracted an increasing interest not only in the field of low power consumption, but also in the fields of biochemistry, parallel discrete-event simulation, robotics, fault tolerance, and concurrent program debugging. Several languages and models have been developed to represent and analyze concurrent systems governed by the notion of causal reversibility. However, the understanding of the temporal, probabilistic, and security aspects of such systems is still limited, hence the research programme will focus on these aspects |
| Data del bando | 28/09/2023 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
OTHER |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | http://www.uniurb.it/assegnidiricerca |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Università degli Studi di Urbino Carlo Bo – DISPEA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Urbino |
| Sito web | http://www.uniurb.it |
| amministrazione.reclutamento.pdoc@uniurb.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 28/10/2023 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |