×

Found 5 Documents (Results 1–5)

Newest Citations Relevance
Bender, Michael A.; Farach-Colton, Martín; Kuszmaul, William

What does dynamic optimality Mean in external memory? (English) Zbl 07829250

Braverman, Mark (ed.), 13th innovations in theoretical computer science conference, ITCS 2022, Berkeley, CA, USA, January 31 – February 3, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 215, Article 18, 23 p. (2022).
MSC:  68Qxx
Cite Review PDF
Full Text: DOI arXiv
Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo

Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification. (English) Zbl 1524.68040

Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer. Lect. Notes Comput. Sci. 11445, 462-479 (2019).
MSC:  68M25 68M07 68Q60
Cite Review PDF
Full Text: DOI DOI
OA License

Filter Results by …

Document Type

all top 5

Author

Serial

Year of Publication

all top 3

Main Field