Sciweavers

2143 search results - page 183 / 429
» corr 2010
Sort
View
CORR
2010
Springer
175views Education» more  CORR 2010»
15 years 6 months ago
On affine rigidity
We study the properties of affine rigidity of a (hyper)graph and prove a variety of fundamental results. First, we show that affine rigidity is a generic property (i.e., only depen...
Steven J. Gortler, Craig Gotsman, Ligang Liu, Dyla...
CORR
2010
Springer
60views Education» more  CORR 2010»
15 years 5 months ago
Optimal Partitioned Cyclic Difference Packings for Frequency Hopping and Code Synchronization
— Optimal partitioned cyclic difference packings (PCDPs) are shown to give rise to optimal frequency-hopping sequences and optimal comma-free codes. New constructions for PCDPs, ...
Yeow Meng Chee, Alan C. H. Ling, Jianxing Yin
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 5 months ago
LinBox founding scope allocation, parallel building blocks, and separate compilation
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library LinBox, must always occur in the founding scope. This provides a simpl...
Jean-Guillaume Dumas, Thierry Gautier, Clém...
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 5 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 4 months ago
Lattice model refinement of protein structures
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
Martin Mann, Alessandro Dal Palù