Search - IFIP Open Digital Library Access content directly

Filter your results

16 results
level0_domain_s : Computer Science [cs]
labStructName_s : Department of Computer Science [Copenhagen]
labStructName_s : Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés
Page :
sorted by
Image document

Bridging the Gap between Legacy Services and Web Services

 Tegawendé F. Bissyandé , Laurent Réveillère , Yérom-David Bromberg , Julia L. Lawall , Gilles Muller
Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Nov 2010, Bangalore, India. pp.273-292, ⟨10.1007/978-3-642-16955-7_14⟩
Conference papers hal-01055279v1
Image document

Adaptive Logical Control of RF LNA performances for efficient energy consumption

 R. Khereddine , L. Abdallah , Emmanuel Simeu , Salvador Mir , F. Cenni
18th International Conference on Very Large Scale Integration (VLSISOC), Sep 2010, Madrid, France. pp.43-68, ⟨10.1007/978-3-642-28566-0_3⟩
Conference papers hal-00556928v1
Image document

Investigating Pointing Tasks across Angularly Coupled Display Areas

 Fabian Hennecke , Alexander De Luca , Ngo Huong Nguyen , Sebastian Boring , Andreas Butz
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.720-727, ⟨10.1007/978-3-642-40483-2_50⟩
Conference papers hal-01497474v1
Image document

Statistical Evaluation of Digital Techniques for Σ Δ ADC BIST

 Matthieu Dubois , Haralampos-G. Stratigopoulos , Salvador Mir , Manuel J. Barragan
22th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC 2014), Oct 2014, Playa del Carmen, Mexico. pp.129-148, ⟨10.1007/978-3-319-25279-7_8⟩
Conference papers hal-01383733v1
Image document

Declarative Choreographies and Liveness

 Thomas T. Hildebrandt , Tijs Slaats , Hugo A. López , Søren Debois , Marco Carbone
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.129-147, ⟨10.1007/978-3-030-21759-4_8⟩
Conference papers hal-02313738v1
Image document

The Affordances of Broken Affordances

 Martin Gielsgaard Grünbaum , Jakob Grue Simonsen
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.185-202, ⟨10.1007/978-3-319-22698-9_13⟩
Conference papers hal-01609405v1
Image document

Laser-Induced Fault Effects in Security-Dedicated Circuits

 Vincent Beroulle , Philippe Candelier , Stephan de Castro , Giorgio Di Natale , Jean-Max Dutertre , et al.
VLSI-SoC: Very Large Scale Integration and System-on-Chip, Oct 2014, Playa del Carmen, Mexico. pp.220-240, ⟨10.1007/978-3-319-25279-7_12⟩
Conference papers hal-01383737v1

VLSI-SoC: Advanced Research for Systems on Chip

 Salvador Mir , Chi-Ying Tsui , Ricardo Reis , Oliver Choy
Springer, AICT-379, 2012, IFIP Advances in Information and Communication Technology, 978-3-642-32770-4. ⟨10.1007/978-3-642-32770-4⟩
Books hal-01519769v1
Image document

Teaching Image Analysis at DIKU

 Peter Johansen
3rd History of Nordic Computing (HiNC), Oct 2010, Stockholm, Sweden. pp.409-415, ⟨10.1007/978-3-642-23315-9_46⟩
Conference papers hal-01564632v1
Image document

FMEA on Critical Systems: a Cross-layer Approach based on High-Level Models

 Julie Roux , Katell Morin-Allory , Vincent Beroulle , Lilian Bossuet , Frederic Cezilly , et al.
29th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2021, Singapore, Singapore. pp.113-134
Conference papers hal-04419787v2
Image document

Minimizing Test Frequencies for Linear Analog Circuits: New Models and Efficient Solution Methods

 Mohand Bentobache , Ahcène Bounceur , Reinhardt Euler , Salvador Mir , Yann Kieffer
21th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2013, Istanbul, Turkey. pp.188-207, ⟨10.1007/978-3-319-23799-2_9⟩
Conference papers hal-01380305v1
Image document

From Assertion-based Verification to Assertion-based Synthesis

 Y. Oddos , Katell Morin-Allory , D. Borrione
17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.94-117, ⟨10.1007/978-3-642-23120-9_6⟩
Conference papers hal-01478893v1
Image document

Selection-Based Mid-Air Text Entry on Large Displays

 Anders Markussen , Mikkel R. Jakobsen , Kasper Hornbæk
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.401-418, ⟨10.1007/978-3-642-40483-2_28⟩
Conference papers hal-01497450v1
Image document

Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings

 Guillaume Plassan , Hans-Jörg Peter , Katell Morin-Allory , Shaker Sarwary , Dominique Borrione
24th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSISOC), Sep 2016, Tallinn, Estonia. pp.108-129, ⟨10.1007/978-3-319-67104-8_6⟩
Conference papers hal-01675192v1
Image document

Self-Timed Rings: A Promising Solution for Generating High-Speed High Resolution Low-Phase Noise Clocks

 O. Elissati , S. Rieubon , E. Yahya , Laurent Fesquet
18th International Conference on Very Large Scale Integration (VLSISOC), Sep 2010, Madrid, Spain. pp.22-42, ⟨10.1007/978-3-642-28566-0_2⟩
Conference papers hal-00750195v1
Image document

A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems

 Martial Chabot , Laurence Pierre
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.173-179, ⟨10.1007/978-3-662-44857-1_12⟩
Conference papers hal-01405284v1
Page :