Sciweavers

768 search results - page 42 / 154
» Asymptotic Cellular Complexity
Sort
View
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 7 months ago
On Factor Universality in Symbolic Spaces
The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on ...
Laurent Boyer, Guillaume Theyssier
TIT
2008
102views more  TIT 2008»
13 years 7 months ago
Average Stopping Set Weight Distributions of Redundant Random Ensembles
In this paper, redundant random ensembles are defined and their average stopping set (SS) weight distributions are analyzed. A redundant random ensemble consists of a set of binar...
Tadashi Wadayama
WDAG
2010
Springer
183views Algorithms» more  WDAG 2010»
13 years 6 months ago
What Is the Use of Collision Detection (in Wireless Networks)?
We show that the asymptotic gain in the time complexity when using collision detection depends heavily on the task by investigating three prominent problems for wireless networks,...
Johannes Schneider, Roger Wattenhofer
ICCS
2009
Springer
13 years 5 months ago
Two-Dimensional Micro-Hartmann Gas Flows
Abstract. We analyze and simulate a near continuum MagnetoGasDynamic(MGD) flow inside a two-dimensional microchannel with a low magnetic Reynolds number assumption. Complex physics...
Chunpei Cai, Khaleel R. A. Khasawneh
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
14 years 1 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers