Sciweavers

26 search results - page 1 / 6
» Equilogical spaces and domains with totality
Sort
View
CSL
2000
Springer
13 years 9 months ago
Continuous Functionals of Dependent Types and Equilogical Spaces
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
Andrej Bauer, Lars Birkedal
SIAMMA
2010
102views more  SIAMMA 2010»
12 years 11 months ago
Trace Theorems for a Class of Ramified Domains with Self-Similar Fractal Boundaries
This work deals with trace theorems for a class of ramified bidimensional domains with a self-similar fractal boundary . The fractal boundary is supplied with a probability measur...
Yves Achdou, Nicoletta Tchou
ICPP
2006
IEEE
13 years 10 months ago
A Formal Analysis of Space Filling Curves for Parallel Domain Decomposition
Space filling curves (SFCs) are widely used for parallel domain decomposition in scientific computing applications. The proximity preserving properties of SFCs are expected to k...
Srikanta Tirthapura, Sudip Seal, Srinivas Aluru
DATE
2010
IEEE
201views Hardware» more  DATE 2010»
13 years 9 months ago
COTS-based applications in space avionics
—The use of commercial electronic components is increasingly attractive for the space domain. This paper discusses the current degree of use of these components in space avionics...
Michel Pignol