3299 search results - page 196 / 660 » A general mathematics of names |
156
click to vote
DAC
2006
ACM
16 years 16 days ago
2006
ACM
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...
152
click to vote
SAC
2006
ACM
16 years 15 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
146
click to vote
ANSS
2005
IEEE
16 years 5 days ago
2005
IEEE
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...
163
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
211
click to vote
WWW
2005
ACM
16 years 3 days ago
2005
ACM
To improve search efficiency and reduce unnecessary traffic in Peerto-Peer (P2P) networks, this paper proposes a trust-based probabilistic search algorithm, called preferential wa...