Sciweavers

4820 search results - page 228 / 964
» Implementing Signatures for C
Sort
View
MICS
2008
107views more  MICS 2008»
15 years 3 months ago
Automatic Proof of Graph Nonisomorphism
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...
Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murra...
123
Voted
JORS
2010
149views more  JORS 2010»
14 years 10 months ago
Modelling LGD for unsecured personal loans: decision tree approach
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...
Ania Matuszyk, C. Mues, Lyn C. Thomas
154
Voted
JSA
2010
173views more  JSA 2010»
14 years 10 months ago
Hardware/software support for adaptive work-stealing in on-chip multiprocessor
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...
Quentin L. Meunier, Frédéric P&eacut...
104
Voted
FPL
2007
Springer
128views Hardware» more  FPL 2007»
15 years 9 months ago
Embedded Programmable Logic Core Enhancements for System Bus Interfaces
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...
Bradley R. Quinton, Steven J. E. Wilton
AHS
2006
IEEE
130views Hardware» more  AHS 2006»
15 years 9 months ago
Self-Adaptive System Based on Field Programmable Gate Array for Extreme Temperature Electronics
Space missions often require radiation and extreme-temperature hardened electronics to survive the harsh environments beyond earth’s atmosphere. Traditional approaches to preser...
Didier Keymeulen, Ricardo Salem Zebulum, Rajeshuni...