34229 search results - page 454 / 6846 » Power-aware computing systems |
189
click to vote
JVA
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
163
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
Finding motifs — patterns of conserved residues — within nucleotide and protein sequences is a key part of understanding function and regulation within biological systems. Thi...
160
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
182
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
A new algorithm for computing contact forces between solid objects with friction is presented. The algorithm allows a mix of contact points with static and dynamic friction. In co...
148
click to vote
WIESS
2000
15 years 8 months ago
2000
The HP V-Class server family provides up to 32 processors and 32 GB of memory in a single cabinet. Scalable Computing Architecture technology allows multiple V-Class cabinets to b...