Sciweavers

7262 search results - page 1270 / 1453
» Reversible Computer Hardware
Sort
View
NOLISP
2005
Springer
15 years 12 months ago
A Simple, Quasi-linear, Discrete Model of Vocal Fold Dynamics
In current speech technology, linear prediction dominates. The linear vocal tract model is well justified biomechanically, and linear prediction is a simple and well understood si...
Max Little, Patrick McSharry, Irene Moroz, Stephen...
PKDD
2005
Springer
164views Data Mining» more  PKDD 2005»
15 years 12 months ago
Clustering and Prediction of Mobile User Routes from Cellular Data
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...
Kari Laasonen
SAT
2005
Springer
145views Hardware» more  SAT 2005»
15 years 12 months ago
A New Approach to Model Counting
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
Wei Wei, Bart Selman
ACMMSP
2004
ACM
125views Hardware» more  ACMMSP 2004»
15 years 12 months ago
Improving trace cache hit rates using the sliding window fill mechanism and fill select table
As superscalar processors become increasingly wide, it is inevitable that the large set of instructions to be fetched every cycle will span multiple noncontiguous basic blocks. Th...
Muhammad Shaaban, Edward Mulrane
ACMMSP
2004
ACM
101views Hardware» more  ACMMSP 2004»
15 years 12 months ago
Metrics and models for reordering transformations
Irregular applications frequently exhibit poor performance on contemporary computer architectures, in large part because of their inefficient use of the memory hierarchy. Runtime ...
Michelle Mills Strout, Paul D. Hovland
« Prev « First page 1270 / 1453 Last » Next »