4911 search results - page 246 / 983 » Tree dependence analysis |
145
click to vote
CDVE
2007
Springer
15 years 10 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
134
click to vote
JSW
2007
15 years 4 months ago
2007
— The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of...
151
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
The pervasiveness of mobile devices and location based services is leading to an increasing volume of mobility data. This side effect provides the opportunity for innovative meth...
140
click to vote
EACL
2003
ACL Anthology
15 years 5 months ago
2003
ACL Anthology
We present a new grammar formalism for parsing with freer word-order languages, motivated by recent linguistic research in German and the Slavic languages. Unlike CFGs, these gram...
255
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...