We present an unconventional clock distribution that emphasizes flexibility and layout independence. It suits a variety of applications, clock domain shapes and sizes using a modu...
We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++ )....
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovie...
Real algebraic expressions are expressions whose leaves are integers and whose internal nodes are additions, subtractions, multiplications, divisions, k-th root operations for int...
Christoph Burnikel, Stefan Funke, Kurt Mehlhorn, S...
The problen of the backscattering of electrons from metal targets is subject of extensive theoreticel and experimental work in surface analysis. We are interested in the angular di...
Ivan Dimov, Emanouil I. Atanassov, Mariya K. Durch...
A robotic system is developed to automate the packing of polycrystalline silicon nuggets into a fragile fused silica crucible in CZ semiconductor wafer production. The highly irre...