Filter your results
- 36
- 27
- 26
- 22
- 6
- 5
- 1
- 1
- 1
- 1
- 1
- 38
- 9
- 8
- 5
- 3
- 2
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 6
- 2
- 6
- 5
- 9
- 1
- 7
- 5
- 4
- 1
- 4
- 2
- 1
- 61
- 2
- 43
- 43
- 12
- 9
- 6
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 12
- 10
- 10
- 8
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
Modeling and Integrating Aspects into Component ArchitecturesEDOC'07, Oct 2007, Annapolis, MD, United States
Conference papers
inria-00180635v1
|
||
|
Barriers to Systematic Model Transformation TestingCommunications of the ACM, 2010, 53 (6), pp.0-0
Journal articles
inria-00542747v1
|
||
|
FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature ModelsScience of Computer Programming, 2013, 78 (6), pp.657 - 681. ⟨10.1016/j.scico.2012.12.004⟩
Journal articles
hal-00767175v1
|
||
|
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and BehaviorModel Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.289-303, ⟨10.1007/978-3-642-24485-8_21⟩
Conference papers
inria-00634943v1
|
||
Energy Modeling and Optimization for Tiled Nested-Loop CodesParallel and Distributed Processing Symposium Workshop (IPDPSW), May 2015, Hyderabad India. pp.888 - 895 ⟨10.1109/IPDPSW.2015.94⟩
Conference papers
hal-01250602v1
|
|||
|
Bridging the Chasm Between MDE and the World of CompilationSoftware and Systems Modeling, 2012, 11 (4), pp.581-597. ⟨10.1007/s10270-012-0266-8⟩
Journal articles
hal-00717219v1
|
||
|
Globalizing Modeling LanguagesComputer, 2014, pp.10-13
Journal articles
hal-00994551v1
|
||
|
Targeted deletion of the mouse Mitoferrin1 gene: from anemia to protoporphyria.Blood, 2011, 117 (20), pp.5494-502. ⟨10.1182/blood-2010-11-319483⟩
Journal articles
hal-01120681v1
|
||
|
Global data on earthworm abundance, biomass, diversity and corresponding environmental propertiesScientific Data , 2021, 8 (1), pp.136. ⟨10.1038/s41597-021-00912-z⟩
Journal articles
hal-03233434v1
|
||
|
Accelerating HMMER on FPGA using Parallel Prefixes and Reductions[Research Report] RR-7370, INRIA. 2010
Reports
inria-00515298v2
|
||
|
Domain Globalization: Using Languages to Support Technical and Social CoordinationInternational Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩
Conference papers
hal-01234653v1
|
||
GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific LanguagesCombemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6
Books
hal-00916292v1
|
|||
GPU accelerated RNA folding algorithmWen-mei W. Hwu. GPU Computing Gems, ELSEVIER, pp.560, 2011, ⟨10.0123849888⟩
Book sections
hal-00637827v1
|
|||
|
ompVerify: Polyhedral Analysis for the OpenMP ProgrammerChapman, Barbara M.; Gropp, William D.; Kumaran, Kalyan; Müller, Matthias S. OpenMP in the Petascale Era, 6665, Springer, pp.37-53, 2011, 978-3-642-21486-8. ⟨10.1007/978-3-642-21487-5_4⟩
Book sections
hal-00752626v1
|
||
Globalizing Domain-Specific LanguagesSpringer International Publishing, 9400, 2015, LNCS, Programming and Software Engineering, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0⟩
Books
hal-01224096v1
|
|||
|
On the Globalization of Domain-Specific LanguagesGlobalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩
Book sections
hal-01224105v1
|
||
Analysis of Duopoly Price Competition between WLAN ProvidersICC 2009 Wireless Networking, 2009, Dresden, Germany, Germany
Conference papers
hal-00789583v1
|
|||
|
Asymptotics for the maximum sample likelihood estimator under informative selection from a finite populationBernoulli, 2018, 24 (2), pp.929 - 955. ⟨10.3150/16-BEJ809⟩
Journal articles
hal-01693397v1
|
||
Feature Model Management: Smart Operations and Language SupportACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Sep 2013, Miami, United States
Conference papers
hal-00913157v1
|
|||
Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. CEUR-WS, 1102, pp.88, 2013
Books
hal-00916282v1
|
|||
|
Composing your Compositions of Variability ModelsACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Sep 2013, Miami, United States. 17 p
Conference papers
hal-00859473v1
|
||
|
Reifying Concurrency for Executable MetamodelingSLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩
Conference papers
hal-00850770v2
|
||
The Plant as a Habitat for Entomophagous InsectsSauvion; N and Thiery; D and Calatayud; PA. Insect-plant Interactions In A Crop Protection Perspective, 81, ACADEMIC PRESS LTD-ELSEVIER SCIENCE LTD, pp.179-223, 2017, Advances in Botanical Research, 978-0-12-803324-1; 978-0-12-803318-0. ⟨10.1016/bs.abr.2016.09.006⟩
Book sections
hal-01559971v1
|
|||
|
TRY plant trait database – enhanced coverage and open accessGlobal Change Biology, 2020, 26 (1), pp.119-188. ⟨10.1111/gcb.14904⟩
Journal articles
hal-02434220v1
|
||
|
A Generic Approach For Automatic Model CompositionAspect Oriented Modeling (AOM) Workshop, 2007, Nashville, USA, United States
Conference papers
inria-00477568v1
|
||
|
Model-driven Development of Complex Software: A Research RoadmapFOSE '07: 2007 Future of Software Engineering, May 2007, Washington, DC, United States. pp.37--54, ⟨10.1109/FOSE.2007.14⟩
Conference papers
inria-00511368v1
|
||
Une approche itérative pour l'allocation des tâches sur réseaux réguliers8ème Colloque Africain sur la Recherche Informatique (CARI 2006), 2006, Cotonou, Bénin
Conference papers
hal-00410733v1
|
|||
|
A Priori Estimations of a Global Homotopy Residue Continuation MethodNumerical Functional Analysis and Optimization, 2005, 26 (4 & 5), pp.507-521. ⟨10.1080/01630560500248306⟩
Journal articles
hal-00277251v1
|
||
|
GEMOC 2014 2nd International Workshop on The Globalization of Modeling LanguagesBenoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, , pp.82, 2014, CEUR-WS, 1613-0073
Proceedings
hal-01074602v1
|
||
|
Towards the use of slicing techniques for an efficient invariant checkingMODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩
Conference papers
hal-01141395v1
|