461 – 470 of 1704
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2015
-
Mark
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Distributed Computing and Monitoring Technologies for Older Patients
2015)(
- Book/Report › Book
-
Mark
Jfair : A scheduling algorithm to stabilize control applications
2015) 21st IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2015 In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2015-May. p.63-72(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
Challenges and Practices in Aligning Requirements with Verification and Validation: A Case Study of Six Companies
(
- Contribution to journal › Article
-
Mark
Iterative merging heuristics for correlation clustering
(
- Contribution to journal › Article
-
Mark
3D Rectangulations and Geometric Matrix Multiplication
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast Witness Extraction using a Decision Oracle
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Variation Factors in the Design and Analysis of Replicated Controlled Experiments - Three (Dis)similar Studies on Inspections versus Unit Testing
(
- Contribution to journal › Article
-
Mark
Exponential Time Complexity of the Permanent and the Tutte Polynomial
(
- Contribution to journal › Article
-
Mark
Instruction Selection and Scheduling for DSP Kernels
(
- Contribution to journal › Article