Filter your results
- 16
- 16
- 16
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 16
- 9
- 7
- 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
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
16 results
|
|
sorted by
|
|
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
|
||
|
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
|
||
|
Performance of Password Guessing Enumerators Under Cracking ConditionsICT Systems Security and Privacy Protection - IFIP SEC, Gurpreet Dhillon, Jun 2019, Lisbonne, Portugal. pp.67-80, ⟨10.1007/978-3-030-22312-0_5⟩
Conference papers
hal-02060091v1
|
||
|
One-Time Biometrics for Online Banking and Electronic Payment AuthenticationInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.179-193, ⟨10.1007/978-3-319-10975-6_14⟩
Conference papers
hal-01076676v1
|
||
|
The Dual-Execution-Environment Approach: Analysis and Comparative Evaluation30th IFIP International Conference on ICT Systems Security and Privacy Protection, May 2015, Hamburg, Germany. pp.557-570, ⟨10.1007/978-3-319-18467-8_37⟩
Conference papers
hal-01246353v1
|
||
|
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
|
||
|
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
|
||
|
Filling Curves Constructed in Cellular Automata with Aperiodic Tiling23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.165-175, ⟨10.1007/978-3-319-58631-1_13⟩
Conference papers
hal-01656356v1
|
||
|
Privacy Protection for Smartphones: An Ontology-Based Firewall5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.371-380, ⟨10.1007/978-3-642-21040-2_27⟩
Conference papers
hal-00801738v1
|
||
|
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
|
||
|
Some Computational Limits of Trellis Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.176-186, ⟨10.1007/978-3-319-58631-1_14⟩
Conference papers
hal-01578301v1
|
||
|
Impact of Dynamics on Situated and Global Aggregation Schemes5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.148-159, ⟨10.1007/978-3-642-21484-4_17⟩
Conference papers
hal-00951994v1
|