| 2009 | ||
|---|---|---|
| 77 | Farhat Thabet, Philippe Coussy, Dominique Heller, Eric Martin: Exploration and Rapid Prototyping of DSP Applications using SystemC Behavioral Simulation and High-level Synthesis. Signal Processing Systems 56(2-3): 167-186 (2009) | |
| 2008 | ||
| 76 | Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin: Estimation et optimisation de la consommation des mémoires. Technique et Science Informatiques 27(1-2): 235-254 (2008) | |
| 75 | Sanjay Jain, Eric Martin, Frank Stephan: Absolute versus probabilistic classification in a logical setting. Theor. Comput. Sci. 397(1-3): 114-128 (2008) | |
| 2007 | ||
| 74 | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: A design methodology for space-time adapter. ACM Great Lakes Symposium on VLSI 2007: 347-352 | |
| 73 | Sanjay Jain, Eric Martin, Frank Stephan: Input-Dependence in Function-Learning. CiE 2007: 378-388 | |
| 72 | Cyrille Chavet, Caaliph Andriamisaina, Philippe Coussy, Emmanuel Casseau, Emmanuel Juin, Pascal Urard, Eric Martin: A design flow dedicated to multi-mode architectures for DSP applications. ICCAD 2007: 604-611 | |
| 71 | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: A Methodology for Efficient Space-Time Adapter Design Space Exploration: A Case Study of an Ultra Wide Band Interleaver. ISCAS 2007: 2946-2949 | |
| 70 | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: A Methodology for Efficient Space-Time Adapter Design Space Exploration: A Case Study of an Ultra Wide Band Interleaver CoRR abs/0706.1692: (2007) | |
| 69 | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: A Design Methodology for Space-Time Adapter CoRR abs/0706.2732: (2007) | |
| 68 | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: Méthodologie de modélisation et d'implémentation d'adaptateurs spatio-temporels CoRR abs/0706.2824: (2007) | |
| 67 | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: Application of a design space exploration tool to enhance interleaver generation CoRR abs/0706.3009: (2007) | |
| 66 | Pierre Bomel, Eric Martin, Emmanuel Boutillon: Synchronization Processor Synthesis for Latency Insensitive Systems CoRR abs/0710.4659: (2007) | |
| 65 | Philippe Coussy, Emmanuel Casseau, Pierre Bomel, Adel Baganne, Eric Martin: Constrained algorithmic IP design for system-on-chip. Integration 40(2): 94-105 (2007) | |
| 64 | Ioannis M. Rekleitis, Eric Martin, Guy Rouleau, Régent L'Archevêque, Kourosh Parsa, Erick Dupuis: Autonomous capture of a tumbling satellite. J. Field Robotics 24(4): 275-296 (2007) | |
| 63 | Eric Martin, Arun Sharma, Frank Stephan: On the data consumption benefits of accepting increased uncertainty. Theor. Comput. Sci. 382(3): 170-182 (2007) | |
| 2006 | ||
| 62 | Eric Martin: Quantification over names and modalities. Advances in Modal Logic 2006: 353-372 | |
| 61 | Jane Brennan, Eric Martin: Membership Functions for Spatial Proximity. Australian Conference on Artificial Intelligence 2006: 942-949 | |
| 60 | Guy Rouleau, Ioannis M. Rekleitis, Régent L'Archevêque, Eric Martin, Kourosh Parsa, Erick Dupuis: Autonomous Capture of a Tumbling Satellite. ICRA 2006: 3855-3860 | |
| 59 | Farhat Thabet, Philippe Coussy, Dominique Heller, Eric Martin: Design Space Exploration of DSP Applications Based on Behavioral Description Models. SiPS 2006: 244-249 | |
| 58 | Philippe Coussy, Emmanuel Casseau, Pierre Bomel, Adel Baganne, Eric Martin: A formal method for hardware IP design and integration under I/O and timing constraints. ACM Trans. Embedded Comput. Syst. 5(1): 29-53 (2006) | |
| 57 | Gwenolé Corre, Nathalie Julien, Eric Senn, Eric Martin: Intégration de la synthèse mémoire dans l'outil de synthèse d'architecture GAUT Low Power CoRR abs/cs/0605142: (2006) | |
| 56 | Philippe Coussy, Gwenolé Corre, Pierre Bomel, Eric Senn, Eric Martin: High-level synthesis under I/O Timing and Memory constraints CoRR abs/cs/0605143: (2006) | |
| 55 | Gwenolé Corre, Nathalie Julien, Eric Senn, Eric Martin: A Memory Aware High Level Synthesis Too CoRR abs/cs/0605144: (2006) | |
| 54 | Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin: Memory Aware High-Level Synthesis for Embedded Systems CoRR abs/cs/0605145: (2006) | |
| 53 | Gwenolé Corre, Philippe Coussy, Pierre Bomel, Eric Senn, Eric Martin: Synthèse Comportementale Sous Contraintes de Communication et de Placement Mémoire pour les composants du TDSI CoRR abs/cs/0605146: (2006) | |
| 52 | John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan: Identifying Clusters from Positive Data. SIAM J. Comput. 36(1): 28-55 (2006) | |
| 51 | Guillaume Savaton, Emmanuel Casseau, Eric Martin: Design of a flexible 2-D discrete wavelet transform IP core for JPEG2000 image coding in embedded imaging systems. Signal Processing 86(7): 1375-1399 (2006) | |
| 50 | Eric Martin, Arun Sharma, Frank Stephan: Unifying logic, topology and learning in Parametric logic. Theor. Comput. Sci. 350(1): 103-124 (2006) | |
| 49 | Eric Martin, Arun Sharma, Frank Stephan: On ordinal VC-dimension and some notions of complexity. Theor. Comput. Sci. 364(1): 62-76 (2006) | |
| 48 | Fatma Sayadi, Emmanuel Casseau, Mohamed Atri, Mehrez Marzougui, Rached Tourki, Eric Martin: G729 Voice Decoder Design. VLSI Signal Processing 42(2): 173-184 (2006) | |
| 2005 | ||
| 47 | Sanjay Jain, Eric Martin, Frank Stephan: Absolute Versus Probabilistic Classification in a Logical Setting. ALT 2005: 327-342 | |
| 46 | Eric Martin, Arun Sharma: On a Syntactic Characterization of Classification with a Mind Change Bound. COLT 2005: 413-428 | |
| 45 | Pierre Bomel, Eric Martin, Emmanuel Boutillon: Synchronization Processor Synthesis for Latency Insensitive Systems. DATE 2005: 896-897 | |
| 44 | Pierre Bomel, Nabil Abdelli, Eric Martin, Anne-Marie Fouilliart, Emmanuel Boutillon, Philippe Kajfasz: High-Level Synthesis in Latency Insensitive System Methodology. DSD 2005: 96-101 | |
| 43 | L. Kriaa, S. Adriano, E. Vaumorin, R. Nouacer, F. Blanc, S. Pajaniardja, Philippe Coussy, Eric Martin, Dominique Heller, Farhat Thabet, Anne-Marie Fouilliart: SystemCmantic: A high level Modelling and Co-Design Framework. FDL 2005: 341-353 | |
| 42 | Philippe Coussy, Gwenolé Corre, Eric Senn, Pierre Bomel, Eric Martin: High-level synthesis under I/O timing and memory constraints. ISCAS (1) 2005: 680-683 | |
| 41 | Bertrand Le Gal, Emmanuel Casseau, Sylvain Huet, Eric Martin: Pipelined Memory Controllers for DSP Applications Handling Unpredictable Data Accesses. ISVLSI 2005: 268-269 | |
| 40 | Pierre Bomel, Nabil Abdelli, Eric Martin, Anne-Marie Fouilliart, Emmanuel Boutillon, Philippe Kajfasz: DVB-DSNG Modem High Level Synthesis in an Optimized Latency Insensitive System Context. SAMOS 2005: 424-433 | |
| 2004 | ||
| 39 | Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin: A memory aware behavioral synthesis tool for real-time VLSI circuits. ACM Great Lakes Symposium on VLSI 2004: 82-85 | |
| 38 | Eric Martin, Arun Sharma, Frank Stephan: On the Data Consumption Benefits of Accepting Increased Uncertainty. ALT 2004: 83-98 | |
| 37 | Gwenolé Corre, Eric Senn, Pierre Bomel, Nathalie Julien, Eric Martin: Memory accesses management during high level synthesis. CODES+ISSS 2004: 42-47 | |
| 36 | Johann Laurent, Nathalie Julien, Eric Senn, Eric Martin: Functional Level Power Analysis: An Efficient Approach for Modeling the Power Consumption of Complex Processors. DATE 2004: 666-667 | |
| 35 | David Elléouet, Nathalie Julien, Dominique Houzet, J.-G. Cousin, Eric Martin: Power Consumption Characterization and Modeling of Embedded Memories in XILINX VIRTEX 400E FPGA. DSD 2004: 394-401 | |
| 34 | Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin: Memory Aware HLS and the Implementation of Ageing Vectors. DSD 2004: 88-95 | |
| 33 | Florian Marteil, Nathalie Julien, Eric Senn, Eric Martin: A Complete Methodology for Memory Optimization in DSP Applications. DSD 2004: 98-103 | |
| 32 | Tri M. Cao, Eric Martin, Paul Compton: On the Convergence of Incremental Knowledge Base Construction.. Discovery Science 2004: 207-218 | |
| 31 | John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan: Identifying Clusters from Positive Data. ICGI 2004: 103-114 | |
| 30 | Patrick Caldon, Eric Martin: Limiting Resolution: From Foundations to Implementation. ICLP 2004: 149-164 | |
| 29 | Emmanuel Casseau, Bertrand Le Gal, Christophe Jégo, Nathalie Le Heno, Eric Martin: Reed-Solomon behavioral virtual component for communication systems. ISCAS (4) 2004: 173-176 | |
| 28 | Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin: A Memory Aware High Level Synthesis Tool . ISVLSI 2004: 279-280 | |
| 27 | Eric Senn, Johann Laurent, Nathalie Julien, Eric Martin: SoftExplorer: Estimation, Characterization, and Optimization of the Power and Energy Consumption at the Algorithmic Level. PATMOS 2004: 342-351 | |
| 26 | John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan: Identifying Clusters from Positive Data Electronic Colloquium on Computational Complexity (ECCC)(058): (2004) | |
| 25 | Emmanuel Casseau, Christophe Jégo, Eric Martin: Synthèse architecturale d'applications temps réel pour technologies submicroniques. Technique et Science Informatiques 23(1): 35-66 (2004) | |
| 2003 | ||
| 24 | Eric Martin, Arun Sharma, Frank Stephan: On Ordinal VC-Dimension and Some Notions of Complexity. ALT 2003: 54-68 | |
| 23 | Adel Baganne, Imed Bennour, Mehrez Elmarzougui, Riadh Gaiech, Eric Martin: A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration. DATE 2003: 20250-20255 | |
| 22 | Philippe Coussy, Adel Baganne, Eric Martin: Communication and Timing Constraints Analysis for IP Design and Integration. VLSI-SOC 2003: 38-43 | |
| 21 | Nathalie Julien, Johann Laurent, Eric Senn, Eric Martin: Power Consumption Modeling and Characterization of the TI C6201. IEEE Micro 23(5): 40-49 (2003) | |
| 20 | Eric Martin, Arun Sharma, Frank Stephan: Learning power and language expressiveness. Theor. Comput. Sci. 2(298): 365-383 (2003) | |
| 19 | Nathalie Julien, S. Gailhard, Eric Martin: Low Power Synthesis Methodology with Data Format Optimization Applied on a DWT. VLSI Signal Processing 35(2): 195-211 (2003) | |
| 2002 | ||
| 18 | Eric Martin, Arun Sharma, Frank Stephan: Learning, Logic, and Topology in a Common Framework. ALT 2002: 248-262 | |
| 17 | Jane Brennan, Eric Martin: Foundations for a Formalism of Nearness. Australian Joint Conference on Artificial Intelligence 2002: 71-82 | |
| 16 | Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan: Learning in Logic with RichProlog. ICLP 2002: 239-254 | |
| 15 | Philippe Coussy, Adel Baganne, Eric Martin: A design methodology for IP integration. ISCAS (4) 2002: 711-714 | |
| 14 | Nathalie Julien, Johann Laurent, Eric Senn, Eric Martin: Power Estimation of a C Algorithm Based on the Functional-Level Power Analysis of a Digital Signal Processor. ISHPC 2002: 354-360 | |
| 13 | Eric Senn, Nathalie Julien, Johann Laurent, Eric Martin: Power Consumption Estimation of a C Program for Data-Intensive Applications. PATMOS 2002: 332-341 | |
| 2001 | ||
| 12 | Eric Martin, Arun Sharma, Frank Stephan: A General Theory of Deduction, Induction, and Learning. Discovery Science 2001: 228-242 | |
| 11 | Eric Senn, Eric Martin: A Vision System on Chip for Industrial Control. VLSI-SOC 2001: 27-38 | |
| 10 | Eric Martin, Daniel N. Osherson: Induction by Enumeration. Inf. Comput. 171(1): 50-68 (2001) | |
| 2000 | ||
| 9 | Eric Martin, Alex Wong: Sensitivity Analysis and Other Improvements to Tailored Combinatorial Library Design. Journal of Chemical Information and Computer Sciences 40(2): 215-220 (2000) | |
| 1999 | ||
| 8 | S. Gailhard, Nathalie Julien, Adel Baganne, Eric Martin: Low Power Design of an Acoustic Echo Canceller Gmdf a Algorithm on Dedicated VLSI Architectures. Great Lakes Symposium on VLSI 1999: 334-335 | |
| 7 | Eric Martin, Arun Sharma: On Sufficient Conditions for Learnability of Logic Programs from Positive Data. ILP 1999: 198-209 | |
| 6 | Christophe Jégo, Emmanuel Casseau, Eric Martin: Architectural Synthesis with Interconnection Cost Control. VLSI 1999: 509-520 | |
| 5 | Adel Baganne, Jean Luc Philippe, Eric Martin: A Co-Design Methodology for Telecommunication Systems: A Case Study of an Acoustic Echo Canceller. VLSI Signal Processing 22(1): 21-29 (1999) | |
| 1998 | ||
| 4 | S. Gailhard, Nathalie Julien, Jean-Philippe Diguet, Eric Martin: How to Transform an Architectural Synthesis Tool for Low Power VLSI Designs. Great Lakes Symposium on VLSI 1998: 426- | |
| 1997 | ||
| 3 | Adel Baganne, Jean Luc Philippe, Eric Martin: Hardware interface design for real time embedded systems. Great Lakes Symposium on VLSI 1997: 58-63 | |
| 2 | Eric Martin, Daniel N. Osherson: Scientific Discovery Based on Belief Revision. J. Symb. Log. 62(4): 1352-1370 (1997) | |
| 1995 | ||
| 1 | Eric Martin, Daniel N. Osherson: A note on the use of probabilities by mechanical learners. EuroCOLT 1995: 261-271 | |