Sciweavers

411 search results - page 13 / 83
» On-line Network Synthesis
Sort
View
COCOA
2009
Springer
15 years 10 months ago
An Effective Hybrid Algorithm for the Circles and Spheres Packing Problems
stract to be announcedPlenary session 09:00-10:00 Panos M, Pardalos, University of Florida, USA Tea Break 10:00-10:20 At the 1st floor 10:20-10:45 Polynomial Approximation Schemes ...
Jingfa Liu, Yonglei Yao, Yu Zheng, Huantong Geng, ...
130
Voted
SLIP
2003
ACM
16 years 20 days ago
Understanding metrics in logic synthesis for routability enhancement
Victor N. Kravets, Prabhakar Kudva
143
Voted
ICNP
1995
IEEE
15 years 11 months ago
Protocol synthesis using basic Lotos and global variables
Ahmed Khoumsi, Gregor von Bochmann
ICNP
1995
IEEE
15 years 11 months ago
Protocol synthesis from timed and structured specifications
Akio Nakata, Teruo Higashino, Kenichi Taniguchi