Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi

More documents

Recommendations

Info

Offuscamento per interpretazione? Y. Futamura, Partial Evaluation of Computation Process, 1971 Offuscare P è compilare da S a T e quindi di nuovo in S: [P] S (d) = [int S ] S (P,d) = [[spec T ] S (int S ,P)] T (d) = [int T ] S ([spec T ] S (int S ,P),d) = [[spec S ] S (int T , [spec T ] S (int S ,P))] S (d) obf(P) = [spec S ] S (int T , [spec T ] S (int S ,P)) ∈ S.prog Per attaccare obf(P) devi capire la relazione tra S e T Mathesis: Verona - 10.03.2012 – p.43/56
[Cloackware 2000] Code Flattening Idea: “riordina” o “dissimula” il control flow di P, senza cambiarne la semantica Mathesis: Verona - 10.03.2012 – p.44/56
Page 1 and 2:
ALAN TURING 1912 - 2012 ESPRESSIVIT
Page 3 and 4:
Breve storia: Le origini 1900 Hilbe
Page 5 and 6: Breve storia: Le origini 1900 Hilbe
Page 7 and 8: Evoluzione storica Mathesis: Vero
Page 9 and 10: Evoluzione storica Mathesis: Ver
Page 11 and 12: e prima? Mathesis: Verona - 10.03.2
Page 13 and 14: Evitare il paradosso diagonale! L
Page 15 and 16: Informazione e Informatica Mathesis
Page 17 and 18: Macchina o modello di calcolo Codif
Page 19 and 20: Macchina o modello di calcolo Codif
Page 21 and 22: Espressività e Complessità Comple
Page 23 and 24: ...mediante procedimenti intuitivam
Page 25 and 26: Percorrendo la gerarchia: Automi L
Page 27 and 28: Non riesce a contare: a n b n per n
Page 29 and 30: Il modello non-deterministico Math
Page 31 and 32: Percorrendo la gerarchia: Automi a
Page 33 and 34: a bcba ↓ nastro q0 ↕ pila Z abc
Page 35 and 36: Percorrendo la gerarchia: MdT limit
Page 37 and 38: Classi e proprietà nello spazio EX
Page 39 and 40: Limiti e proprietà nel tempo Nuove
Page 41 and 42: Percorrendo la gerarchia: MdT Idea:
Page 43 and 44: Limiti e Proprietà assolute Il pro
Page 45 and 46: La gerarchia rivista Mathesis:
Page 47 and 48: Offuscamento: l’idea Mathesis: Ve
Page 49 and 50: Oggetti da nascondere? data objects
Page 51 and 52: Oscurità come imprecisione Offusca
Page 53 and 54: Oscurità come imprecisione Offusca
Page 55: Programmi che manipolano programmi?
Page 59 and 60: Il seguente programma “appiattito
Page 61 and 62: Idea: parallelismo massivo e alta d
Page 63 and 64: DNA Computing: TSP Problema: determ
Page 65 and 66: DNA Computing: TSP Idea: Codificare
Page 67 and 68: Quantum Computing: parallelismo Ide
Page 69 and 70: PTime ? = NPTime ....il problema ap
show all

Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?