Travelled to:1 × Denmark
2 × France
2 × Germany
Collaborated with:∅ P.Caldon H.Xu A.Mahidadia P.Bomel E.Boutillon J.Laurent N.Julien E.Senn P.M.Nguyen A.Sharma F.Stephan A.Baganne I.Bennour M.Elmarzougui R.Gaiech
Talks about:processor (2) power (2) logic (2) level (2) literatur (1) implement (1) establish (1) synthesi (1) synchron (1) insensit (1)
Person: Eric Martin
DBLP: Martin:Eric
Contributed to:
2014
2012
20052004200420032002Wrote 7 papers:
- JCDL-2014-XuMM #evolution #topic
- Topical establishment leveraging literature evolution (HX, EM, AM), pp. 249–252.
- ICLP-J-2012-Martin #logic programming #semantics #source code
- Contextual hypotheses and semantics of logic programs (EM), pp. 843–887.
- DATE-2005-BomelMB #latency #synthesis
- Synchronization Processor Synthesis for Latency Insensitive Systems (PB, EM, EB), pp. 896–897.
- DATE-v1-2004-LaurentJSM #analysis #approach #functional #modelling #performance #power management
- Functional Level Power Analysis: An Efficient Approach for Modeling the Power Consumption of Complex Processors (JL, NJ, ES, EM), pp. 666–667.
- ICLP-2004-CaldonM #implementation
- Limiting Resolution: From Foundations to Implementation (PC, EM), pp. 149–164.
- DATE-2003-BaganneBEGM #case study #design #integration #multi
- A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration (AB, IB, ME, RG, EM), pp. 20250–20255.
- ICLP-2002-MartinNSS #learning #logic #prolog
- Learning in Logic with RichProlog (EM, PMN, AS, FS), pp. 239–254.