Filter your results
- 9
- 9
- 9
- 1
- 1
- 1
- 1
- 2
- 3
- 9
- 9
- 98
- 78
- 75
- 65
- 59
- 51
- 49
- 47
- 43
- 42
- 40
- 40
- 38
- 35
- 33
- 33
- 33
- 31
- 29
- 29
- 29
- 29
- 28
- 28
- 27
- 26
- 25
- 25
- 25
- 23
- 23
- 22
- 22
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 results
|
|
sorted by
|
|
EpiDOL: Epidemic Density Adaptive Data Dissemination Exploiting Opposite Lane in VANETs19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.221-232, ⟨10.1007/978-3-642-40552-5_20⟩
Conference papers
hal-01497019v1
|
||
|
Fault Collapsing in Digital Circuits Using Fast Fault Dominance and Equivalence Analysis with SSBDDs23th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2015, Daejeon, South Korea. pp.23-45, ⟨10.1007/978-3-319-46097-0_2⟩
Conference papers
hal-01578613v1
|
||
|
Energy-Accuracy Scalable Deep Convolutional Neural Networks: A Pareto Analysis26th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2018, Verona, Italy. pp.107-127, ⟨10.1007/978-3-030-23425-6_6⟩
Conference papers
hal-02321763v1
|
||
|
A New Data Integrity Checking Protocol with Public Verifiability in Cloud Storage6th International Conference on Trust Management (TM), May 2012, Surat, India. pp.240-246, ⟨10.1007/978-3-642-29852-3_19⟩
Conference papers
hal-01517664v1
|
||
|
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩
Conference papers
hal-01527384v1
|
||
|
Software Metrics Reduction for Fault-Proneness Prediction of Software ModulesIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.432-441, ⟨10.1007/978-3-642-15672-4_36⟩
Conference papers
hal-01054966v1
|
||
|
Collaborative Distributed Computing in the Field of Digital Electronics Testing9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.145-152, ⟨10.1007/978-3-642-14341-0_17⟩
Conference papers
hal-01060718v1
|
||
|
Modular Functional Testing: Targeting the Small Embedded Memories in GPUs28th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2020, Salt Lake City, UT, United States. pp.205-233, ⟨10.1007/978-3-030-81641-4_10⟩
Conference papers
hal-03759725v1
|
||
|
When ABE Meets RSS24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.319-326, ⟨10.1007/978-3-642-13739-6_23⟩
Conference papers
hal-01056677v1
|