4820 search results - page 228 / 964 » Implementing Signatures for C |
154
click to vote
MICS
2008
15 years 6 months ago
2008
We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machinereadable. We have developed an experimental imp...
172
click to vote
JORS
2010
15 years 1 months ago
2010
The Basel New Accord which is being implemented throughout the banking world on 1 January 2007 has made a significant difference to the use of modelling within financial organisat...
199
click to vote
JSA
2010
15 years 1 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
143
click to vote
FPL
2007
Springer
16 years 20 days ago
2007
Springer
Programmable logic cores (PLCs) offer a means of providing post-fabrication re-configurability to a SoC design. Circuits implemented in a PLC will inevitably have lower timing per...
190
click to vote
AHS
2006
IEEE
16 years 18 days ago
2006
IEEE
Space missions often require radiation and extreme-temperature hardened electronics to survive the harsh environments beyond earth’s atmosphere. Traditional approaches to preser...