15 results on '"Petri, Gustavo"'
Search Results
2. Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations
3. Confidential Computing—a brave new world
4. PLASMA
5. Replication-aware linearizability
6. Invariant Safety for Distributed Applications
7. Ensuring referential integrity under causal consistency
8. Programmable Elasticity for Actor-based Cloud Applications
9. A programmable buffer management platform
10. Composing middlebox and traffic engineering policies in SDNs
11. Programming Scalable Cloud Services with AEON
12. Automatically learning shape specifications
13. BASEL (Buffer mAnagement SpEcification Language)
14. Atomicity refinement for verified compilation
15. Relaxed memory models
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.