18:14MALIBOO When Machine Learning meets Bayesian Optimizationdeepse @ Politecnico di Milano59 views·3 years ago
15:30Deriving a Realistic Workload Model to Simulate High-Volume Financial Data Feeds for Benchmarkingdeepse @ Politecnico di Milano42 views·3 years ago
10:58DEBS 2022 - Grand Challenge Track - DEBS Grand Challenge Analysis of Market Data with Noirdeepse @ Politecnico di Milano46 views·3 years ago
10:54TESLA a formally defined event specification language (Test of Time Award)deepse @ Politecnico di Milano58 views·4 years ago
14:57RStream Simple and Efficient Batch and Stream Processing at Scaledeepse @ Politecnico di Milano55 views·4 years ago
18:30Temporal Pattern Recognition in Graph Data Structuresdeepse @ Politecnico di Milano235 views·4 years ago
16:03Advancing Design and Runtime Management of AI Applications with AI-SPRINTdeepse @ Politecnico di Milano59 views·4 years ago
19:04Model-Driven Development of Formally Verified Human-Robot Interactionsdeepse @ Politecnico di Milano53 views·4 years ago
22:50PuRSUE-from specification of robotic environments to synthesis of controllersdeepse @ Politecnico di Milano28 views·4 years ago
13:47Teaching Formal Methods to Software Engineers through Collaborative Learningdeepse @ Politecnico di Milano77 views·4 years ago
24:43Model-Checking Structured Context-Free Languages (Extended)deepse @ Politecnico di Milano56 views·4 years ago
4:56Model-Checking Structured Context-Free Languages (Teaser)deepse @ Politecnico di Milano44 views·4 years ago
9:37A Practical Approach to Verification of Floating-Point CC++ Programs with math.hcmath Functionsdeepse @ Politecnico di Milano41 views·4 years ago
35:57Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and Kdeepse @ Politecnico di Milano238 views·5 years ago
