Sciweavers

4600 search results - page 182 / 920
» Presenting the cyclotactor project
Sort
View
REFSQ
2010
Springer
13 years 7 months ago
Towards a Framework for Specifying Software Robustness Requirements Based on Patterns
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
Ali Shahrokni, Robert Feldt
CPHYSICS
2011
232views Education» more  CPHYSICS 2011»
13 years 4 months ago
A nested Krylov subspace method to compute the sign function of large complex matrices
We present an acceleration of the well-established Krylov-Ritz methods to compute the sign function of large complex matrices, as needed in lattice QCD simulations involving the o...
Jacques Bloch, Simon Heybrock
MOC
2011
13 years 4 months ago
Analysis of HDG methods for Stokes flow
Abstract. In this paper, we analyze a hybridizable discontinuous Galerkin method for numerically solving the Stokes equations. The method uses polynomials of degree k for all the c...
Bernardo Cockburn, Jayadeep Gopalakrishnan, Ngoc C...
SCW
2012
IEEE
12 years 4 months ago
Linear cost share equilibria and the veto power of the grand coalition
We consider pure exchange economies with finitely many private goods involving the choice of a public project. We discuss core-equivalence results in the general framework of non...
Maria Gabriella Graziano, Maria Romaniello
VIS
2005
IEEE
128views Visualization» more  VIS 2005»
14 years 10 months ago
Hardware-Accelerated Simulated Radiography
We present the application of hardware accelerated volume rendering algorithms to the simulation of radiographs as an aid to scientists designing experiments, validating simulatio...
Cláudio T. Silva, Daniel E. Laney, Nelson L...