Filter your results
- 3
- 3
- 3
- 3
- 4
- 8
- 15
- 13
- 16
- 7
- 10
- 6
- 16
- 2
- 6
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.177-184, ⟨10.1007/978-3-642-30823-9_15⟩
Conference papers
hal-01527642v1
|
||
|
|
Open-Source Technologies Realizing Social Networks: A Multiple Descriptive Case-Study8th International Conference on Open Source Systems (OSS), Sep 2012, Hammamet, Tunisia. pp.250-255, ⟨10.1007/978-3-642-33442-9_17⟩
Conference papers
hal-01519077v1
|
||
|
|
Design of a Reliable XOR-XNOR Circuit for Arithmetic Logic Units9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.516-523, ⟨10.1007/978-3-642-35606-3_61⟩
Conference papers
hal-01551326v1
|