Search - Equipe System on Chip Access content directly

Filter your results

110 Results
Domains : spi

Educational Multimedia and Microelectronics: Should We Think First about the Conditions of Use?

H. Choplin , J.-F. Rouet , D. Degrugillier , M. Milon , Renaud Pacalet , et al.
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 Properties

Renaud Pacalet , Sylvain Guilley , Philippe Hoogvorst , Johannes Schmidt
International Conference on Boolean Functions: Cryptography and Applications (BFCA), May 2007, Paris, France
Conference papers hal-02893245v1

Hardware Optimized Sample Rate Conversion for Software Defined Radio

Carina Schmidt-Knorreck , Raymond Knopp , Renaud Pacalet
WSR 2010, 6th Karlsruhe Workshop on Software Radios, Mar 2010, Karlsruhe, Germany
Conference papers hal-02893158v1

IDROMEL: AN OPEN PLATFORM ADRESSING ADVANCED SDR CHALLENGES

Christophe Moy , Amor Nafkha , Pierre Leray , Julien Delorme , Jacques Palicot , et al.
SDR'08 Forum Technical Conference and product Exposition, Dec 2008, Washington, United States. 6 p
Conference papers hal-00401437v1
Image document

Application-Specific Instruction-Set Processor for Digital Front-End Processing in Wireless Communications

Carina Schmidt-Knorreck , Renaud Pacalet , Andreas Minwegen , Uwe Deidersen , Torsten Kempf , et al.
ACROPOLIS 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ème

Sophie Coudert , Dominique Legros
Revue REE (Selection Journées scientifiques URSI 2017), 2017
Journal articles hal-02287828v1

Secure On-board Architecture Specification, Deliverable D3.2

Hervé Seudié , Jamshid Shokrollahi , Benjamin Weyl , Anselm Keil , Marko Wolf , et al.
[Contrat] EVITA, Telecom ParisTech. 2010
Reports hal-02286287v1

Vérifications d'exclusions mutuelles par analyse statique de modèles SysML

Ludovic Apvrille , Pierre de Saqui-Sannes
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.40-44
Journal articles hal-02286741v1
Image document

Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications

Benjamin Dauphin , Andrea Enrici , Ludovic Apvrille , Renaud Pacalet
Euromicro Conference on Digital System Design, Aug 2019, Kalithea, Greece
Conference papers hal-02275905v1
Image document

A Formal Security Model for Verification of Automotive Embedded Applications

Renaud Pacalet , Gabriel Pedroza , Ludovic Apvrille
SAFA Annual Workshop on Formal Techniques (SAFA’2010), Oct 2010, Sophia-Antipolis, France
Conference papers hal-03576507v1
Image document

Interactive System Level Debugging of Systems-on-Chip

Daniel Knorreck , Ludovic Apvrille , Renaud Pacalet
S4D, Sep 2010, Southampton, United Kingdom
Conference poster hal-02893131v1

Drones civils : vers plus d’autonomie

Ludovic Apvrille
Le Journal des Grandes Ecoles et Universités, 2015, 73
Journal articles hal-02287130v1

Formal system-level design space exploration

Daniel Knorreck , Ludovic Apvrille , Renaud Pacalet
2010 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 estimation

O. Colavin , A. Artieri , J.-F. Naviner , Renaud Pacalet
Euro ASIC '91, May 1991, Paris, France. pp.96-99, ⟨10.1109/EUASIC.1991.212886⟩
Conference papers hal-02893305v1
Image document

Constraint programming for design space exploration of dataflow applications on multi-bus architectures

Amna Gharbi
Hardware Architecture [cs.AR]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT018⟩
Theses tel-03515492v1

CMOS structures suitable for secured hardware

S. Guilley , P. Hoogvorst , Y. Mathieu , Renaud Pacalet , J. Provost
Design, 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 catastrophes

Tullio Joseph Tanzi , François Lefeuvre
Journé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 issues

Madhu Chandra , Tullio Tanzi
Comptes Rendus. Physique, 2018, 19 (1-2), pp.72-84
Journal articles hal-02287833v1

Dynamic Power Management for the Iterative Decoding of Turbo Codes

Erick Amador , Raymond Knopp , Renaud Pacalet , Vincent Rezard
IEEE 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 Problem

Erick Amador , Renaud Pacalet , Vincent Rezard
the 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 IPs

Waseem Muhammad , Sophie Coudert , Rabéa Ameur-Boulifa , Renaud Pacalet
2007 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

Ludovic Apvrille , Letitia W. Li
MISC Multi-System & Internet Cookbook, 2016, 87, pp.56-65
Journal articles hal-02287436v1
Image document

Fast Simulation Techniques for Design Space Exploration

Daniel Knorreck , Ludovic Apvrille , Renaud Pacalet
International Conference on Objects, Components, Models and Patterns (TOOLS EUROPE 2009), 2009, Zurich, Switzerland
Conference papers hal-02893190v1

Formal system-level design space exploration

Daniel Knorreck , Ludovic Apvrille , Renaud Pacalet
Concurrency 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

Ludovic Apvrille
É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 processor

C. Miro , N. Darbel , Renaud Pacalet , V. Paquet
IEEE 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ée

Renaud Pacalet , Jean Marc Blosseville
La route automatisée : Un scénario périurbain, 2001
Book sections hal-02893320v1

Une approche de raffinement et de vérification formels des communications SOC

Hocine Mokrani , Rabéa Ameur-Boulifa , Emmanuelle Encrenaz-Tiphene
GDR SOC-SIP'12, Jun 2012, Paris, France
Conference papers hal-02411880v1

The “Backend Duplication” Method

Sylvain Guilley , Philippe Hoogvorst , Yves Mathieu , Renaud Pacalet
Workshop 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 memories

Jérémie Brunel , Salaheddine Ouaarab , Renaud Pacalet , Guillaume Duc
The 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, IEEE MobileCloud 2014, Apr 2014, Oxford, United Kingdom
Conference papers hal-02286951v1