1992 search results - page 153 / 399 » On the (limited) power of non-equivocation |
197
click to vote
RTAS
2006
IEEE
16 years 15 days ago
2006
IEEE
Multicore architectures, which have multiple processing units on a single chip, are widely viewed as a way to achieve higher processor performance, given that thermal and power pr...
215
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
173
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
174
click to vote
CASES
2006
ACM
16 years 14 days ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
163
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
Inductive cross-talk within IC packaging is becoming a significant bottleneck in high-speed inter-chip communication. The parasitic inductance within IC packaging causes bounce o...