Sciweavers

5510 search results - page 204 / 1102
» Mathematics
Sort
View
MPC
2004
Springer
161views Mathematics» more  MPC 2004»
15 years 9 months ago
Compiling Exceptions Correctly
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basi...
Graham Hutton, Joel Wright
MPC
2004
Springer
115views Mathematics» more  MPC 2004»
15 years 9 months ago
A Free Construction of Kleene Algebras with Tests
In this paper we define Kleene algebra with tests in a slightly more general way than Kozen’s definition. Then we give an explicit construction of the free Kleene algebra with...
Hitoshi Furusawa
NAA
2004
Springer
178views Mathematics» more  NAA 2004»
15 years 9 months ago
Performance Optimization and Evaluation for Linear Codes
In this paper, we develop a probabilistic model for estimation of the numbers of cache misses during the sparse matrix-vector multiplication (for both general and symmetric matrice...
Pavel Tvrdík, Ivan Simecek
PARA
2004
Springer
15 years 9 months ago
A Cache-Aware Algorithm for PDEs on Hierarchical Data Structures
A big challenge in implementing up to date simulation software for various applications is to bring together highly efficient mathematical methods on the one hand side and an ef...
Frank Günther, Miriam Mehl, Markus Pögl,...
SETA
2004
Springer
126views Mathematics» more  SETA 2004»
15 years 9 months ago
Algebraic Feedback Shift Registers Based on Function Fields
We study algebraic feedback shift registers (AFSRs) based on quotients of polynomial rings in several variables over a finite field. These registers are natural generalizations o...
Andrew Klapper