EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-D.1.3
Home Policy Brochure Browse Search User Area Contact Help

2014

van Dijk, T. and van de Pol, J.C. (2014) Lace: non-blocking split deque for work-stealing. In: Proceedings of the 7th International Euro-Par Workshop on Multi-/Many-core Computing Systems, MuCoCoS 2014, 26 Aug 2014, Porto, Portugal. pp. 206-217. Lecture Notes in Computer Science 8806. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-14312-5
Zaharieva-Stojanovski, M. and Huisman, M. and Blom, S.C.C. (2014) Verifying Functional Behaviour of Concurrent Programs. In: FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 28 Jul 2014, Uppsala, Sweden. 4:1-4:6. ACM. ISBN 978-1-4503-2866-1

2006

Kurban, M.E. and Niebert, P. and Qu, H. and Vogler, W. (2006) Stronger reduction criteria for Local First Search. In: Proceedings of the Third International Colloquium on Theoretical Aspects of Computing, 20-24 Nov 2006, Tunis, Tunisia. pp. 108-122. Lecture Notes in Computer Science 4281/2006. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-48815-6