Filters








4,784 Hits in 5.2 sec

Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation [article]

Pansy Arafa, Hany Kashif, Sebastian Fischmeister
2017 arXiv   pre-print
Consequently we developed DIME*, a tool for dynamic binary instrumentation that considers timing constraints.  ...  Dynamic binary instrumentation as one tool instruments program binaries to extract information.  ...  In [4] , Arafa et al. propose DIME; a time-aware dynamic binary instrumentation framework.  ... 
arXiv:1703.02873v1 fatcat:7b5xwaxtrfgnrmgtutkwebj3y4

AP-MTL: Attention Pruned Multi-task Learning Model for Real-time Instrument Detection and Segmentation in Robot-assisted Surgery [article]

Mobarakol Islam, Vibashan VS, Hongliang Ren
2020 arXiv   pre-print
We further design a skip squeeze and excitation (SE) module, which suppresses weak features, excites significant features and performs dynamic spatial and channel-wise feature re-calibration.  ...  models in the challenge.  ...  Moreover, to boost real-time computation, reduce singularity, and redundancy in the model, we propose global attention dynamic pruning (GADP) method. A.  ... 
arXiv:2003.04769v2 fatcat:xkzblws4tzfo3lzig6ikuwt5um

Dynamo

Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia
2000 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00  
Dynamo's operation is transparent in the sense that it does not depend on any user annotations or binary instrumentation, and does not require multiple runs, or any special compiler, operating system or  ...  The input native instruction stream to Dynamo can be dynamically generated (by a JIT for example), or it can come from the execution of a statically compiled native binary.  ...  How Dynamo gains control over the application need to instrument the application binary or otherwise perturb it in any way.  ... 
doi:10.1145/349299.349303 dblp:conf/pldi/BalaDB00 fatcat:7hgf5dnekvdrzh3edxibpajagy

Dynamo

Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia
2000 SIGPLAN notices  
Dynamo's operation is transparent in the sense that it does not depend on any user annotations or binary instrumentation, and does not require multiple runs, or any special compiler, operating system or  ...  The input native instruction stream to Dynamo can be dynamically generated (by a JIT for example), or it can come from the execution of a statically compiled native binary.  ...  How Dynamo gains control over the application need to instrument the application binary or otherwise perturb it in any way.  ... 
doi:10.1145/358438.349303 fatcat:ftwakx6cbrh5jku3nmoc377utq

XEMU

Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel Mary Joy, Tao Xie, Wolfgang Mueller
2012 Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12  
We apply an extension of the QEMU software emulator, which injects mutations at run-time by dynamic code translation without affecting the binary software under test.  ...  This paper presents the XEMU framework for mutation based testing of embedded software binaries.  ...  For that we modified the dynamic binary translator of QEMU. Thus, there is no need for instrumenting the original binary itself.  ... 
doi:10.1145/2380356.2380368 dblp:conf/emsoft/BeckerBKJX012 fatcat:qtklzofhsva7jgd4i453h4hhci

Binary mutation testing through dynamic translation

Markus Becker, Christoph Kuznik, Mabel Mary Joy, Tao Xie, Wolfgang Mueller
2012 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012)  
As instrumentation is avoided, testing results correspond to the original binary.  ...  Mutations are injected at runtime by dynamic translation. Thus, our approach neither relies on source code nor a certain compiler.  ...  The QEMU Dynamic Binary Translator Dynamic binary translation is used for efficient conversion of an Instruction Set Architecture (ISA) into a different ISA, e.g., when the ISA of an executable differs  ... 
doi:10.1109/dsn.2012.6263914 dblp:conf/dsn/BeckerKJXM12 fatcat:c7jxip2uavewlkovcm5uzofvsa

Efficient incremental algorithms for dynamic detection of likely invariants

Jeff H. Perkins, Michael D. Ernst
2004 Software engineering notes  
Previous techniques for dynamic invariant detection scale poorly or report too few properties.  ...  Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties.  ...  Background: dynamic invariant detection Dynamic detection of likely invariants [10] discovers likely invariants from program executions by instrumenting the target program (in source or binary form)  ... 
doi:10.1145/1041685.1029901 fatcat:73baqbidlvf73f3z7efef7i2qy

MAO — An extensible micro-architectural optimizer

Robert Hundt, Easwaran Raman, Martin Thuresson, Neil Vachharajani
2011 International Symposium on Code Generation and Optimization (CGO 2011)  
In essence, MAO is a thin wrapper around a common open source assembler infrastructure.  ...  Small changes in the instruction stream, such as the insertion of a single NOP instruction, can lead to significant performance deltas, with the effect of exposing compiler and performance optimization  ...  Results of this technique are promising and will be detailed in another paper. l) Dynamic Instrumentation Support: Dynamic binary instrumentation is a complicated task, in particular in the presence of  ... 
doi:10.1109/cgo.2011.5764669 dblp:conf/cgo/HundtRTV11 fatcat:wf6q2gvstngtxo3sus2sylssaq

The dynamic behavior of a data dissemination protocol for network programming at scale

Jonathan W. Hui, David Culler
2004 Proceedings of the 2nd international conference on Embedded networked sensor systems - SenSys '04  
Deluge builds from prior work in density-aware, epidemic maintenance protocols.  ...  At scale, the protocol exposes interesting propagation dynamics only hinted at by previous dissemination work.  ...  Trickle is density-aware in that the threshold k bounds the number of advertisements made in a given cell by suppressing the transmission of redundant advertisements.  ... 
doi:10.1145/1031495.1031506 dblp:conf/sensys/HuiC04 fatcat:l7kysgdrnvddrk43cxylswviki

The CSI Framework for Compiler-Inserted Program Instrumentation

Tao B. Schardl, Tyler Denniston, Damon Doucet, Bradley C. Kuszmaul, I-Ting Angelina Lee, Charles E. Leiserson
2017 Proceedings of the ACM on Measurement and Analysis of Computing Systems  
Each CSI-tool is implemented as a library that defines relevant hooks, and the remaining hooks are "nulled" out and elided during either compile-time or link-time optimization, resulting in instrumented  ...  In contrast, CSI inserts a standard collection of instrumentation hooks into the program-under-test.  ...  This research was supported in part by a Google Faculty Research Grant, in part by DoE X-Stack Grant DE-SC0008923, and in part by NSF Grants 1314547, 1533644, and 1527692.  ... 
doi:10.1145/3154502 dblp:journals/pomacs/SchardlDDKLL17 fatcat:emnw2qyrv5eixpugx55jyznl74

Analog/mixed-signal circuit design in nano CMOS era

Haruo Kobayashi, Hitoshi Aoki, Kentaroh Katoh, Congbing Li
2014 IEICE Electronics Express  
This paper describes analog/mixed-signal circuit design in the nano CMOS era.  ...  Another example is a non-binary successive approximation register (SAR) ADC ( Fig. 5) , where the number of steps is larger than a binary SAR ADC; in other words redundancy in time is used.  ...  error correction often uses redundancy in time (operations) and/or space (circuits).  ... 
doi:10.1587/elex.11.20142001 fatcat:53as3fytwbc3tmnel5tv4f4xx4

A survey of design methods for failure detection in dynamic systems

1977 Microelectronics and reliability  
In this paper we survey a number of methods for the detection of abrupt changes (such as failures) in stochastic dynamical systems.  ...  Tradeoffs in complexity vs performance are discussed.  ...  Acknowledgements--The author is in the debt of many colleagues for their comments during numerous discussions on the subject of failure detection. In particular, special thanks must go to Dr. R. C.  ... 
doi:10.1016/0026-2714(77)90326-2 fatcat:y7dr2nmoavhjhdbmxl6ppasxa4

A survey of design methods for failure detection in dynamic systems

Alan S. Willsky
1976 Automatica  
In this paper we survey a number of methods for the detection of abrupt changes (such as failures) in stochastic dynamical systems.  ...  Tradeoffs in complexity vs performance are discussed.  ...  Acknowledgements--The author is in the debt of many colleagues for their comments during numerous discussions on the subject of failure detection. In particular, special thanks must go to Dr. R. C.  ... 
doi:10.1016/0005-1098(76)90041-8 fatcat:wy5k66miojcbpjzzudpbjowpqi

The ESA Ravenscar Benchmark [chapter]

Romain Berrendonner, Jérôme Guitton
2005 Lecture Notes in Computer Science  
execution times and estimate of the memory footprint of the Ada runtime and stack size requirements.  ...  ERB is original compared to existing Ada benchmarks, such as the ACES or the PIWG, not only because it is the first Ada Ravenscar benchmark, but also because it provides at the same time measurement of  ...  We would also like to thank the team of the Real-Time group at the School of Telecommunication of the University of Madrid, which undertook the work of porting the test suite to RTEMS.  ... 
doi:10.1007/11499909_21 fatcat:t44yq6fvevg7lmnuwwsq7mmgyu

Applying a Combination of Mimic Defense and Software Diversity in the Software Security Industry

2016 Chinese Journal of Engineering Science  
This paper proposes a scheme of combining software diversity and mimic defense in the software security industry to eliminate the threat.  ...  The software security industry, which is instrumental in protecting the development of the country, has a ripple effect on other industries.  ...  detection, suppression, blocking, and removal of Trojans and viruses.  ... 
doi:10.15302/j-sscae-2016.06.015 fatcat:wvqqc7qgijfs7d2kdryofs7h3u
« Previous Showing results 1 — 15 out of 4,784 results