×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [formal verication]
Borders of Decidability in Verification of Data-Centric Dynamic Systems
157 views
Genetic algorithm
83 views
Dancing with Giants: Wimpy Kernels for On-demand Isolated I/O Presenter: Probir Roy Computer Science Department College of William & Mary
214 views