12774 search results - page 225 / 2555 » A Framework for Proof Systems |
146
Voted
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current leadership-class machines suffer from a significant imbalance between their computational power and their I/O bandwidth. While Moore’s law ensures that the computatio...
162
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
184
click to vote
ISPD
2010
ACM
16 years 1 months ago
2010
ACM
Thermal/power issues have become increasingly important with more and more transistors being put on a single chip. Many dynamic thermal/power management techniques have been propo...
157
click to vote
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
Published data is prone to privacy attacks. Sanitization methods aim to prevent these attacks while maintaining usefulness of the data for legitimate users. Quantifying the trade-...
203
click to vote
SJ
2010
15 years 1 months ago
2010
Multimedia video sharing has been developed rapidly over the past years. P2P multimedia sharing mechanisms for P2P network such as PPLive, PPStream, Joost, have been used popularly...