644 search results - page 39 / 129 » Graph structured program evolution |
ISI
2006
Springer
14 years 12 months ago
2006
Springer
Since the September 11th terror attack at New York in 2001, the frequency of terror attacks around the world has been increasing and it draws more attention of the public. On Janua...
102
click to vote
NETWORKING
2007
15 years 1 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
FLAIRS
2006
15 years 1 months ago
2006
Music has structure at many levels, from grand arrangements of verses and choruses down to patterns in small riffs and themes. A bracketed L-system -- the SARAH language -- is use...
112
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
104
click to vote
JUCS
2006
14 years 12 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...