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.
Risultati 31 - 33 di 33 (tempo di esecuzione: 0.016 secondi).
Tackling continuous state-space explosion in a Markovian process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
The PEPA Eclipse Plug-in
2009-01-01 Tribastone, M; Duguid, A; Gilmore, S
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems
2016-01-01 Das, A; Merrett, Gv; Tribastone, M; Al-Hashimi, Bm
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Tackling continuous state-space explosion in a Markovian process algebra | 1-gen-2014 | Tribastone, M; Tschaikowski, M | |
The PEPA Eclipse Plug-in | 1-gen-2009 | Tribastone, M; Duguid, A; Gilmore, S | |
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems | 1-gen-2016 | Das, A; Merrett, Gv; Tribastone, M; Al-Hashimi, Bm |
Risultati 31 - 33 di 33 (tempo di esecuzione: 0.016 secondi).
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
Opzioni
Scopri
Tipologia
- 1 Contributo su Rivista 33
- 1 Contributo su Rivista::1.1 Arti... 33
Data di pubblicazione
- 2020 - 2024 8
- 2010 - 2019 24
- 2009 - 2009 1
Rivista
- THEORETICAL COMPUTER SCIENCE 5
- ACM SIGMETRICS PERFORMANCE EVALUA... 3
- IEEE TRANSACTIONS ON AUTOMATIC CO... 3
- IEEE TRANSACTIONS ON SOFTWARE ENG... 3
- ELECTRONIC PROCEEDINGS IN THEORET... 2
- PERFORMANCE EVALUATION 2
- ACM SIGPLAN NOTICES 1
- ANNALS OF OPERATIONS RESEARCH 1
- AUTOMATISIERUNGSTECHNIK 1
- BIOINFORMATICS 1
Keyword
- Abandonment queueing networks 1
- Biological systems 1
- Chemical process control 1
- Chemical reaction networks 1
- continuous-time Markov chains 1
- Differential-algebraic systems 1
- Electric circuits 1
- Equivalence relations 1
- Fluid limits 1
- Gaussian mixtures 1
Lingua
- eng 23
Accesso al fulltext
- no fulltext 25
- partially open 4
- open 3
- reserved 1