T. Biondi, A. Ciccazzo, V. Cutello, S. D'Antona, G. Nicosia, S. Spinella:
Multi-Objective Evolutionary Algorithms and Pattern Search Methods for Circuit Design Problems
/jucs_12_4/multi_objective_evolutionary_algorithm

page 432 - 449
Vol.12 / Issue 4

F. He, G. Yang, L. Cheng, X. Song, M. Gu, J. Sun:
On Theoretical Upper Bound for Routing Estimation
/jucs_11_6/on_theoretical_upper_bound

page 916 - 925
Vol.11 / Issue 6

F. Lu, L.-C. Wang, J. Moondanos, Z. Hanna:
A Signal Correlation Guided Circuit-SAT Solver
/jucs_10_12/a_signal_correlation_guided

page 1629 - 1654
Vol.10 / Issue 12

R.M.M. Rodrigues, J.M.P. Cardoso:
On Pipelining Sequences of Data-Dependent Loops
/jucs_13_3/on_pipelining_sequences_of

page 419 - 439
Vol.13 / Issue 3

S. Sasaki, T. Nishihara, D. Ando, M. Fujita:
Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph
/jucs_13_13/hardware_software_codesign_and

page 1972 - 2001
Vol.13 / Issue 13