Sciweavers

1370 search results - page 22 / 274
» On the Consistent Observation of Active Systems
Sort
View
IEEEPACT
2003
IEEE
15 years 11 months ago
Constraint Graph Analysis of Multithreaded Programs
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
Harold W. Cain, Mikko H. Lipasti, Ravi Nair
HPCA
2009
IEEE
16 years 7 months ago
Fast complete memory consistency verification
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua ...
CDC
2009
IEEE
145views Control Systems» more  CDC 2009»
15 years 11 months ago
Consensus of multi-agent systems with an active leader and asymmetric adjacency matrix
Abstract— Multi-agent systems (MAS) have received an increasing attention over the past few years. Here an MAS is a system consisted of multiple interacting intelligent agents. T...
Wanli Guo, Shihua Chen, Jinhu Lu, Xinghuo Yu
KES
2006
Springer
15 years 6 months ago
On-Screen Note Pad for Creative Activities
We propose a system that enables users to write memos directly on a computer screen by hand. The system helps users save the screen images along with a user's handwritten stro...
Norikazu Iwamura, Kazuo Misue, Jiro Tanaka
ISER
2000
Springer
109views Robotics» more  ISER 2000»
15 years 10 months ago
Advancing Active Vision Systems by Improved Design and Control
Abstract: This paper presents the mechanical hardware and control software of a novel high-performance active vision system. It is the latest in an ongoing research effort to devel...
Orson Sutherland, Harley Truong, Sebastien Rougeau...