Sciweavers

2647 search results - page 175 / 530
» Solving Term Inequalities
Sort
View
DAC
2006
ACM
15 years 10 months ago
A systematic method for functional unit power estimation in microprocessors
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
Wei Wu, Lingling Jin, Jun Yang 0002, Pu Liu, Sheld...
IWCMC
2006
ACM
15 years 10 months ago
Security aspects of inter-satellite links using neural networks
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...
Peter P. Stavroulakis, Ioannis Dimou, Harilaos G. ...
SAC
2006
ACM
15 years 10 months ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
XIMEP
2006
ACM
179views Database» more  XIMEP 2006»
15 years 10 months ago
Positional Grouping in XQuery
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
Michael H. Kay
GLVLSI
2005
IEEE
118views VLSI» more  GLVLSI 2005»
15 years 10 months ago
A continuous time markov decision process based on-chip buffer allocation methodology
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
Sankalp Kallakuri, Nattawut Thepayasuwan, Alex Dob...