Documents dont l'auteur est "Bois, Guy"

Monter d'un niveau

Guy BoisDépartement de génie informatique et génie logiciel

Voir sa fiche dans le Répertoire des Expertises de Polytechnique Montréal

Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement

Nombre de documents: 166

Auteur ou autrice

Posso, J., Bois, G., & Savaria, Y. (2025). Dynamic-spacecraft pose estimation dataset (D-SPEED) [Ensemble de données]. Lien externe

Portas, F., Bois, G., & Savaria, Y. (juin 2024). CoChrono: A Unified Hardware/Software Performance Analysis Tool for SoC-FPGA Codesign [Communication écrite]. 22nd IEEE Interregional NEWCAS Conference (NEWCAS 2024), Sherbrooke, QC, Canada. Lien externe

Posso, J., Bois, G., & Savaria, Y. (juin 2024). Real-Time Spacecraft Pose Estimation Using Mixed-Precision Quantized Neural Network on COTS Reconfigurable MPSoC [Communication écrite]. 22nd IEEE Interregional NEWCAS Conference (NEWCAS 2024), Sherbrooke, QC, Canada. Lien externe

Posso, J., Bois, G., & Savaria, Y. (mai 2022). Mobile-URSONet: an Embeddable Neural Network for Onboard Spacecraft Pose Estimation [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 2022), Austin, TX, USA. Lien externe

Girard, S. R., Legault, V., Bois, G., & Boland, J.-F. (2019). Avionics graphics hardware performance prediction with machine learning. Scientific Programming, 2019, 1-15. Disponible

Bois, G. (janvier 2018). Specific needs for the modelling and the refinement of CPU and FPGA platforms [Communication écrite]. European Network on High Performance and Embedded Architecture and Compilation (HIPEAC 2018), Manchester, England. Non disponible

Lacroix, A. B., Langlois, J. M. P., Boyer, F.-R., Gosselin, A., & Bois, G. (mars 2016). Node configuration for the Aho-Corasick algorithm in intrusion detection systems [Affiche]. ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2016), Santa Clara, Californie (2 pages). Disponible

Jenn, E., Monteiro, F., Bois, G., & Duplantier, K. (2017). Design space exploration : the image based monitoring case. Dans Modelling and formal verification in action : the INGEQUIP Project Team . Non disponible

Bois, G., Guérard, H., & Jenn, E. (juin 2017). Using virtual platforms for early architectural exploration : experimentation on an image processing system [Communication écrite]. 54th Design Automation Conference (DAC 2017), Austin, Texas. Lien externe

Vakili, S., Langlois, J. M. P., & Bois, G. (2016). Accuracy-aware processor customisation for fixed-point arithmetic. IET Computers and Digital Techniques, 10(1), 1-11. Lien externe

Montero, F., Bois, G., Jenn, É., & Duplantier, K. (août 2016). Architectural exploration and implementation of an image processing chain with SpaceStudio [Communication écrite]. 26th International Conference on Field Programmable Logic and Applications (FPL 2016), Lausanne, Switzerland (1 page). Lien externe

Bao, L., Bois, G., Boland, J.-F., & Savard, J. (2015). Model-based Method to Automate the Design of IMA Avionics System Based on Cosimulation. SAE International Journal of Aerospace, 8(2), 234-242. Lien externe

Landry, K., Boland, J.-F., & Bois, G. (septembre 2015). Integration and Performances Analysis of a Data Distribution Service Middleware in Avionics [Communication écrite]. SAE AeroTech Congress and Exhibition (AEROTECH 2015), Seattle, WA, United states. Lien externe

Gaudon, M., Bois, G., Hugues, J., & Monteiro, F. (octobre 2015). Performance verification for ESL design methodology from AADL models [Communication écrite]. International Symposium on Rapid System Prototyping (RSP 2015), Amsterdam, Netherlands. Lien externe

Vakili, S., Langlois, J. M. P., & Bois, G. (juin 2015). Designing Customized Microprocessors for Fixed-Point Computation [Communication écrite]. NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2015), Montréal, Québec. Lien externe

Nsame, P., Bois, G., & Savaria, Y. (mai 2015). Analysis and characterization of data energy tradeoffs: for VLSI architectural agility in C-RAN platforms [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 2015), Lisbon, Portugal. Lien externe

Benyoussef, M., Boland, J.-F., Nicolescu, G., Bois, G., & Hugues, J. (février 2014). Design space exploration: bridging the gap between high-level models and virtual execution platforms [Communication écrite]. Embedded Real Time System and Software Congress (ERTS2 2014), Toulouse, France (10 pages). Lien externe

Nsame, P., Bois, G., & Savaria, Y. (août 2014). Adaptive real-time DSP acceleration for SoC applications [Communication écrite]. 57th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2014), College Station, TX. Lien externe

Nsame, P., Bois, G., & Savaria, Y. (décembre 2014). A data-driven energy efficient and flexible compute fabric architecture: For adaptive computing applied to ULSI of FFT [Communication écrite]. 21st IEEE International Conference on Electronics, Circuits and Systems (ICECS 2014), Marseille, France. Lien externe

Nsame, P., Bois, G., & Savaria, Y. (mai 2014). Design and Test of Adaptive Computing Fabrics for Scalable and High-Efficiency Cognitive SoC Applications [Communication écrite]. IEEE 23rd North Atlantic Test Workshop (NATW 2014), Johnson City, NY, USA (4 pages). Lien externe

Bois, G. (octobre 2013). A Complete HW/SW Codesign flow for heterogeneous platforms [Communication écrite]. Workshop on Many-Core Embedded Systems (MCES2013), Montréal, Québec. Non disponible

Bois, G. (avril 2013). End-to-end automated HW/SW co-design for reconfigurable SoC [Communication écrite]. Electronic Design Process Symposium (EDPS 2013), Monterey, Calif.. Non disponible

Vakili, S., Langlois, J. M. P., & Bois, G. (2013). Enhanced precision analysis for accuracy-aware bit-width optimization using affine arithmetic. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32(12), 1853-1865. Lien externe

Vakili, S., Langlois, J. M. P., & Bois, G. (mai 2013). Finite-precision error modeling using affine arithmetic [Communication écrite]. 38th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013), Vancouver, BC, Canada. Lien externe

Vakili, S., Langlois, J. M. P., & Bois, G. (2013). Customised soft processor design: A compromise between architecture description languages and parameterisable processors. IET Computers and Digital Techniques, 7(3), 122-131. Lien externe

Savard, J., Bao, L., Bois, G., & Boland, J.-F. (septembre 2013). Model-based design flow driven by integrated modular avionic simulations [Communication écrite]. SAE AeroTech Congress and Exhibition (AEROTECH 2013), Montréal, Québec. Lien externe

Le Beux, S., O'Connor, I., Nicolescu, G., Bois, G., & Paulin, P. (2013). Reduction methods for adapting optical network on chip topologies to 3D architectures. Microprocessors and Microsystems, 37(1), 87-98. Lien externe

Boland, J.-F., Bois, G., & Oudet, J.-P. (novembre 2012). Novel methodologies to support the architectural exploration of safety-critical systems [Communication écrite]. Recherche et Innovation pour les Transports du Futur (RITF 2012), Paris, France. Non disponible

Pollina, M., Leclerc, Y., Conquet, E., Bois, G., & Moss, L. (février 2012). The Assert Set of Tools for Engineering (TASTE): demonstrator, HW/SW codesign and future evolution [Communication écrite]. Embedded Real Time Software and Systems (ERTS2 2012), Toulouse, France (4 pages). Non disponible

Moss, L., Guérard, H., Dare, G., & Bois, G. (octobre 2012). An ESL methodology for rapid creation of embedded aerospace systems using hardware-software co-design on virtual platforms [Communication écrite]. SAE 2012 Aerospace Electronics and Avionics Systems Conference, Phoenix, AZ (10 pages). Lien externe

Vakili, S., Gil, D. C., Langlois, J. M. P., Savaria, Y., & Bois, G. (décembre 2011). Customized embedded processor design for global photographic tone mapping [Communication écrite]. 18th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2011), Beirut, Lebanon. Lien externe

Le Beux, S., Trajkovic, J., O'Connor, I., Nicolescu, G., Bois, G., & Paulin, P. (mars 2011). Optical Ring Network-on-Chip (ORNoC): Architecture and design methodology [Communication écrite]. 14th Design, Automation and Test in Europe Conference and Exhibition (DATE 2011), Grenoble, France. Lien externe

Carmel-Veilleux, T., Boland, J.-F., & Bois, G. (mai 2011). A novel low-overhead flexible instrumentation framework for virtual platforms [Communication écrite]. 22nd IEEE International Symposium on Rapid System Prototyping (RSP 2011), Karlsruhe, Germany. Lien externe

Pollina, M., Leclerc, Y., Conquet, E., Perrotin, M., Bois, G., & Moss, L. (mai 2011). The Assert Set of Tools for Engineering (TASTE): current features, demonstrator and future evolution [Communication écrite]. DAta Systems In Aerospace (DASIA 2011), San Anton, Malta (5 pages). Lien externe

Bois, G., Moss, L., Filion, L., & Fontaine, S. (2010). Codesign experiences based on a virtual platform. Dans Bailey, B., & Martin, G. (édit.), ESL models and their application : electronic system level design and verification practice (p. 273-309). Lien externe

Rogers-Vallée, M., Cantin, M.-A., Moss, L., & Bois, G. (octobre 2010). IP characterization methodology for fast and accurate power consumption estimation at transactional level model [Communication écrite]. IEEE International Conference on Computer Design (ICCD 2010), Amsterdam, Netherlands. Lien externe

Le Beux, S., Trajkovic, J., O'Connor, I., Nicolescu, G., Bois, G., & Paulin, P. (2010). Multi-optical network-on-chip for large scale MPSoC. IEEE Embedded Systems Letters, 2(3), 77-80. Lien externe

Le Beux, S., Nicolescu, G., Bois, G., & Paulin, P. (mai 2010). A system-level exploration flow for optical network on chip (ONoC) in 3D MPSoC [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 2010), Paris, France. Lien externe

Le Beux, S., Bois, G., Nicolescu, G., Bouchebaba, Y., Langevin, M., & Paulin, P. (2010). Combining mapping and partitioning exploration for NoC-based embedded systems. Journal of Systems Architecture, 56(7), 223-232. Lien externe

Moss, L., & Bois, G. (2009). On the Scott-continuity of tagged signal processes. (Rapport technique n° EPM-RT-2009-01). Disponible

Tsikhanovich, A., Aboulhamid, E. M., & Bois, G. (2009). Timing Specification in Transaction Level Models. Dans Aboulhamid, E. M., & Rousseau, F. (édit.), System Level Design with .Net Technology (p. 203-238). Lien externe

Zaki, M. H., Denman, W., Tahar, S., & Bois, G. (2009). Integrating abstraction techniques for formal verification of analog designs. Journal of Aerospace Computing, Information and Communication, 6(5), 373-392. Lien externe

Mahoney, P., Savaria, Y., Bois, G., & Plante, P. (2009). Performance characterization for the implementation of content addressable memories based on parallel hashing memories. Dans Transactions on High-Performance Embedded Architectures and Compilers. II (Vol. 5470, p. 307-325). Lien externe

Le Beux, S., Nicolescu, G., Bois, G., Bouchebaba, Y., Langevin, M., & Paulin, P. (juillet 2009). Optimizing configuration and application mapping for MPSoC architectures [Communication écrite]. NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2009), San Francisco, California. Lien externe

Beucher, N., Bélanger, N., Savaria, Y., & Bois, G. (2009). High acceleration for video processing applications using specialized instruction set based on parallelism and data reuse. Journal of Signal Processing Systems, 56(2-3), 155-165. Lien externe

Tsikhanovich, A., Aboulhamid, E. M., & Bois, G. (décembre 2008). Temporal constraints analysis for timing verification of systems [Communication écrite]. International Conference on Microelectronics, Sharjah, United Arab Emirates. Lien externe

Zaki, M. H., Tahar, S., & Bois, G. (2008). Formal verification of analog and mixed signal designs: A survey. Microelectronics Journal, 39(12), 1395-1404. Lien externe

Moss, L., Cantin, M.-A., Bois, G., & Mostapha Aboulhamid, E. (juin 2008). Automation of communication refinement and hardware synthesis within a system-level design methodology [Communication écrite]. 19th IEEE/IFIP International Symposium on Rapid System Prototyping. Lien externe

Fontaine, S., Goyette, S., Langlois, J. M. P., & Bois, G. (octobre 2008). Acceleration of a 3D target tracking algorithm using an application specific instruction set processor [Communication écrite]. IEEE International Conference on Computer Design (ICCD 2008). Lien externe

Fontaine, S., Filion, L., & Bois, G. (septembre 2008). Exploring ISS abstractions for embedded software design [Communication écrite]. 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD 2008). Lien externe

Tsikhanovich, A., Aboulhamid, E. M., & Bois, G. (août 2007). Timing specification in transaction level modeling of hardware/software systems [Communication écrite]. 50th Midwest Symposium on Circuits and Systems (MWSCAS 2007), Montreal, QC, Canada. Publié dans Conference proceedings (Midwest Symposium on Circuits and Systems. Lien externe

Zaki, M. H., Al-Sammane, G., Tahar, S., & Bois, G. (novembre 2007). Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs [Communication écrite]. Formal Methods in Computer Aided Design (FMCAD 2007), Austin, TX, USA (9 pages). Lien externe

Dong, Z. J., Zaki, M. H., Al Sammane, G., Tahar, S., & Bois, G. (août 2007). Run-time verification using the VHDL-AMS simulation environment [Communication écrite]. 5th IEEE International Northeast Workshop on Circuits and Systems (NEWCAS 2007), Montreal, Qc, Canada. Lien externe

Moss, L., De Nanclas, M., Filion, L., Fontaine, S., Bois, G., & Aboulhamid, M. (avril 2007). Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2007), Nice Acropolis, France. Lien externe

Dong, Z. J., Zaki, M. H., Sammane, G. A., Tahar, S., & Bois, G. (décembre 2007). Checking properties of PLL designs using run-time verification [Communication écrite]. International Conference on Microelectronics (ICM 2007), Cairo, Egypt (4 pages). Lien externe

Hadjiat, K., St-Pierre, F., Bois, G., Savaria, Y., Langevin, M., & Paulin, P. (décembre 2007). An FPGA Implementation of a Scalable Network-on-Chip Based on the Token Ring Concept [Communication écrite]. 14th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2007), Marrakech, Morocco. Lien externe

Beucher, N., Bélanger, N., Savaria, Y., & Bois, G. (décembre 2007). A Methodology to Evaluate the Energy Efficiency of Application Specific Processors [Communication écrite]. 14th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2007), Marrakech, Morocco. Lien externe

Tsikhanovich, A., Aboulhamid, E. M., & Bois, G. (décembre 2007). Communication Structure Refinement using Temporal Constraints Analysis [Communication écrite]. 14th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2007), Marrakech, Morocco. Lien externe

Al Sammane, G., Zaki, M. H., Tahar, S., & Bois, G. (août 2007). Constraint-based verification of delta-sigma modulators using interval analysis [Communication écrite]. 50th Midwest Symposium on Circuits and Systems (MWSCAS 2007), Montreal, Qc, Canada (4 pages). Lien externe

Zaki, M. H., Tahar, S., & Bois, G. (avril 2006). A practical approach for monitoring analog circuits [Communication écrite]. Great Lakes Symposium on VLSI (GLSVLSI 2006), Philadelphia, PA, USA. Lien externe

Zaki, M., Tahar, S., & Bois, G. (juin 2006). Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison [Communication écrite]. North-East Workshop on Circuits and Systems, Gatineau, QC, Canada. Lien externe

Provost, S., Lavigueur, B., Bois, G., & Nicolescu, G. Integration of Configurable Processors in a Multiprocessor Platform [Communication écrite]. IEEE International SOC Conference (SOCC 2006). Lien externe

Tsikhanovich, A., Rousseau, F., Aboulhamid, E. M., & Bois, G. (mai 2006). Transaction Level Modeling in Hardware/Software System Design using .Net Framework [Communication écrite]. Canadian Conference on Electrical and Computer Engineering (CCECE 2006), Ottawa, ON, Canada. Lien externe

Beucher, N., Bélanger, N., Savaria, Y., & Bois, G. (octobre 2006). Motion Compensated Frame Rate Conversion Using a Specialized Instruction Set Processor [Communication écrite]. IEEE Workshop on Signal Processing Systems Design and Implementation, Banff, AB, Canada. Lien externe

Deslauriers, F., Langevin, M., Bois, G., Savaria, Y., & Paulin, P. (juin 2006). RoC: a scalable network on chip based on the token ring concept [Communication écrite]. 4th IEEE International Northeast Workshop on Circuits and Systems (NEWCAS 2006), Gatineau, Que., Canada. Lien externe

Chevalier, J. M., De Nanclas, M., Filion, L., Benny, O., Rondonneau, M., Bois, G., & Aboulhamid, E. M. (2006). A Systemc Refinement Methodology for Embedded Software. IEEE Design & Test of Computers, 23(2), 148-158. Lien externe

Tsikhanovich, A., Aboulhamid, E. M., & Bois, G. (juillet 2005). A methodology for HW/SW specification and simulation at multiple levels of abstraction [Communication écrite]. 5th International Workshop on System-on-Chip for Real-Time Applications (IWSOC 2005), Banff, AB, Canada. Lien externe

Mahoney, P., Savaria, Y., Bois, G., & Plante, P. (juin 2005). Parallel hashing memories : an alternative to content addressable memories [Communication écrite]. 3rd IEEE International Northeast Workshop on Circuits and Systems (NEWCAS 2005), Québec, QC, Canada. Lien externe

Thibeault, J.-F., Hubin, M., Deslauriers, F., Samson, P., & Bois, G. (juin 2005). A Reprogrammable Soc Design for a Real-Time Control Application [Communication écrite]. IEEE International Conference on Microelectronic Systems Education (MSE 2005), Anaheim, California, USA. Lien externe

Dubois, M., Savaria, Y., & Bois, G. (avril 2005). A Generic Ahb Bus for Implementing High-Speed Locally Synchronous Islands [Communication écrite]. IEEE SoutheastCon 2004, Fort Lauderdale, Florida, USA. Lien externe

Lapalme, J., Aboulhamid, E. M., Nicolescu, G., Charest, L., Boyer, F.-R., David, J. P., & Bois, G. (2004). ESys.Net: a new solution for embedded systems modeling and simulation. ACM SIGPLAN Notices, 39(7), 107-114. Lien externe

Benny, O., Rondonneau, M., Chevalier, J., Bois, G., Aboulhamid, E. M., & Boyer, F.-R. (mars 2004). SoC software refinement approach for a systemC platform [Communication écrite]. Design & Verification Conference & Exhibition (DVCon 2004), San Jose, California. Non disponible

Chevalier, J., Benny, O., Rondonneau, E. M., Bois, G., & Boyer, F.-R. (2004). SPACE : a hardware/software system C modeling platform including and RTOS. Dans Languages for System Specification : Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03 (p. 91-104). Lien externe

Regimbal, S., Savaria, Y., & Bois, G. (juillet 2004). Verification strategy determination using dependence analysis of transaction-level models [Communication écrite]. 4th IEEE International Workshop on System-on-Chip for Real-Time Applications, Banff, Alta., Canada. Lien externe

Quinn, D., Lavigueur, B., Bois, G., & Aboulhamid, M. (février 2004). A system level exploration platform and methodology for network applications based on configurable processors [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2004), Paris, France. Lien externe

Dubois, M., Bois, G., & Savaria, Y. (2004). Double profiling methodology for video processing platform. WSEAS Transactions on Computers, 3(6), 1802-1807. Non disponible

Cyr, G., Bois, G., & Aboulhamid, M. (2004). Generation of processor interface for SoC using standard communication protocol. IEE Proceedings. Computers and Digital Techniques, 151(5), 367-376. Lien externe

Bois, G., Filion, L., Tsikhanovich, A., & Aboulhamid, E. M. (2004). Modélisation, raffinement et programmation orientée objet avec SystemC. Dans Spécification et validation des systèmes monopuces (p. 171-208). Lien externe

Charest, L., Aboulhamid, E. M., & Bois, G. (juillet 2004). Using design patterns for type unification and introspection in SystemC [Communication écrite]. 4th International Workshop on System-on-Chip for Real-Time Applications, Banff, AB, Canada. Lien externe

Lapalme, J., Aboulhamid, E. M., Nicolescu, G., Charest, L., Boyer, F.-R., David, J. P., & Bois, G. (février 2004). [dot]Net framework - A solution for the next generation tools for system-level modeling and simulation [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2004), Paris, France. Lien externe

Lapalme, J., Aboulhamid, E. M., Nicolescu, G., Charest, L., Boyer, F.-R., David, J. P., & Bois, G. (juin 2004). Esys.net: A New Solution for Embedded Systems Modeling and Simulation [Communication écrite]. ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2004), Washington, D.C.. Publié dans ACM Sigplan Notices, 39(7). Lien externe

Regimbal, S., Lemire, J.-F., Savaria, Y., Bois, G., Aboulhamid, E. M., & Baron, A. (juin 2003). Automating functional coverage analysis based on an executable specification [Communication écrite]. 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, Calgary, Alberta, Canada. Lien externe

Bissou, J. P., Dubois, M., Savaria, Y., & Bois, G. (décembre 2003). High-speed system bus for a SoC network processing platform [Communication écrite]. 15th International Conference on Microelectronics (ICM 2003), Cairo, Egypt. Lien externe

Charest, L., Aboulhamid, M., & Bois, G. (2003). Applying multi-paradigm and patterns approaches to hardware/software design and reuse. Dans Patterns and skeletons for parallel and distributed computing (p. 97-325). Lien externe

Regimbal, S., Lemire, J.-F., Savaria, Y., Bois, G., Aboulhamid, M., & Baron, A. (juillet 2002). Aspect Partitioning for Hardware Verification Reuse [Communication écrite]. System-on-Chip for Real-Time Applications. Lien externe

Lemire, J. F., Aboulhamid, E. M., Savaria, Y., Bois, G., & Baron, A. (février 2003). Implementing e assertion checkers from an SDL executable specifications [Communication écrite]. DVCON, San José, USA. Non disponible

Filion, L., Chevalier, J., Bois, G., & Aboulhamid, E. M. The Syslib-Picasso Methodology for the Co-Design Specification Capture Phase [Communication écrite]. System-on-Chip for Real-Time Applications. Lien externe

Bertola, M., & Bois, G. (septembre 2003). A methodology for the design of AHB bus master wrappers [Communication écrite]. Euromicro Symposium on Digital System Design. Lien externe

Bertola, M., & Bois, G. Teaching Bus Architectures With a Basic, Hands-on Soc Platform [Communication écrite]. IEEE International Conference on Microelectronic Systems Education (MSE 2003). Lien externe

Beaudin, S., Marceau, R. J., Bois, G., Savaria, Y., & Kandil, N. (2003). An Economic Parallel Processing Technology for Faster Than Real-Time Transient Stability Simulation. European Transactions on Electrical Power, 13(2), 105-112. Lien externe

Charest, L., Reid, M., Aboulhamid, E. M., & Bois, G. (mars 2001). A methodology for interfacing open source SystemC with a third party software [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2001), Munich, Germany. Lien externe

Nekili, M., Savaria, Y., & Bois, G. (mai 2001). Minimizing process-induced skew using delay tuning [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 2001), Sydney, Australie. Lien externe

Heneault, Y., Filion, L., Bois, G., & Aboulhamid, E. M. A Fast Hardware Co-Specification and Co-Simulation Methodology Integrated in a H/S Co-Design Platform [Communication écrite]. 13th International Conference on Microelectronics (ICM 2001). Lien externe

Nekili, M., Savaria, Y., & Bois, G. (1999). Spatial Characterization of Process Variations Via Mos Transistor Time Constants in Vlsi and Wsi. IEEE Journal of Solid-State Circuits, 34(1), 80-84. Lien externe

Le Chapelain, B., Mechain, A., Savaria, Y., & Bois, G. (mai 1999). Development of a high performance TSPC library for implementation of large digital building blocks [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 1999), Orlando, FL, USA. Lien externe

Bosi, B., Bois, G., & Savaria, Y. (1999). Reconfigurable Pipelined 2-D Convolvers for Fast Digital Signal Processing. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 7(3), 299-308. Lien externe

Shaditalab, M., Bois, G., Sawan, M., Pocek, K. L., & Arnold, J. M. (avril 1998). Self-sorting radix-2 FFT on FPGAs using parallel pipelined distributed arithmetic blocks [Communication écrite]. IEEE Symposium on FPGAs for Custom Computing Machines, Napa Valley, CA. Lien externe

Nekili, M., Savaria, Y., Bois, G., Bayoumi, M. A., & Jullien, G. (février 1998). Design of clock distribution networks in presence of process variations [Communication écrite]. 8th Great Lakes Symposium on VLSI, Lafayette, LA, USA. Lien externe

Pera, F., Savaria, Y., & Bois, G. (juin 1997). Time delay measurement methods for integrated transmission lines and high speed cells characterization [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 1997), Hong Kong, Hong Kong. Lien externe

Nekili, M., Bois, G., & Savaria, Y. (1997). Pipelined H-trees for high-speed clocking of large integrated systems in presence of process variations. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 5(2), 161-174. Lien externe

Bois, G., Bosi, B., & Savaria, Y. (janvier 1997). High performance reconfigurable coprocessor for digital signal processing [Communication écrite]. 14th Annual International Conference of the Mentor Graphics Users' Group, Portland, Oregon. Non disponible

Lejmi, S., Bois, G., & Savaria, Y. (janvier 1996). On the effects of retiming applied to self-checking sequential circuit [Communication écrite]. 2nd IEEE On-Line Testing Workshop, Biarritz. Non disponible

Bois, G., & Cerny, E. (1996). Efficient generation of diagonal constraints for 2-D mask compaction. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 15(9), 1119-1126. Lien externe

Savaria, Y., Bois, G., Popovic, P., & Wayne, A. Computational acceleration methodologies: advantages of reconfigurable acceleration subsystems [Communication écrite]. High-Speed Computing, Digital Signal Processing, and Filtering Using Reconfigurable Logic. Lien externe

Nekili, M., Bois, G., & Savaria, Y. (1994). Deterministic skew modeling and high-speed clocking of large integrated systems by using logic-based & hybrid h-trees. (Rapport technique n° EPM-RT-94-09). Accès restreintDisponible

Nekili, M., Savaria, Y., & Bois, G. (mai 1994). Fast low-power driver for long interconnections in VLSI systems [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 1994), London, UK. Lien externe

Nekili, M., Savaria, Y., & Bois, G. (août 1994). A variable-size parallel regenerator for long integrated interconnections [Communication écrite]. 37th Midwest Symposium on Circuits and Systems (MWSCAS 1994), Lafayette, LA, USA. Lien externe

Kroumba, S. M., Bois, G., & Savaria, Y. (août 1994). Synthesis approach for the generation of parallel architectures [Communication écrite]. 37th Midwest Symposium on Circuits and Systems (MWSCAS 1994), Lafayette, LA, USA. Lien externe

Martineau, J.-L., Bois, G., & Cerny, E. (mars 1992). Automatic jog insertion for 2D mask compaction: a global optimization perspective [Communication écrite]. European Conference on Design Automation (EDAC 1992), Brussels, Belgium. Lien externe

Cerny, E., Bois, G., Bourgault, M., Demers, L.-P., Fauvel, S., Jacques, P., Mailhot, P., & Roy, C. (1989). Integration of VLSI CAD tools based on cell-objects : the CHESHIRE system. Dans Zobrist, G. W. (édit.), Progress in computer-aided VLSI Design : tools (p. 235-272). Lien externe

Cerny, E., Aboulhamid, E. M., Bois, G., & Cloutier, J. (1988). Built-in self-test of a CMOS ALU. IEEE Design & Test of Computers, 5(4), 38-48. Lien externe

Directeur ou directrice de recherche

Posso, J. (2025). Estimation de pose de véhicules spatiaux non coopératifs à partir de réseaux de neurones – De l'image monoculaire à l'implémentation embarquée temps réel et à l'analyse temporelle [Thèse de doctorat, Polytechnique Montréal]. Disponible

Portas, F. (2023). Outils de codesign pour la vérification de partitionnement par hyperviseur sur système embarqué matériel-logiciel de criticités mixtes [Mémoire de maîtrise, Polytechnique Montréal]. Disponible

Fortier, F. (2018). Estimation par analyse statique de la bande-passante d'accélérateurs en synthèse de haut niveau sur FPGA [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Gauthier, E. (2017). Exploration d'une méthodologie de développement matériel et logiciel au niveau système appliqué à un système d'encodage de flux vidéo évolutif [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Lacroix, A. B. (2016). Implémentations logicielle et matérielle de l'algorithme Aho-Corasick pour la détection d'intrusions [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Desaulty, A. (2016). Intégration dans un flot de conception système d'un outil de traduction assistée de code C pour la création de coprocesseurs matériels [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Gaudron, M. (2016). Expérimentation d'une suite d'outils pour automatiser le passage d'une conception basée sur un modèle vers la réalisation d'une implémentation, en passant par l'exploration architecturale [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Rivard-Girard, S. (2015). Prédiction de performance de matériel graphique dans un contexte avionique par apprentissage automatique [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Bao, L. (2014). Méthode de conception dirigée par les modèles pour les systèmes avioniques modulaires intégrés basée sur une approche de cosimulation [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Vakili, S. (2014). Accuracy-Guaranteed Fixed-Point Optimization in Hardware Synthesis and Processor Customization [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Legault, V. (2014). Méthodologie expérimentale pour évaluer les caractéristiques des plateformes graphiques avioniques [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Medeiros Monteiro, F. (2013). Caractérisation automatisée de la consommation de puissance des processeurs pour l'estimation au niveau système [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Savard, J. (2012). Intégration d'un simulateur de partitionnement spatial et temporel à un flot de conception basé sur les modèles [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Rogers-Vallée, M. (2012). Une méthode d'estimation de la consommation de puissance pour un système sur puce [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Allard Bernier, J. (2011). Méthode de reconfiguration dynamique pour un réseau-sur-puce tolérant aux fautes [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Guérard, H. (2011). Intégration d'un modèle de réseau sur puce dans un flôt de conception de niveau système [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Moss, L. (2010). Profilage, caractérisation et partitionnement fonctionnel dans une plate-forme de conception de systèmes embarqués [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Bah, F. L. (2009). Conception au niveau système de l'application de protocole sans fil WIMAX [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Laug, N. (2008). Gestion générique et raffinement de systèmes électroniques à haut niveau [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Migliorini, C. (2008). Exploration architecturale de communications-sur-puce au niveau système [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Fontaine, S. (2008). Conception et réalisation d'un outil d'exploration architecturale de la hiérarchie de mémoire d'un système sur puce afin d'optimiser la performance de la plateforme logicielle [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Goyette, S. (2008). Élaboration d'un modèle d'abstraction des communications point-à-point pour une plateforme (SOC) multiprocesseur hétérogène [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Beucher, N. (2007). Conception et mise en oeuvre de processeurs configurables pour la conversion de taux de trames vidéos avec compensation de mouvement [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Faiz, A. (2007). Méthodes de raffinement des communications pour passer d'une plate-forme systemc à un système reprogrammable [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Mahoney, P. (2006). Conception d'une architecture alternative à la technologie "mémoire adressable par contenu" [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Morin, B. (2006). Parallélisme sur plateforme reconfigurable de calcul à mémoire répartie [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Samson, P. (2006). Abstraction de la synchronisation dans une stratégie de co-design logiciel/matériel sur une plateforme (SOC) multiprocesseur [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

St-Pierre, F. (2006). Implémentation matérielle d'un réseau sur puce et analyse du fonctionnement dans un environnement multiprocesseurs [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Thibeault, J.-F. (2006). Exploration de techniques de modélisation et de vérification logicielle en avionique [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Hubin, M. (2006). Modélisation et conception d'une architecture à flots d'exécution multiples selon une approche de réutilisation [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Provost, S. (2006). Accélération d'une plateforme d'encodage MPEG-4 à l'aide de processeurs configurables [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Catudal, S. (2005). Méthodologie orientée performance applicable à la validation d'algorithmes de traitement vidéo et de leur implémentation matérielle [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Pierron, L. (2005). Méthodologie de codesign pour les systèmes sur puce programmable [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Deslauriers, F. (2005). Modélisation d'un réseau intégré sur puce basé sur une architecture en anneau [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Benny, O. (2004). Implémentation d'un modèle de communication transactionnel dans une plate-forme en SystemC [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Rondonneau, M. (2004). Intégration d'un RTOS dans une plate-forme SystemC destinée à l'exploration architecturale [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Lavigueur, B. (2004). Multitraitement et processeurs configurables sur une plate-forme de haut niveau [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Dubois, M. (2004). Modélisation et conception d'une plate-forme de traitement et transmission de signaux vidéo numériques [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Wang, J. (2003). Reuse and automatic generation of testbenches for effective hardware verification [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Bertola, M. (2003). Conception, réalisation et étude d'une plate-forme générique basée sur le protocole AMBA AHB [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Lemire, J.-F. (2003). Synthèse assistée de moniteurs d'assertions à partir d'une méthodologie d'encapsulation d'assertions dans une spécification exécutable [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Quinn, D. (2003). Exploration architecturale pour la conception de processeurs réseaux basée sur l'utilisation de processeurs configurables [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Regimbal, S. (2003). Méthode de réutilisation et de couverture pour la vérification fonctionnelle des circuits numériques [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Filion, L. (2002). Analyse, implantation et intégration d'une bibliothèque pour la spécification des systèmes embarqués dans une méthodologie de codesign [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Cyr, G. (2001). Interface configurable pour un processeur ARM basée sur le protocole VCI [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Héneault, Y. (2001). Picasso : un outil de co-design matériel/logiciel pour la conception de systèmes embarqués [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Yuan, P. (2001). A fixed-point simd array processor and its applications to video compression coding [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Campagna, I. (2000). Développement d'une méthodologie de codesign matériel/logiciel pour des applications de communications à haute vitesse [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Le Chapelain, B. (1999). Conception d'une bibliothèque et d'un convolueur 3*3TSPC [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Nekili, M. (1998). Synthèse de réseaux de distribution d'horloges en présence de variations du procédé de fabrication [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Guénette, J. (1996). Une méthode de multi-partitionnement de circuits VLSI en vue d'un placement et routage [Mémoire de maîtrise, École Polytechnique de Montréal]. Non disponible

Haddad, M. T. (1996). Réalisation mixte matérielle/logicielle d'un algorithme de routage pour réseaux locaux [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Bosi, B. (1995). Méthodes de conception de convolueurs dédiés et reconfigurables [Mémoire de maîtrise, École Polytechnique de Montréal]. Non disponible

Merabet Kroumba, S. (1994). Synthèse de très haut niveau d'architectures parallèles pour des algorithmes exprimés en langage évolué [Mémoire de maîtrise, École Polytechnique de Montréal]. Non disponible

Belhabla, H. (1994). L'utilisation des plans statistiques d'expérimentation pour la validation d'un système expert [Mémoire de maîtrise, École Polytechnique de Montréal]. Non disponible

Liste produite: Thu Oct 15 06:15:45 2026 EDT.