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

Filter your results

3 results
labStructName_s : China Runtime Technologies Lab
labStructName_s : CREST Centre, Department of Computer Science
labStructName_s : Alexandra Institute Ltd.
Deposit type : Fulltext
Image document

Vectorization for Java

Jiutao Nie , Buqi Cheng , Shisheng Li , Ligang Wang , Xiao-Feng Li
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.3-17, ⟨10.1007/978-3-642-15672-4_3⟩
Conference papers hal-01054962v1
Image document

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

Kiran Lakhotia , Nikolai Tillmann , Mark Harman , Jonathan Halleux
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.142-157, ⟨10.1007/978-3-642-16573-3_11⟩
Conference papers hal-01055253v1
Image document

PerPos: A Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes

Jakob Langdal , Kari R. Schougaard , Mikkel B. Kjærgaard , Thomas Toftkjær
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.232-251, ⟨10.1007/978-3-642-16955-7_12⟩
Conference papers hal-01055281v1