7913 search results - page 519 / 1583 » Information Collection on a Graph |
113
Voted
PLDI
1994
ACM
15 years 10 months ago
1994
ACM
Programslices have potentialuses in manysoftware engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump st...
156
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
218
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
169
click to vote
BIRD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We describe a new method for the exploration of evolutionary relations between protein structures. The approach is based on the ESSM algorithm for detecting structural mu...
171
Voted
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper offers a formalization of iterated belief revision for multiagent communication using the logic of communication graphs introduced in [15]. In this study we co...