A comparative study of energy minimization methods for markov random fields with smoothness-based priors

R Szeliski, R Zabih, D Scharstein… - IEEE transactions on …, 2008 - ieeexplore.ieee.org
Among the most exciting advances in early vision has been the development of efficient
energy minimization algorithms for pixel-labeling tasks such as depth or texture …

Practical virtual method call resolution for Java

V Sundaresan, L Hendren, C Razafimahefa… - ACM SIGPLAN …, 2000 - dl.acm.org
This paper addresses the problem of resolving virtual method and interface calls in Java
bytecode. The main focus is on a new practical technique that can be used to analyze large …

[HTML][HTML] Introducing the open-source mfront code generator: Application to mechanical behaviours and material knowledge management within the PLEIADES fuel …

T Helfer, B Michel, JM Proix, M Salvo… - … & Mathematics with …, 2015 - Elsevier
The PLEIADES software environment is devoted to the thermomechanical simulation of
nuclear fuel elements behaviour under irradiation. This platform is co-developed in the …

A quantitative analysis of aspects in the eCos kernel

D Lohmann, F Scheler, R Tartler, O Spinczyk… - ACM SIGOPS …, 2006 - dl.acm.org
Nearly ten years after its first presentation and five years after its first application to operating
systems, the suitability of Aspect-Oriented Programming (AOP) for the development of …

Towards automated integrity protection of C++ virtual function tables in binary programs

R Gawlik, T Holz - Proceedings of the 30th Annual Computer Security …, 2014 - dl.acm.org
Web browsers are one of the most used, complex, and popular software systems nowadays.
They are prone to dangling pointers that result in use-after-free vulnerabilites and this is the …

Verifying dynamic trait objects in Rust

A VanHattum, D Schwartz-Narbonne, N Chong… - Proceedings of the 44th …, 2022 - dl.acm.org
Rust has risen in prominence as a systems programming language in large part due to its
focus on reliability. The language's advanced type system and borrow checker eliminate …

Sferesv2: Evolvin' in the multi-core world

JB Mouret, S Doncieux - IEEE Congress on Evolutionary …, 2010 - ieeexplore.ieee.org
This paper introduces and benchmarks Sferes v2, a C++ framework designed to help
researchers in evolutionary computation to make their code run as fast as possible on a …

Mask building for perceptually hiding frequency embedded watermarks

F Bartolini, M Barni, V Cappellini… - … Conference on Image …, 1998 - ieeexplore.ieee.org
The interest in image watermarking techniques has rapidly grown during the years. Two
requirements needed to be satisfied to use watermarking techniques for copyright protection …

Accurate indirect branch prediction

K Driesen, U Hölzle - ACM SIGARCH Computer Architecture News, 1998 - dl.acm.org
Indirect branch prediction is likely to become increasingly important in the future because
indirect branches occur more frequently in object-oriented programs. With misprediction …

Model checking C++ programs

FR Monteiro, MR Gadelha… - … Testing, Verification and …, 2022 - Wiley Online Library
In the last three decades, memory safety issues in system programming languages such as
C or C++ have been one of the most significant sources of security vulnerabilities. However …