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… 
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… 
2010
2010
A high performance three-engine architecture for H.264/AVC fractional motion estimation
Multiple-reference-frame, quarter-pixel accuracy, and variable-block-size motion estimation (VBSME) employed in H.264/AVC is one… 
2009
2009
Single-iteration full-search fractional motion estimation for quad full HD H.264/AVC encoding
Fractional motion estimation (FME) is widely used in video compression standards. In H.264/AVC, the precision of motion vector is… 
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… 
2007
2007
Reusable Architecture and Complexity-Controllable Algorithm for the Integer/Fractional Motion Estimation of H.264
Motion estimation is the most computational intensive part of H.264 video coding. The motion estimation of H.264 includes integer… 
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
2006
Highly Cited
2006
High performance VLSI architecture of fractional motion estimation in H.264 for HDTV
Fractional motion estimation (FME) on sub-pixels will occupy almost over 45% of the computation complexity of H.264 encoding… 
2002
2002
IMPLEMENTATION OF STEP 224 IN AN AUTOMATED MANUFACTURING PLANNING SYSTEM
This paper reports the results of an on-going research project at Cranfield University in collaboration with a leading consultant… 
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… 
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)