861 – 870 of 1707
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2010
-
Mark
An Optimizing Compiler for Automatic Shader Bounding
(
- Contribution to journal › Article
-
Mark
SimSWE – a library of reusable components for software process simulation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
PTAS for k-tour cover poblem on the plane for moderately large values of k
(
- Contribution to journal › Article
-
Mark
A qualitative survey of regression testing practices
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges in aligning requirements engineering and verification in a large-scale industrial context
2010) 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010) 6182. p.128-142(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Invitation to algorithmic uses of inclusion–exclusion
2010) 38th International Colloquium on Automata, Languages and Programming (ICALP 2011) 6756. p.42-59(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exponential time complexity of the permanent and the Tutte polynomial
2010) 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) In Lecture Notes in Computer Science 6198. p.426-437(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Applications of a generic work-test-rework component for software process simulation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exact covers via determinants
2010) 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 5. p.95-106(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The exponential time complexity of computing the probability that a graph is connected
2010) 5th International Symposium on Parameterized and Exact Computation (IPEC 2010) 6198. p.192-203(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding