1370 search results - page 22 / 274 » On the Consistent Observation of Active Systems |
IEEEPACT
2003
IEEE
15 years 5 months ago
2003
IEEE
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...
82
Voted
HPCA
2009
IEEE
16 years 8 days ago
2009
IEEE
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...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
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...
KES
2006
Springer
14 years 11 months ago
2006
Springer
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...
ISER
2000
Springer
15 years 3 months ago
2000
Springer
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...