Skip to Main content Skip to Navigation


...
hal-03106226v1  Conference papers
Silvius RusGuobin HeChristophe AliasLawrence Rauchwerger. Region Array SSA
ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT'06), Sep 2006, Seattle, United States
hal-01107640v1  Conference papers
Richard PasquettiJean-Luc GuermondBoyan Popov. Stabilized spectral element approximation of the Saint Venant system using the entropy viscosity technique
ICOSAHOM 2014 : International Conference on Spectral and High Order Methods, Jun 2014, Salt Lake City, United States
ujm-00860583v1  Journal articles
Jean Luc GuermondRichard Pasquetti. A correction technique for the dispersive effects of mass lumping for transport problems
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2012, 253, pp.186-198. ⟨10.1016/j.cma.2012.08.011⟩
hal-00945072v1  Conference papers
Sushil K. PrasadAlmadena Yu. ChtchelkanovaSajal K. DasFrank DehneMohamed Gouda et al.  NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates
SIGCSE''11, the 42nd ACM Tech. Symp. on Computer Science Education, 2011, Unknown, Afghanistan. pp.617-618
...
hal-01155412v3  Journal articles
Alexandre ErnJean-Luc Guermond. Finite element quasi-interpolation and best approximation
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2017, ⟨10.1051/m2an/2016066⟩
...
hal-00741997v1  Conference papers
Parikshit DuttaAbhishek HalderRaktim Bhattacharya. Uncertainty Quantification for Stochastic Nonlinear Systems using Perron-Frobenius Operator and Karhunen-Lo'eve Expansion
CCA - IEEE International Conference on Control and Applications, IEEE Control Systems Society, Oct 2012, Dubrovnik, Croatia. pp.1449-1454, ⟨10.1109/CCA.2012.6402455⟩
hal-00851234v1  Journal articles
Alexandra PopaPaul SamollowChristian GautierDominique Mouchiroud. The sex-specific impact of meiotic recombination on nucleotide composition.
Genome Biology and Evolution, Society for Molecular Biology and Evolution, 2012, 4 (3), pp.412-422. ⟨10.1093/gbe/evs023⟩
...
hal-00785159v1  Conference papers
Parikshit DuttaAbhishek HalderRaktim Bhattacharya. Nonlinear Filtering with Transfer Operator
IEEE American Control Conference, Jun 2013, Washington, D.C., United States. pp.3069-3074, ⟨10.1109/ACC.2013.6580302⟩
...
inria-00494305v1  Conference papers
Riyadh BaghdadiAlbert CohenCédric BastoulLouis-Noël PouchetLawrence Rauchwerger. The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization
Pespma 2010 - Workshop on Parallel Execution of Sequential Programs on Multi-core Architecture, Jun 2010, Saint Malo, France
...
hal-00930899v1  Journal articles
Sajal K. DasAjoy DattaSébastien Tixeuil. Self-Stabilizing Algorithms in DAG Structured Networks
Parallel Processing Letters, World Scientific Publishing, 1999, 9 (4), pp.563-574. ⟨10.1142/S0129626499000529⟩
hal-01342798v1  Directions of work or proceedings
Mario BotschStefanie HahmannSchaefer Scott. Proceedings of Solid and Physical Modeling (SPM) 2016 - Special Issue of CAD Vol. 78
Jun 2016, Berlin, Germany. 78, Elsevier, pp.1-208, 2016, Computer-Aided Design
...
hal-02062891v2  Journal articles
Simon FoucartRémi GribonvalLaurent JacquesHolger Rauhut. Jointly Low-Rank and Bisparse Recovery: Questions and Partial Answers
Analysis and Applications, World Scientific Publishing, 2020, 18 (01), pp.25--48. ⟨10.1142/S0219530519410094⟩
hal-00922224v1  Conference papers
Jingguo BiQi ChengMaurice Rojas. Sub-linear root detection, and new hardness results, for sparse polynomials over finite fields
ISSAC '13 - 38th international symposium on International symposium on symbolic and algebraic computation, ACM, Jun 2013, Boston, United States. pp.61-68, ⟨10.1145/2465506.2465514⟩
...
hal-00674174v1  Conference papers
Tahina RamananandroGabriel dos ReisXavier Leroy. Formal verification of object layout for C++ multiple inheritance
POPL'11 - 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, Jan 2011, Austin, TX, United States. pp.67-79, ⟨10.1145/1926385.1926395⟩