33843 articles – 26714 Notices  [english version]
.:. Consultation > Par type de document > Communications sans actes .:.
1956 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Interactive Join Query Inference with JIM
Bonifati A., Ciucanu R., Staworko S.
Dans Gestion de Données - Principes, Technologies et Applications (BDA) (2014) [hal-01052789 - version 1]
Interactive Inference of Join Queries
Bonifati A., Ciucanu R., Staworko S.
Dans Gestion de Données - Principes, Technologies et Applications (BDA) (2014) [hal-01052764 - version 1]
fulltext access Nested dissection with balanced halo
Casadei A., Ramet P., Roman J.
Dans Sixth SIAM Workshop on Combinatorial Scientific Computing (2014) [hal-00987099 - version 1]
Toward parallel scalable linear solvers suited for large scale hierarchical parallel platforms
Agullo E., Faverge M., Giraud L., Guermouche A., Ramet P., Roman J.
Dans WCCM-ECCM-ECFD (2014) [hal-00987110 - version 1]
fulltext access Application of a Vortex Penalization Method in Solid-Porous-Fluid Media to Passive Flow Control
Mimeau C., Mortazavi I., Cottet G.-H.
Dans ICCFD8 - 8th International Conference on Computational Fluid Dynamics (2014) [hal-00983503 - version 1]
fulltext access Using small scale automation to improve both accessibility and readability of formal proofs in geometry
Boutry P., Narboux J., Schreck P., Braun G.
Dans Automated Deduction in Geometry 2014 (2014) 1-19 [hal-00989781 - version 2]
fulltext access A short note about case distinctions in Tarski's geometry
Boutry P., Narboux J., Schreck P., Braun G.
Dans Automated Deduction in Geometry 2014 (2014) 1-15 [hal-00989785 - version 2]
Abstract Accountability Language
Benghabrit W., Grall H., Royer J.-C., Sellami M., Bernsmed K., Santana De Oliveira A.
Dans IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management (2014) [hal-00973399 - version 1]
Preliminary Investigations on Resilient Parallel Numerical Linear Algebra Solvers
Agullo E., Giraud L., Salas P., Yetkin E.-F., Zounon M.
In SIAM Workshop on Exascale Applied Mathematics Challenges and Opportunities (2014) [hal-01018763 - version 1]
Some Progresses on Krylov Linear Solvers: Block-variants and Resiliency
Agullo E., Giraud L., Jing Y.-F., Salas P., Yetkin E.-F., Zounon M.
In Argonne Mathematics and Computer Science Seminar (2014) [hal-01018761 - version 1]