Result 1 to 20 of 111 total
Fast simplicial quadrature-based finite element operators using Bernstein polynomials. (English)
Numer. Math. 121, No. 2, 261-279 (2012).
1
A fast iterative method for solving the eikonal equation on triangulated surfaces. (English)
SIAM J. Sci. Comput. 33, No. 5, 2468-2488 (2011).
2
Fast simplicial finite element algorithms using Bernstein polynomials. (English)
Numer. Math. 117, No. 4, 631-652 (2011).
3
Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API. (English)
Sci. Comput. Program. 76, No. 2, 65-81 (2011).
4
Smoothness-increasing accuracy-conserving (SIAC) postprocessing for discontinuous Galerkin solutions over structured triangular meshes (English)
SIAM J. Numerical Analysis 49, No. 5, 1899-1920 (2011).
5
Quantifying variability in radiation dose due to respiratory-induced tumor motion (English)
Medical Image Analysis 15, No. 4, 640-649 (2011).
6
Numerical solution of linear Volterra integral equations of the second kind with sharp gradients (English)
J. Computational Applied Mathematics 235, No. 14, 4283-4301 (2011).
7
GPU-based interactive cut-surface extraction from high-order finite element fields (English)
IEEE Trans. Vis. Comput. Graph. 17, No. 12, 1803-1811 (2011).
8
Analysis-aware modeling: understanding quality considerations in modeling for isogeometric analysis. (English)
Comput. Methods Appl. Mech. Eng. 199, No. 5-8, 334-356 (2010).
9
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. (English)
Softw., Pract. Exper. 40, No. 1, 23-43 (2010).
10
Precise dynamic analysis for slack elasticity: adding buffering without adding bugs. (English)
Keller, Rainer (ed.) et al., Recent advances in the message passing interface. 17th European MPI users’ group meeting, EuroMPI 2010, Stuttgart, Germany, September 12‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15645-8/pbk). Lecture Notes in Computer Science 6305, 152-159 (2010).
11
Distributed dynamic partial order reduction. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 2, 113-122 (2010).
12
From functional analysis to iterative methods. (English)
SIAM Rev. 52, No. 2, 269-293 (2010).
13
Affective social robots. (English)
Robot. Auton. Syst. 58, No. 3, 322-332 (2010).
14
From functional analysis to iterative methods (English)
SIAM Review 52, No. 2, 269-293 (2010).
15
Affective social robots (English)
Robotics and Autonomous Systems 58, No. 3, 322-332 (2010).
16
From h to p efficiently: implementing finite and spectral/hp element methods to achieve optimal performance for low- and high-order discretisations (English)
J. Comput. Physics 229, No. 13, 5161-5181 (2010).
17
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking (English)
Softw., Pract. Exper. 40, No. 1, 23-43 (2010).
18
Singularity-free evaluation of collapsed-coordinate orthogonal polynomials (English)
ACM Trans. Math. Softw. 37, No. 1 (2010).
19
Top ten ways to make formal methods for HPC practical (English)
FoSER, 137-142 (2010).
20
Result 1 to 20 of 111 total
Start
Contact
Print
General Help
