Daniel Bundala
- Optimal Sorting Networks
2013/10/23 by Daniel Bundala, Bundala, Daniel, Jakub Závodný +1 · 1 citation
Computer Science · Engineering · #Advanced Graph Theory Research #Algorithms and Data Compression #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #graph theory and CDMA systems
- On Systematic Testing for Execution-Time Analysis
2015/06/19 by Daniel Bundala, Bundala, Daniel, Sanjit A. Seshia +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Real-Time Systems Scheduling #Software System Performance and Reliability #Software Testing and Debugging Techniques