Sciweavers

2887 search results - page 38 / 578
» Name Generation and Linearity
Sort
View
DM
2008
58views more  DM 2008»
15 years 5 months ago
A two-parameter family of an extension of Beatty sequences
Beatty sequences n + are nearly linear, also called balanced, namely, the absolute value of the difference D of the number of el
Shiri Artstein-Avidan, Aviezri S. Fraenkel, Vera T...
EUROPAR
2000
Springer
15 years 9 months ago
Automatic Generation of Block-Recursive Codes
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
Nawaaz Ahmed, Keshav Pingali
CORR
2008
Springer
138views Education» more  CORR 2008»
15 years 5 months ago
Efficient Implementation of the Generalized Tunstall Code Generation Algorithm
A method is presented for constructing a Tunstall code that is linear time in the number of output items. This is an improvement on the state of the art for non-Bernoulli sources, ...
Michael B. Baer
TIT
2008
106views more  TIT 2008»
15 years 5 months ago
Some Results on FCSR Automata With Applications to the Security of FCSR-Based Pseudorandom Generators
This article describes new theoretical results concerning the general behavior of a Feedback with Carry Shift Register (FCSR) automaton. They help to better understand how the init...
François Arnault, Thierry P. Berger, Marine...
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 9 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem