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… 
2010
2010
A Real-Time H.264/AVC Encoder With Complexity-Aware Time Allocation
This paper presents a novel processing time control algorithm for a hardware-based H.264/AVC encoder. The encoder employs three… 
2009
2009
FPSoC-Based Architecture for a Fast Motion Estimation Algorithm in H.264/AVC
There is an increasing need for high quality video on low power, portable devices. Possible target applications range from… 
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… 
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… 
2006
2006
Low Complexity High Quality Fractional Motion Estimation Algorithm and Architecture Design for H.264/AVC
In this paper, we propose a low complexity high quality fractional motion estimation design for H.264/AVC. A mode reduction… 
2004
2004
Direct Control of a Passive Haptic Device Based on Passive Force Manipulability Ellipsoid Analysis
In displaying a virtual wall using a passive haptic device equipped with passive ac- tuators such as electric brakes, unsmooth… 
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)