Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Institute of Informatics
labStructName_s : INTEL Labs
Image document

A context-free linear ordering with an undecidable first-order theory

Arnaud Carayol , Zoltan Esik
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.104-118, ⟨10.1007/978-3-642-33475-7_8⟩
Conference papers hal-00733458v1
Image document

SOFTScale: Stealing Opportunistically for Transient Scaling

Anshul Gandhi , Timothy Zhu , Mor Harchol-Balter , Michael A. Kozuch
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.142-163, ⟨10.1007/978-3-642-35170-9_8⟩
Conference papers hal-01555559v1