Sciweavers

7811 search results - page 296 / 1563
» computer 2004
Sort
View
SPIN
2004
Springer
15 years 12 months ago
Formal Analysis of Processor Timing Models
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm
SPAA
2004
ACM
15 years 12 months ago
Effectively sharing a cache among threads
We compare the number of cache misses M1 for running a computation on a single processor with cache size C1 to the total number of misses Mp for the same computation when using p ...
Guy E. Blelloch, Phillip B. Gibbons
ISMB
2004
15 years 8 months ago
Predicting protein folding pathways
Keywords PRIMARY: protein structure comparison SECONDARY: protein structure prediction OTHER: protein folding pathway
Mohammed Javeed Zaki, Vinay Nadimpally, Deb Bardha...
PKDD
2004
Springer
116views Data Mining» more  PKDD 2004»
15 years 12 months ago
Random Matrices in Data Analysis
We show how carefully crafted random matrices can achieve distance-preserving dimensionality reduction, accelerate spectral computations, and reduce the sample complexity of certai...
Dimitris Achlioptas
COMPUTING
2004
108views more  COMPUTING 2004»
15 years 6 months ago
Fairness Criteria for Algebraic Curves
We develop methods for the variational design of algebraic curves. Our approach is based on truly geometric fairness criteria, such as the elastic bending energy. In addition, we ...
Pavel Chalmovianský, Bert Jüttler