1760 search results - page 42 / 352 » Program Analysis Using Weighted Pushdown Systems |
ICDAR
2009
IEEE
13 years 8 months ago
2009
IEEE
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
SAS
2007
Springer
14 years 5 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
ENTCS
2007
13 years 11 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
GECCO
2009
Springer
13 years 8 months ago
2009
Springer
An iterated function f(x) is a function that when composed with itself, produces a given expression f(f(x))=g(x). Iterated functions are essential constructs in fractal theory and...
JOT
2010
13 years 9 months ago
2010
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...