6608 search results - page 1174 / 1322 » On the Completeness of Model Checking |
128
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
MppSoC is a SIMD architecture composed of a grid of processors and memories connected by a X-Net neighbourhood network and a general purpose global router. MppSoC is an evolution ...
137
click to vote
EMNETS
2007
15 years 8 months ago
2007
A realtime posture tracking system has been developed using a network of compact wireless sensor devices worn by the user. Each device is a complete inertial/magnetic tracking uni...
124
click to vote
CANDT
2009
15 years 8 months ago
2009
The role of material artefacts in supporting distributed and colocated work practices has been well acknowledged within HCI and CSCW research. In this paper, we show that in addit...
132
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
125
click to vote
HIPEAC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...