Sciweavers

5423 search results - page 254 / 1085
» Denial-of-service in automation systems
Sort
View
CAIP
2007
Springer
176views Image Analysis» more  CAIP 2007»
16 years 27 days ago
A Modular Approach for Automating Video Analysis
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
Gayathri Nadarajan, Arnaud Renouf
ACSD
2005
IEEE
169views Hardware» more  ACSD 2005»
16 years 10 days ago
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 work, syst...
Jordi Cortadella, Kyller Costa Gorgônio, Fei...
ICMCS
2005
IEEE
112views Multimedia» more  ICMCS 2005»
16 years 9 days ago
Hybrid speaker tracking in an automated lecture room
We present a hybrid speaker tracking scheme based on a single pan/tilt/zoom (PTZ) camera in an automated lecture capturing system. Given that the camera’s video resolution is hi...
Cha Zhang, Yong Rui, Li-wei He, Michael N. Wallick
IPPS
2005
IEEE
16 years 9 days ago
Automated Analysis of Memory Access Behavior
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
Michael Gerndt, Tianchao Li
CAV
2005
Springer
99views Hardware» more  CAV 2005»
16 years 7 days ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...