Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Design principles for safety in human-robot interaction
The interaction of humans and robots has the potential to set new grounds in industrial
applications as well as in service robotics because it combines the strengths of humans …
applications as well as in service robotics because it combines the strengths of humans …
Analyzing empathetic interactions based on the probabilistic modeling of the co-occurrence patterns of facial expressions in group meetings
This paper presents a novel research framework for the estimation of emotional interactions
produced between meeting participants. The types of emotional interaction targeted in this …
produced between meeting participants. The types of emotional interaction targeted in this …
The formal classification and verification of Simpson's 4-slot asynchronous communication mechanism
N Henderson, SE Paynter - FME 2002: Formal Methods—Getting IT Right …, 2002 - Springer
This paper critiques and extends Lamport's taxonomy of asynchronous registers,[8],[9]. This
extended taxonomy is used to characterise Simpson's 4-slot asynchronous communication …
extended taxonomy is used to characterise Simpson's 4-slot asynchronous communication …
Towards an integrated model checker for railway signalling data
M Huber, S King - FME 2002: Formal Methods—Getting IT Right …, 2002 - Springer
Abstract Geographic Data for Solid State Interlocking (SSI) systems detail site-specific
behaviour of the railway interlocking. This report demonstrates how five vital safety …
behaviour of the railway interlocking. This report demonstrates how five vital safety …
Data communication in systems with heterogeneous timing
Asynchronous communication mechanisms permit the implementation of data interfaces
between heterogeneously timed entities at various hardware levels. A systematic approach …
between heterogeneously timed entities at various hardware levels. A systematic approach …
Register-communication between mutually asynchronous domains
J Kessels - … Symposium on Asynchronous Circuits and Systems, 2005 - ieeexplore.ieee.org
We present the design of several so-called communication registers, which are modules that
support non-blocking communication between two mutually asynchronous domains. For that …
support non-blocking communication between two mutually asynchronous domains. For that …
Asynchronous circuit synthesis via direct translation
D Shang, F **a, A Yakovlev - 2002 IEEE International …, 2002 - ieeexplore.ieee.org
In asynchronous circuit synthesis, the direct translation method, whereby circuits are derived
from Petri net (PN) specifications directly, has not evolved any automatic tools. This paper …
from Petri net (PN) specifications directly, has not evolved any automatic tools. This paper …
[PDF][PDF] A wait-free realtime system for optimal distribution of vision tasks on multicore architectures
T Müller, P Ziaie, A Knoll - Proceedings of the 5th International …, 2008 - mediatum.ub.tum.de
A WAIT-FREE REALTIME SYSTEM FOR OPTIMAL DISTRIBUTION OF VISION TASKS ON
MULTICORE ARCHITECTURES Page 1 A WAIT-FREE REALTIME SYSTEM FOR OPTIMAL …
MULTICORE ARCHITECTURES Page 1 A WAIT-FREE REALTIME SYSTEM FOR OPTIMAL …
Automating synthesis of asynchronous communication mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as
data connectors between independently timed processes in digital systems. In previous …
data connectors between independently timed processes in digital systems. In previous …
[PDF][PDF] The 'Asynchronous' Bibliography
AMG Peeters - Available for anony-mous ftp on Internet. Uniform …, 2004 - Citeseer
[20] AJ Acosta, R. Jiménez, A. Barriga, MJ Bellido, M. Valencia, and JL Huertas,“Design and
characterisation of a CMOS VLSI self-timed multiplier architecture based on a bit-level …
characterisation of a CMOS VLSI self-timed multiplier architecture based on a bit-level …