5149 search results - page 304 / 1030 » Timed Asynchronous Distributed Systems |
244
Voted
ICDCS
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
119
click to vote
SAS
2001
Springer
15 years 8 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
130
click to vote
NIPS
2001
15 years 5 months ago
2001
We describe a programmable multi-chip VLSI neuronal system that can be used for exploring spike-based information processing models. The system consists of a silicon retina, a PIC...
160
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
In this study, we consider an environment composed of a heterogeneous cluster of multicore-based machines used to analyze satellite images. The workload involves large data sets, a...
112
click to vote
JSSPP
1995
Springer
15 years 7 months ago
1995
Springer
In this paper, we describe a new job scheduling class, called \Time Space Sharing Scheduling" (TSSS) for dynamically partitionable parallel machines. As an instance of TSSS, ...