Software configuration—an NP-complete problem
SIGCPR '87 Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Solving the n-queens problem using genetic algorithms
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A data structure for circuit net lists
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Buffer Assignment Algorithms on Data Driven ASICs
IEEE Transactions on Computers
Teaching empirical analysis of algorithms
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Getting the most from an algorithms design course: a personal experience
ACM SIGCSE Bulletin
An upper level computer science curriculum
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Toward Leaner Binary-Clause Reasoning in a Satisfiability Solver
Annals of Mathematics and Artificial Intelligence
Heuristic and exact algorithms for the spanning tree detection problem
Computers and Operations Research
Automated WCET analysis based on program modes
Proceedings of the 2006 international workshop on Automation of software test
Bin packing problems with rejection penalties and their dual problems
Information and Computation
Combining object-oriented design and computer architecture into a single senior-level course
WCAE '95 Proceedings of the 1995 workshop on Computer architecture education
An image background detection project for a visual exploration of DFS and BFS
Proceedings of the 39th SIGCSE technical symposium on Computer science education
CMM sequence optimisation with collision detection
International Journal of Computer Applications in Technology
HyPAM: A hybrid continuum-particle model for incompressible free-surface flows
Journal of Computational Physics
Analyzing programming projects
Proceedings of the 40th ACM technical symposium on Computer science education
Spatial locality exploitation for runtime reordering of JPEG2000 wavelet data layouts
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An optimization metric for air-to-ground network planning
IEEE Transactions on Wireless Communications
Bin packing problems with rejection penalties and their dual problems
Information and Computation
Hi-index | 0.01 |