8671 search results - page 1427 / 1735 » A generator for hierarchical problems |
172
click to vote
MSE
2003
IEEE
16 years 2 days ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
159
click to vote
MTV
2003
IEEE
16 years 2 days 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...
219
click to vote
SBACPAD
2003
IEEE
16 years 2 days ago
2003
IEEE
Frequent itemset mining is a classic problem in data mining. It is a non-supervised process which concerns in finding frequent patterns (or itemsets) hidden in large volumes of d...
199
click to vote
SEW
2003
IEEE
16 years 2 days 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...
189
click to vote
WORDS
2003
IEEE
16 years 2 days ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...