Výsledky vyhledávání - ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.inria.fr/hal-00933643 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, 2013, 40 (1), pp.6:1--6:25. ⟨10.1145/2513109.2513115⟩.
Témata: Advancing front algorithm, linear complexity, non-matching grid projections, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.0: Domain decomposition methods, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
Relation: hal-00933643; https://hal.inria.fr/hal-00933643
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.archives-ouvertes.fr/hal-02419121 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, 2012, 38 (4), pp.1-20. ⟨10.1145/2331130.2331131⟩.
Témata: Mathematics of computing, sparse matrices, Algorithms, Design Additional Key Words and Phrases: Sparse Matrices, Object-Oriented Design, D211 [Software Engineering]: Software Architectures-Data abstrac- tion, information hiding, structured, G13 [Numerical Analysis]: Numerical Linear Algebra-Sparse, G4 [Mathematical Software]: Algorithm design and analysis General Terms: Mathematics of computing, and very large systems (direct and iterative methods), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Relation: hal-02419121; https://hal.archives-ouvertes.fr/hal-02419121; https://hal.archives-ouvertes.fr/hal-02419121/document; https://hal.archives-ouvertes.fr/hal-02419121/file/psblas3.pdf
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: Twelfth International Symposium on Practical Aspects of Declarative Languages ; https://inria.hal.science/inria-00434282 ; Twelfth International Symposium on Practical Aspects of Declarative Languages, Jan 2010, Madrid, Spain
Témata: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: Spain
Time: Madrid, Spain
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Témata: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: 15th Annual European Symposium on Algorithms - ESA 2007
https://inria.hal.science/inria-00165663
15th Annual European Symposium on Algorithms - ESA 2007, Yossi Azar, Tel-Aviv U. and Microsoft Research uy Even, Tel-Aviv U. Amos Fiat, Tel-Aviv U. (Chair) Seffi Naor, Technion and Microsoft Research, Oct 2007, Eilat, Israel, October 8-10, 2007, Israel. pp.633-644, ⟨10.1007/978-3-540-75520-3_56⟩Témata: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
Geografické téma: Eilat, Israel, October 8-10
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: ICMS 2010 - Third International Congress on Mathematical Software ; https://inria.hal.science/inria-00544803 ; ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics ; https://inria.hal.science/inria-00544805 ; SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Témata: iterative refinement, accuracy, certification, interval matrix multiplication, computing precision, efficiency, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.6: Reliability and robustness, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Dostupnost: https://inria.hal.science/inria-00544805
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics ; https://inria.hal.science/inria-00544808 ; SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Témata: scientific computing, computer arithmetic, validated numerics, ACM: B.: Hardware/B.2: ARITHMETIC AND LOGIC STRUCTURES/B.2.4: High-Speed Arithmetic, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Dostupnost: https://inria.hal.science/inria-00544808
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00405478 ; [Research Report] RR-7004, INRIA. 2009.
Témata: Computational Geometry, Delaunay Triangulation, Voronoi Diagram, Sphere, Space of Circles, Exact Geometric Computing, CGAL, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.1: Reusable libraries, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.2: Geometrical problems and computations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.6: Reliability and robustness, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.5: Computational Geometry and Object Modeling/I.3.5.3: Geometric algorithms, languages, and systems, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00480031 ; [Research Report] RR-7274, INRIA. 2010, pp.20.
Témata: Algebraic Kernel, Algebraic Curves, Arrangements, Boolean Set Operations, Robust Geometric Computing, Experiments, CGAL, Generic Programming, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: D.: Software/D.0: GENERAL, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00147450 ; [Research Report] 2007, pp.16.
Témata: Abstraction, Constraint, Narrowing, Probability, Termination, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.2: Logics of programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.0: Algebraic language theory, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: https://theses.hal.science/tel-01708791 ; Numerical Analysis [math.NA]. Université Paul Sabatier - Toulouse III, 2017. English. ⟨NNT : ⟩.
Témata: sparse matrices, direct methods for linear systems, multifrontal method, low-rank approximations, high-performance computing, parallel computing, partial differential equations, matrices creuses, systèmes linéaires creux, méthodes directes, mé- thode multifrontale, approximations de rang-faible, équations aux dérivées par- tielles elliptiques, calcul haute performance, calcul parallèle, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra/G.1.3.8: Sparse, structured, and very large systems (direct and iterative methods), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra/G.1.3.4: Linear systems (direct and iterative methods), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.6: Parallel algorithms, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.5: Numerical algorithms, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.1: Elliptic equations, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.inria.fr/inria-00135013 ; [Technical Report] RT-0331, INRIA. 2007, pp.35.
Témata: solver comparison, testing environment, scientific computing, performance profile, benchmarking, collection of problems, CUTEr, Libopt, Modulopt, optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.1: Certification and testing, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.MS/0703025; Report N°: RT-0331; inria-00135013; https://hal.inria.fr/inria-00135013; https://hal.inria.fr/inria-00135013v2/document; https://hal.inria.fr/inria-00135013v2/file/RT-0331.pdf; ARXIV: cs.MS/0703025
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-04176838 ; [Technical Report] INRIA. 2007, pp.47.
Témata: Benchmarking BSM, Collection of problems, CUTEr, Libopt, Modulopt, Optimization, Performance profile, Scientific computing, Solver comparison, Testing environment, Analyse comparative, Calcul scientifique, Collection de problèmes, Comparaison de solveurs, Environnement de test, Optimisation, Profils de performances, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: hal-04176838; https://inria.hal.science/hal-04176838; https://inria.hal.science/hal-04176838/document; https://inria.hal.science/hal-04176838/file/libopt.pdf
-
15
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, G.4 [Mathematics of Computing, Mathematical Software— Efficiency, G.2.2 [Discrete Mathematics, Graph Theory—Algorithms, labeling General Terms, Algorithms, Design, Performance Additional Key Words and Phrases, dense linear algebra operations, expression templates, template metaprogramming, temporary storage minimization ACM Reference Format
Popis souboru: application/pdf
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00480045 ; [Research Report] RR-7273, INRIA. 2010, pp.19.
Témata: Voronoi Diagram, Point Location, Lower Envelope, Exact Geometric Computing, CGAL, ACM: D.: Software/D.0: GENERAL, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0045-7825.
Témata: Turbulence, Stabilized finite element method, SUPG, Unstructured grids, High aspect ratio, High order scheme, ACM: G.: Mathematics of Computing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SPI.MECA.MEFL]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph], [PHYS.MECA.MEFL]Physics [physics]/Mechanics [physics]/Fluid mechanics [physics.class-ph], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph], [PHYS.MECA.GEME]Physics [physics]/Mechanics [physics]/Mechanical engineering [physics.class-ph]
-
18
Autoři:
Přispěvatelé:
Témata: Geology, Geology Geophysics, Geography, R programming, Python programming, Matlab, Matlab /Simulink, Statistical analysis, ACM: I.: Computing Methodologies, ACM: K.: Computing Milieux, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.1: Computer Uses in Education, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.2: Computer and Information Science Education, ACM: G.: Mathematics of Computing, ACM: H.: Information Systems, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION, ACM: K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY, [SDU.STU]Sciences of the Universe [physics]/Earth Sciences, [SDU.OCEAN]Sciences of the Universe [physics]/Ocean, Atmosphere, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance
Relation: https://hal.archives-ouvertes.fr/hal-02356932/file/MidTerm_Lemenkova.pdf; https://hal.archives-ouvertes.fr/hal-02356932
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.inria.fr/inria-00388501 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩.
Témata: correct rounding, floating-point arithmetic, integer power function, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.0: Computer arithmetic, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: inria-00388501; https://hal.inria.fr/inria-00388501
-
20
Autoři: a další
Přispěvatelé: a další
Témata: surface profile analysis, filtering techniques, Visual C++ ACM Classification Keywords, J. Computer Applications, J.2 Physical Sciences And Engineering, G. Mathematics Of Computing, G.4 Mathematical Software
Popis souboru: application/pdf
Nájsť tento článok vo Web of Science