A Pin-Grid-Array (PGA) package router is presented in this paper. Given a chip cavity with a number of I/O pads around its boundary and an equivalent number of pins distributed on...
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
Geometrical image features like edges and ridges in digital images may be extracted by convolving the images with appropriate derivatives of Gaussians. The choice of the convolutio...
J. B. Antoine Maintz, Petra A. van den Elsen, Max ...
Reliable and generic methods for skew detection are a necessity for any large-scale digitization projects. As one of the first processing steps, skew detection and correction has...
Iuliu Vasile Konya, Stefan Eickeler, Christoph Sei...