Sciweavers

4887 search results - page 467 / 978
» System Level Design Using C
Sort
View
SCAM
2005
IEEE
16 years 18 days ago
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
Nerina Bermudo, Andreas Krall, R. Nigel Horspool
ECOOP
2010
Springer
15 years 12 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens
USS
2008
15 years 9 months ago
Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods
Automated bot/botnet detection is a difficult problem given the high level of attacker power. We propose a systematic approach for evaluating the evadability of detection methods....
Elizabeth Stinson, John C. Mitchell
168
Voted
ANTSW
2008
Springer
15 years 9 months ago
Social Odometry in Populations of Autonomous Robots
The improvement of odometry systems in collective robotics remains an important challenge for several applications. In this work, we propose a localisation strategy in which robots...
Álvaro Gutiérrez, Alexandre Campo, F...
FTCS
1993
97views more  FTCS 1993»
15 years 8 months ago
Virtually-Synchronous Communication Based on a Weak Failure Suspector
Failure detectors (or, more accurately Failure Suspectors { FS) appear to be a fundamental service upon which to build fault-tolerant, distributed applications. This paper shows t...
André Schiper, Aleta Ricciardi