Zulkoski, E. ., Martins, R. ., Wintersteiger, C. ., Robere, R. ., Liang, J. H., Czarnecki, K. ., & Ganesh, V. . (2017). Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance. Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance. Presented at the. EPIC. (Original work published 2017)
Publications
Filter by:
Sarkar, A. ., Czarnecki, K. ., Angus, M. ., Li, C. ., & Waslander, S. . (2017). Trajectory prediction of traffic agents at urban intersections through learned interactions.. Trajectory Prediction of Traffic Agents at Urban Intersections through Learned Interactions. Presented at the. Retrieved from https://ieeexplore.ieee.org/document/8317731
Larson, K. ., Peled, D. ., & Sedwards, S. . (2017). Memory-Efficient Tactics for Randomized LTL Model Checking. Heidelberg, Germany: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-72308-2_10
Valov, P. ., Petkovich, J.-C. ., Guo, J. ., Fischmeister, S. ., & Czarnecki, K. . (2017). Transferring Performance Prediction Models Across Different Hardware Platforms. Transferring Performance Prediction Models Across Different Hardware Platforms. Presented at the. https://doi.org/10.1145/3030207.3030216 (Original work published 2017)
Chauchan, M. ., Pellizzoni, R. ., & Czarnecki, K. . (2017). Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability. Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability. Presented at the. Retrieved from https://dac.com/2017/accepted-papers (Original work published 2017)
Liang, J. H., Ganesh, V. ., Poupart, P. ., & Czarnecki, K. . (2016). Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Presented at the. Retrieved from http://dl.acm.org/citation.cfm?id=3016100.3016385 (Original work published 2016)
Zulkoski, E. ., Ganesh, V. ., & Czarnecki, K. . (2016). MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Presented at the. AAAI Press. (Original work published 2016)
Sarkar, A. . (2016). Meta-learning Performance Prediction of Highly Configurable Systems: A Cost-oriented Approach. Waterloo. Retrieved from http://hdl.handle.net/10012/10406 (Original work published 2016)
Khalilov, E. ., Ross, J. ., Antkiewicz, M. ., Völter, M. ., & Czarnecki, K. . (2016). Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners. Modeling and Optimizing Automotive Electric Electronic (E E) Architectures: Towards Making Clafer Accessible to Practitioners. Presented at the. https://doi.org/10.1007/978-3-319-47169-3_37 (Original work published 2016)
Sarkar, A. ., Guo, J. ., Siegmund, N. ., Apel, S. ., & Czarnecki, K. . (2015). Cost-efficient sampling for performance prediction of configurable systems. Cost-Efficient Sampling for Performance Prediction of Configurable Systems. Presented at the. Retrieved from https://ieeexplore.ieee.org/document/7372023
- First page
- Previous page
- Page 2
- Page 3
- Page 4
- Page 5
- Page 6
- Page 7
- Page 8
- Page 9
- Current page 10