Sciweavers

6409 search results - page 70 / 1282
» A Computational Algorithm for Origami Design
Sort
View
SIGCSE
2009
ACM
135views Education» more  SIGCSE 2009»
16 years 2 months ago
Breadth-last technical electives: integrating the CS core via computer games and mobile robotics
In this paper, we introduce the concept of breadth-last technical elective courses, which are designed to assist undergraduate CS students in integrating their entire core curricu...
William W. White, Jerry B. Weinberg
BERTINORO
2005
Springer
15 years 7 months ago
On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
Daniel A. Menascé, Mohamed N. Bennani, Hong...
GLVLSI
2009
IEEE
122views VLSI» more  GLVLSI 2009»
15 years 8 months ago
Enhancing SAT-based sequential depth computation by pruning search space
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
Yung-Chih Chen, Chun-Yao Wang
ISVLSI
2002
IEEE
104views VLSI» more  ISVLSI 2002»
15 years 6 months ago
Scalable VLSI Architecture for GF(p) Montgomery Modular Inverse Computation
Modular inverse computation is needed in several public key cryptographic applications. In this work, we present two VLSI hardware implementations used in the calculation of Montg...
Adnan Abdul-Aziz Gutub, Alexandre F. Tenca, &Ccedi...
PPSN
2010
Springer
14 years 12 months ago
Design and Comparison of two Evolutionary Approaches for Solving the Rubik's Cube
Solutions calculated by Evolutionary Algorithms have come to surpass exact methods for solving various problems. The Rubik’s Cube multiobjective optimization problem is one such ...
Nail El-Sourani, Markus Borschbach