7397 search results - page 1183 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
163
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
219
click to vote
ITNG
2010
IEEE
15 years 5 months ago
2010
IEEE
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
176
click to vote
IEEEPACT
2005
IEEE
16 years 5 days ago
2005
IEEE
We propose a checkpoint store compression method for coarse-grain giga-scale checkpoint/restore. This mechanism can be useful for debugging, post-mortem analysis and error recover...
168
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
A learning problem that has only recently gained attention in the machine learning community is that of learning a classifier from group probabilities. It is a learning task that ...
150
click to vote
CSI
2007
15 years 6 months ago
2007
We propose a generic framework for the development of an off-line peer-to-peer electronic payment system with fixed-value electronic coins. The proposed scheme simulates the issua...