Filter your results
- 93
- 17
- 72
- 23
- 9
- 4
- 1
- 1
- 9
- 110
- 86
- 1
- 1
- 2
- 2
- 1
- 4
- 3
- 3
- 9
- 5
- 12
- 7
- 6
- 18
- 9
- 5
- 6
- 5
- 2
- 3
- 1
- 3
- 1
- 2
- 1
- 95
- 15
- 88
- 11
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 69
- 54
- 14
- 12
- 9
- 9
- 8
- 7
- 7
- 7
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
Educational Multimedia and Microelectronics: Should We Think First about the Conditions of Use?3rd European Workshop on Microelectronics Education, May 2000, Grenoble, France. pp.41-44, ⟨10.1007/978-94-015-9506-3_9⟩
Conference papers
hal-02893404v1
|
||
Improving Side-Channel Attacks by Exploiting Substitution Boxes PropertiesInternational Conference on Boolean Functions: Cryptography and Applications (BFCA), May 2007, Paris, France
Conference papers
hal-02893245v1
|
|||
Hardware Optimized Sample Rate Conversion for Software Defined RadioWSR 2010, 6th Karlsruhe Workshop on Software Radios, Mar 2010, Karlsruhe, Germany
Conference papers
hal-02893158v1
|
|||
IDROMEL: AN OPEN PLATFORM ADRESSING ADVANCED SDR CHALLENGESSDR'08 Forum Technical Conference and product Exposition, Dec 2008, Washington, United States. 6 p
Conference papers
hal-00401437v1
|
|||
|
Application-Specific Instruction-Set Processor for Digital Front-End Processing in Wireless CommunicationsACROPOLIS 2011, 1st Annual Workshop on Advanced coexistence technologies for radio resource usage optimisation, Oct 2011, Barcelona, Spain
Conference papers
hal-03576456v1
|
||
Modélisation formelle pour l’ingénierie systèmeRevue REE (Selection Journées scientifiques URSI 2017), 2017
Journal articles
hal-02287828v1
|
|||
Secure On-board Architecture Specification, Deliverable D3.2[Contrat] EVITA, Telecom ParisTech. 2010
Reports
hal-02286287v1
|
|||
Vérifications d'exclusions mutuelles par analyse statique de modèles SysMLGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.40-44
Journal articles
hal-02286741v1
|
|||
|
Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow ApplicationsEuromicro Conference on Digital System Design, Aug 2019, Kalithea, Greece
Conference papers
hal-02275905v1
|
||
|
A Formal Security Model for Verification of Automotive Embedded ApplicationsSAFA Annual Workshop on Formal Techniques (SAFA’2010), Oct 2010, Sophia-Antipolis, France
Conference papers
hal-03576507v1
|
||
|
Interactive System Level Debugging of Systems-on-ChipS4D, Sep 2010, Southampton, United Kingdom
Conference poster
hal-02893131v1
|
||
Drones civils : vers plus d’autonomieLe Journal des Grandes Ecoles et Universités, 2015, 73
Journal articles
hal-02287130v1
|
|||
Formal system-level design space exploration2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), May 2010, Tozeur, France. pp.1-8, ⟨10.1109/NOTERE.2010.5536852⟩
Conference papers
hal-02893147v1
|
|||
A dedicated circuit for real time motion estimationEuro ASIC '91, May 1991, Paris, France. pp.96-99, ⟨10.1109/EUASIC.1991.212886⟩
Conference papers
hal-02893305v1
|
|||
|
Constraint programming for design space exploration of dataflow applications on multi-bus architecturesHardware Architecture [cs.AR]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT018⟩
Theses
tel-03515492v1
|
||
CMOS structures suitable for secured hardwareDesign, Automation and Test in Europe Conference and Exhibition, Feb 2004, Paris, France. pp.1414-1415, ⟨10.1109/DATE.2004.1269113⟩
Conference papers
hal-02893279v1
|
|||
Apport des radio-sciences à la gestion des catastrophesJournées scientifiques 2009 d'URSI-France: Propagation et Télédétection, Mar 2009, Paris, France. 28 p
Conference papers
hal-00762241v1
|
|||
Drone-borne GPR design: Propagation issuesComptes Rendus. Physique, 2018, 19 (1-2), pp.72-84
Journal articles
hal-02287833v1
|
|||
Dynamic Power Management for the Iterative Decoding of Turbo CodesIEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2012, 20 (11), pp.2133-2137. ⟨10.1109/TVLSI.2011.2167765⟩
Journal articles
hal-02893084v1
|
|||
Optimum LDPC Decoder: A Memory Architecture Problemthe 46th Annual Design Automation Conference, Jul 2009, San Francisco, France. pp.891, ⟨10.1145/1629911.1630141⟩
Conference papers
hal-02893173v1
|
|||
Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs2007 IEEE International Multitopic Conference (INMIC), Dec 2007, Lahore, France. pp.1-6, ⟨10.1109/INMIC.2007.4557700⟩
Conference papers
hal-02893223v1
|
|||
Sécurite des véhicules connectés et/ou autonomes MISC Multi-System & Internet Cookbook, 2016, 87, pp.56-65
Journal articles
hal-02287436v1
|
|||
|
Fast Simulation Techniques for Design Space ExplorationInternational Conference on Objects, Components, Models and Patterns (TOOLS EUROPE 2009), 2009, Zurich, Switzerland
Conference papers
hal-02893190v1
|
||
Formal system-level design space explorationConcurrency and Computation: Practice and Experience, 2012, 25 (2), pp.250-264. ⟨10.1002/cpe.2802⟩
Journal articles
istex
hal-02893082v1
|
|||
DIPLODOCUS : Un environnement pour le partitionnement logiciel/matériel des systèmes embarqués et intégrés complexesÉcole d’Été Temps Réel (ETR 2013), Aug 2013, Toulouse, France
Conference papers
hal-02286794v1
|
|||
A VLSI architecture for image geometrical transformations using an embedded core based processorIEEE International Conference on Application-Specific Systems, Architectures and Processors, Jul 1997, Zurich, France. pp.86-95, ⟨10.1109/ASAP.1997.606815⟩
Conference papers
hal-02893298v1
|
|||
Scénario de déploiement de la route automatiséeLa route automatisée : Un scénario périurbain, 2001
Book sections
hal-02893320v1
|
|||
Une approche de raffinement et de vérification formels des communications SOCGDR SOC-SIP'12, Jun 2012, Paris, France
Conference papers
hal-02411880v1
|
|||
|
The “Backend Duplication” MethodWorkshop on Cryptographic Hardware and Embedded Systems (CHES), Aug 2005, Edinburgh, United Kingdom. pp.383-397, ⟨10.1007/11545262_28⟩
Conference papers
hal-02893271v1
|
||
SecBus, a software/hardware architecture for securing external memoriesThe 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, IEEE MobileCloud 2014, Apr 2014, Oxford, United Kingdom
Conference papers
hal-02286951v1
|