×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [miguel castro]
Baeyer-Villiger Rearrangement
350 views
Abrf poster with legend with links
154 views
DETERMINISTIC AND PROBABILISTIC METHODS FOR STRUCTURAL SEISMIC SAFETY ASSESSMENT
37 views
1 A Systematic Review of the Validity of Endoscopic Ultrasound for Esophageal Carcinoma Staging 3 rd presentation Class 3: Ana Maria Reis, Ana Margarida
218 views
Vigilante: End-to-End Containment of Internet Worms Paper by: Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron, Lidong Zhou, Lintao Zhang, Paul
218 views
Nikolaj Bjørner Microsoft Research Lecture 1. DayTopicsLab 1Overview of SMT and applications. SAT solving, Z3 Introduction to encoding problems with Z3
218 views
Vigilante and Potemkin Presenter: Ýmir Vigfússon Based in part on slide sets from Mahesh Balakrishnan and Raghavan Srinivasan
216 views
Nikolaj Bjørner Microsoft Research FSE &. Using Decision Engines for Software @ Microsoft. Dynamic Symbolic Execution Bit-precise Scalable Static Analysis
222 views
BASE: Using Abstraction to Improve Fault Tolerance
22 views
Scalable peer-to-peer substrates: A new foundation for distributed applications?
250 views
Steel Column Bases Under Biaxial Loading Conditions
48 views
FutureGRID: A Program for long term research into GRID Systems Architecture
27 views
Next >