2008 | ||
---|---|---|
75 | EE | 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) |
74 | EE | Sanjay Jain, Eric Martin, Frank Stephan: Absolute versus probabilistic classification in a logical setting. Theor. Comput. Sci. 397(1-3): 114-128 (2008) |
2007 | ||
73 | EE | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: A design methodology for space-time adapter. ACM Great Lakes Symposium on VLSI 2007: 347-352 |
72 | EE | Sanjay Jain, Eric Martin, Frank Stephan: Input-Dependence in Function-Learning. CiE 2007: 378-388 |
71 | EE | 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 |
70 | EE | 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 |
69 | EE | 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) |
68 | EE | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: A Design Methodology for Space-Time Adapter CoRR abs/0706.2732: (2007) |
67 | EE | 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) |
66 | EE | Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin: Application of a design space exploration tool to enhance interleaver generation CoRR abs/0706.3009: (2007) |
65 | EE | Pierre Bomel, Eric Martin, Emmanuel Boutillon: Synchronization Processor Synthesis for Latency Insensitive Systems CoRR abs/0710.4659: (2007) |
64 | EE | Philippe Coussy, Emmanuel Casseau, Pierre Bomel, Adel Baganne, Eric Martin: Constrained algorithmic IP design for system-on-chip. Integration 40(2): 94-105 (2007) |
63 | EE | 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) |
62 | EE | Eric Martin, Arun Sharma, Frank Stephan: On the data consumption benefits of accepting increased uncertainty. Theor. Comput. Sci. 382(3): 170-182 (2007) |
2006 | ||
61 | EE | Eric Martin: Quantification over names and modalities. Advances in Modal Logic 2006: 353-372 |
60 | EE | Jane Brennan, Eric Martin: Membership Functions for Spatial Proximity. Australian Conference on Artificial Intelligence 2006: 942-949 |
59 | 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 | |
58 | EE | 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 | EE | 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 | EE | 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 | EE | Gwenolé Corre, Nathalie Julien, Eric Senn, Eric Martin: A Memory Aware High Level Synthesis Too CoRR abs/cs/0605144: (2006) |
54 | EE | Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin: Memory Aware High-Level Synthesis for Embedded Systems CoRR abs/cs/0605145: (2006) |
53 | EE | 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 | EE | John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan: Identifying Clusters from Positive Data. SIAM J. Comput. 36(1): 28-55 (2006) |
51 | EE | 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 | EE | Eric Martin, Arun Sharma, Frank Stephan: Unifying logic, topology and learning in Parametric logic. Theor. Comput. Sci. 350(1): 103-124 (2006) |
49 | EE | Eric Martin, Arun Sharma, Frank Stephan: On ordinal VC-dimension and some notions of complexity. Theor. Comput. Sci. 364(1): 62-76 (2006) |
48 | EE | 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 | EE | Sanjay Jain, Eric Martin, Frank Stephan: Absolute Versus Probabilistic Classification in a Logical Setting. ALT 2005: 327-342 |
46 | EE | Eric Martin, Arun Sharma: On a Syntactic Characterization of Classification with a Mind Change Bound. COLT 2005: 413-428 |
45 | EE | Pierre Bomel, Eric Martin, Emmanuel Boutillon: Synchronization Processor Synthesis for Latency Insensitive Systems. DATE 2005: 896-897 |
44 | EE | 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 | EE | L. Kriaa, S. Adriano, E. Vaumorin, R. Nouacer, F. Blanc, S. Pajaniardja, Philippe Coussy, Eric Martin, D. Heller, F. Thabet, Anne-Marie Fouilliart: SystemCmantic: A high level Modelling and Co-Design Framework. FDL 2005: 341-353 |
42 | EE | 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 | EE | Bertrand Le Gal, Emmanuel Casseau, Sylvain Huet, Eric Martin: Pipelined Memory Controllers for DSP Applications Handling Unpredictable Data Accesses. ISVLSI 2005: 268-269 |
40 | EE | 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 | EE | 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 | EE | Eric Martin, Arun Sharma, Frank Stephan: On the Data Consumption Benefits of Accepting Increased Uncertainty. ALT 2004: 83-98 |
37 | EE | Gwenolé Corre, Eric Senn, Pierre Bomel, Nathalie Julien, Eric Martin: Memory accesses management during high level synthesis. CODES+ISSS 2004: 42-47 |
36 | EE | 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 | EE | 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 | EE | Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin: Memory Aware HLS and the Implementation of Ageing Vectors. DSD 2004: 88-95 |
33 | EE | Florian Marteil, Nathalie Julien, Eric Senn, Eric Martin: A Complete Methodology for Memory Optimization in DSP Applications. DSD 2004: 98-103 |
32 | EE | Tri M. Cao, Eric Martin, Paul Compton: On the Convergence of Incremental Knowledge Base Construction.. Discovery Science 2004: 207-218 |
31 | EE | John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan: Identifying Clusters from Positive Data. ICGI 2004: 103-114 |
30 | EE | 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 | EE | Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin: A Memory Aware High Level Synthesis Tool . ISVLSI 2004: 279-280 |
27 | EE | 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 | EE | 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 | EE | Eric Martin, Arun Sharma, Frank Stephan: On Ordinal VC-Dimension and Some Notions of Complexity. ALT 2003: 54-68 |
23 | EE | 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 | EE | 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 | EE | Eric Martin, Arun Sharma, Frank Stephan: Learning power and language expressiveness. Theor. Comput. Sci. 2(298): 365-383 (2003) |
19 | EE | 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 | EE | Eric Martin, Arun Sharma, Frank Stephan: Learning, Logic, and Topology in a Common Framework. ALT 2002: 248-262 |
17 | EE | Jane Brennan, Eric Martin: Foundations for a Formalism of Nearness. Australian Joint Conference on Artificial Intelligence 2002: 71-82 |
16 | EE | Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan: Learning in Logic with RichProlog. ICLP 2002: 239-254 |
15 | EE | Philippe Coussy, Adel Baganne, Eric Martin: A design methodology for IP integration. ISCAS (4) 2002: 711-714 |
14 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |