400 search results - page 49 / 80 » Hard Problem Generation for MKP |
102
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...
98
Voted
MTV
2003
IEEE
15 years 6 months ago
2003
IEEE
In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of f...
118
Voted
SEW
2003
IEEE
15 years 6 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
110
click to vote
WCRE
2002
IEEE
15 years 5 months ago
2002
IEEE
Dynamic binary translators compile machine code from a source architecture to a target architecture at run time. Due to the hard time constraints of just-in-time compilation only ...
124
click to vote
ASIACRYPT
2009
Springer
15 years 5 months ago
2009
Springer
A fault attack consists in inducing hardware malfunctions in order to recover secrets from electronic devices. One of the most famous fault attack is Bellcore’s attack against RS...