Sciweavers

8008 search results - page 266 / 1602
» Computer-Aided Language Processing
Sort
View
DC
2010
15 years 26 days ago
A taxonomy of process calculi for distribution and mobility
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus,...
Daniele Gorla
GLVLSI
2008
IEEE
129views VLSI» more  GLVLSI 2008»
15 years 10 months ago
Variational capacitance modeling using orthogonal polynomial method
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
Jian Cui, Gengsheng Chen, Ruijing Shen, Sheldon X....
SIGGRAPH
1996
ACM
15 years 7 months ago
Fitting Smooth Surfaces to Dense Polygon Meshes
Recent progress in acquiring shape from range data permits the acquisition of seamless million-polygon meshes from physical models. In this paper, we present an algorithm and syst...
Venkat Krishnamurthy, Marc Levoy
132
Voted
COMBINATORICA
2007
129views more  COMBINATORICA 2007»
15 years 3 months ago
Birth control for giants
The standard Erd˝os-Renyi model of random graphs begins with n isolated vertices, and at each round a random edge is added. Parametrizing n 2 rounds as one time unit, a phase tra...
Joel H. Spencer, Nicholas C. Wormald
123
Voted
ACMSE
2006
ACM
15 years 7 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey