A comparative study of energy minimization methods for markov random fields with smoothness-based priors
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 …
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 …
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 …
The PLEIADES software environment is devoted to the thermomechanical simulation of
nuclear fuel elements behaviour under irradiation. This platform is co-developed in the …
nuclear fuel elements behaviour under irradiation. This platform is co-developed in the …
A quantitative analysis of aspects in the eCos kernel
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 …
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 …
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 …
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 …
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 …
requirements needed to be satisfied to use watermarking techniques for copyright protection …
Accurate indirect branch prediction
Indirect branch prediction is likely to become increasingly important in the future because
indirect branches occur more frequently in object-oriented programs. With misprediction …
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 …
C or C++ have been one of the most significant sources of security vulnerabilities. However …