49 search results - page 6 / 10 » Memory analysis and significance test for agent behaviours |
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Current post-mortem cyber-forensic techniques may cause significant disruption to the evidence gathering process by breaking active network connections and unmounting encrypted di...
PC
2010
13 years 2 months ago
2010
We study the forward and backward substitution phases of a sparse multifrontal factorization. These phases are often neglected in papers on sparse direct factorization but, in man...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
JIRS
2000
13 years 7 months ago
2000
Abstract. Autonomous learning systems of significant complexity often consist of several interacting modules or agents. These modules collaborate to produce a system which, when vi...