451 – 460 of 1704
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2015
-
Mark
Navigating Information Overload Caused by Automated Testing – A Clustering Approach in Multi-Branch Development
2015) International Conference on Software Testing, Verification and Validation, 2015(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hardness of Approximation in PSPACE and Separation Results for Pebble Games
2015) 56th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2015 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2015-December. p.466-485(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A generalized method for proving polynomial calculus degree lower bounds
2015) 30th Conference on Computational Complexity, CCC 2015 In Leibniz International Proceedings in Informatics, LIPIcs 33. p.467-487(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tight size-degree bounds for sums-of-squares proofs
2015) 30th Conference on Computational Complexity, CCC 2015 In Leibniz International Proceedings in Informatics, LIPIcs 33. p.448-466(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Space complexity in polynomial calculus
(
- Contribution to journal › Article
-
Mark
Asymptotic number of Z3Δ cells covering C(1) surface on uniform grid and complexity of recursive-partitioning simulation of septal tissue regions
(
- Contribution to journal › Article
-
Mark
An Industrial Case Study on Test Cases as Requirements
2015) Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015 In Lecture Notes in Business Information Processing 212.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Techniques for runtime provisioning executing code using off device services
2015) JP5650240B2(
- Patent › Patent
-
Mark
Accelerating Graphics in the Simics Full-System Simulator
2015) IEEE 23rd International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2015)(
p.150-153- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How to increase the likelihood of successful transfer to industry: going beyond the empirical
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding