1687 search results - page 40 / 338 » Which pointer analysis should I use |
ASIACRYPT
2009
Springer
14 years 3 months ago
2009
Springer
We look at iterated power generators si = se i−1 mod N for a random seed s0 ∈ ZN that in each iteration output a certain amount of bits. We show that heuristically an output of...
AGENTS
2000
Springer
14 years 1 months ago
2000
Springer
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...
FMCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
BNCOD
2003
13 years 10 months ago
2003
Data mining aims at discovering important and previously unknown patterns from the dataset in the underlying database. Database mining performs mining directly on data stored in r...
ICSM
1998
IEEE
14 years 1 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...