Sciweavers

3108 search results - page 204 / 622
» The Elements of Computer Credibility
Sort
View
149
Voted
SIAMSC
2008
108views more  SIAMSC 2008»
15 years 6 months ago
Automated Code Generation for Discontinuous Galerkin Methods
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors convention...
Kristian B. Ølgaard, Anders Logg, Garth N. ...
JCT
2007
83views more  JCT 2007»
15 years 6 months ago
A finiteness theorem for Markov bases of hierarchical models
We show that the complexity of the Markov bases of multidimensional tables stabilizes eventually if a single table dimension is allowed to vary. In particular, if this table dimen...
Serkan Hosten, Seth Sullivant
ICSOC
2010
Springer
15 years 4 months ago
Carbon-Aware Business Process Design in Abnoba
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...
Konstantin Hoesch-Klohe, Aditya K. Ghose
175
Voted
ICPR
2010
IEEE
15 years 4 months ago
Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes
This paper deals with the construction of a non parametric multiscale analysis from a 1D parametric decomposition of shapes where the elements of the decomposition are geometric p...
Fabien Feschet
TRIDENTCOM
2010
IEEE
15 years 4 months ago
Berlin: The Berlin Experimental Router Laboratory for Innovative Networking
Today's disruptive approaches to rearchitecting the Internet, e.g., Clean Slate Networking initiatives require testbeds that present unprecedented flexibility to the experimen...
Dan Levin, Andreas Wundsam, Amir Mehmood, Anja Fel...