7785 search results - page 1435 / 1557 » The Concept of Dynamic Analysis |
115
click to vote
IMC
2010
ACM
14 years 11 months ago
2010
ACM
Current large-scale topology mapping systems require multiple days to characterize the Internet due to the large amount of probing traffic they incur. The accuracy of maps from ex...
135
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Large databases of genetic data are often biased in their representation. Thus, selection of genetic data with desired properties, such as evolutionary representation ...
132
click to vote
TCS
2011
14 years 8 months ago
2011
Let F be a cellular automaton (CA). This paper establishes necessary conditions for F in order to be intrinsically universal. The central idea is to consider the communication com...
129
click to vote
TASLP
2010
14 years 8 months ago
2010
Abstract--Independent vector analysis (IVA) is a method for separating convolutedly mixed signals that significantly reduces the occurrence of the well-known permutation problem in...
119
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...