Skip to search formSkip to main contentSkip to account menu

Formal Methods Europe

Known as: FME 
Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
APCBBCS-FACSComputer hardwareForTIA

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Multi period disassembly-to-order of end of life product based on scheduling to maximize the profit in reverse logistic operation
In recent era, the creation of electronic contraptions is expanding step by step, which leads to tremendous electronic waste… 
2015
2015
The Influence of Poly-Molecular Adsorption on the Rheological Behaviour of Lubricating Oil in a Thin Layer
The explanation and modelling of the impact of anti-wear additives in lubricants at modes and friction characteristics involves… 
2014
2014
Effects of feeding by-products; maggot meal, fish meal, soybean meal, blood meal and beef brain on growth, survival and carcass composition of African catfish, Heterobranchus longifilis Valenciennes…
A forty nine-days feeding trial was conducted in aquaria at density of 1 larvalL to evaluate the growth performances, survival… 
2013
2013
Low cost and high throughput FME interpolation for the HEVC emerging video coding standard
The new demands for high resolution digital video applications are pushing the development of new techniques in the video coding… 
2011
2011
An Efficient VLSI Architecture of Fractional Motion Estimation in H.264 for HDTV
Fractional Motion Estimation (FME) in high-definition H.264 presents a significant design challenge in terms of memory bandwidth… 
2009
2009
Low-complexity algorithm for fractional-pixel motion estimation
This paper presents low-complexity algorithm for fractional-pixel motion estimation (FME). The proposed algorithm uses a… 
2008
2008
A Flexible Heterogeneous Hardware/Software Solution for Real-Time HD H.264 Motion Estimation
Quarter-pixel accuracy and variable block-size significantly enhance compression performances of the MPEG-4 AVC/H.264 video… 
2006
2006
Non structured meshes for Cloth GPU simulation using FEM
We present a Finite Element Method (FEM) implementation for cloth simulation on the GPU. The advantages of FEM are twofold: the… 
Highly Cited
1995
Highly Cited
1995
Flow rate modulation epitaxy of AlGaAs/GaAs quantum wires on nonplanar substrate
Flow rate modulation epitaxy (FME) is applied to the low‐temperature growth of AlGaAs/GaAs quantum wires (QWRs) on nonplanar… 
1990
1990
Growth and Polyamine Production of Alteromonas spp in Fish Meat Extracts Under Modified Atmosphere
Both marine and terrestrial types of Alteromonas 8pp were studied for their growth and polyamine production in fish meat enacts… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)