351 search results - page 37 / 71 » Functional Nets |
108
click to vote
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper presents an efficient technique for the estimation of the routed wirelength during global placement using the wire density of the net. The proposed method identifie...
106
click to vote
CEEMAS
2007
Springer
15 years 6 months ago
2007
Springer
To allow for flexibility in software structures (architectures) especially plugins and agents are proposed solutions. While plugins are used to support the conceptual and practica...
EPK
2006
15 years 1 months ago
2006
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
100
click to vote
ENTCS
2008
14 years 12 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
CAGD
2007
14 years 11 months ago
2007
For planar spline curves and bivariate box-spline functions, the cone of normals of a polynomial spline piece is enclosed by the cone of normals of its spline control polyhedron. ...