3902 search results - page 435 / 781 » Hardware Synthesis from C C Models |
171
click to vote
JSS
1998
15 years 6 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
183
click to vote
SIGMETRICS
2009
ACM
16 years 1 months ago
2009
ACM
Errors in dynamic random access memory (DRAM) are a common form of hardware failure in modern compute clusters. Failures are costly both in terms of hardware replacement costs and...
183
click to vote
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
207
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
339
click to vote
SIGMETRICS
2012
ACM
13 years 9 months ago
2012
ACM
The energy consumed by data centers is starting to make up a significant fraction of the world’s energy consumption and carbon emissions. A large fraction of the consumed energ...