Sciweavers

528 search results - page 68 / 106
» Degrees of categoricity of computable structures
Sort
View
CDC
2010
IEEE
14 years 6 months ago
On the marginal instability of linear switched systems
Stability properties for continuous-time linear switched systems are at first determined by the (largest) Lyapunov exponent associated with the system, which is the analogous of t...
Yacine Chitour, Paolo Mason, Mario Sigalotti
RECOMB
2002
Springer
15 years 11 months ago
Tests for gene clustering
Comparing chromosomal gene order in two or more related species is an important approach to studying the forces that guide genome organization and evolution. Linked clusters of si...
Dannie Durand, David Sankoff
79
Voted
RECOMB
2002
Springer
15 years 11 months ago
A dimensionality reduction approach to modeling protein flexibility
Proteins are involved either directly or indirectly in all biological processes in living organisms. It is now widely accepted that conformational changes of proteins can critical...
Miguel L. Teodoro, George N. Phillips, Lydia E. Ka...
MICRO
1997
IEEE
141views Hardware» more  MICRO 1997»
15 years 3 months ago
Unroll-and-Jam Using Uniformly Generated Sets
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
Steve Carr, Yiping Guan
DAC
1995
ACM
15 years 2 months ago
Hierarchical Optimization of Asynchronous Circuits
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
Bill Lin, Gjalt G. de Jong, Tilman Kolks