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 |