981 search results - page 59 / 197 » Semantics-aware trace analysis |
APIN
2007
15 years 2 months ago
2007
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
113
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
108
click to vote
SIGCOMM
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we develop simple models to study the performance of BitTorrent, a second generation peer-to-peer (P2P) application. We first present a simple fluid model and stu...
118
click to vote
ESANN
2004
15 years 3 months ago
2004
Abstract. We present a large-scale Neuromorphic model based on integrateand-fire (IF) neurons that analyses objects and their depth within a moving visual scene. A feature-based al...
153
click to vote
TRIER
2002
15 years 1 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...