231 – 240 of 1635
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Learn to relax : Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
(
- Contribution to journal › Article
-
Mark
Generating hardware and software for RISC-V cores generated with Rocket Chip generator
2021) 34th IEEE International System-on-Chip Conference, SOCC 2021 In International System on Chip Conference 2021-September. p.89-94(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Controlled experimentation in continuous experimentation : Knowledge and challenges
(
- Contribution to journal › Article
-
Mark
Temporal and cultural limits of privacy in smartphone app usage
(
- Contribution to journal › Article
-
Mark
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
(
- Contribution to journal › Article
-
Mark
Software Ticks Need No Specifications
2021) 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Concepts in testing of autonomous systems : Academic literature and industry practice
2021) 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, WAIN 2021 In Proceedings - 2021 IEEE/ACM 1st Workshop on AI Engineering - Software Engineering for AI, WAIN 2021 p.74-81(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Closing the Feedback Loop in DevOps Through Autonomous Monitors in Operations
(
- Contribution to journal › Article
-
Mark
Continuous Experimentation with Product-Led Business Models : A Comparative Case Study
2021) 11th International Conference on Software Business, ICSOB 2020 In Lecture Notes in Business Information Processing 407. p.143-158(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2021) 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12601 LNCS. p.440-451(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding