2756 search results - page 281 / 552 » Computation-Centric Memory Models |
140
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
143
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
155
Voted
EMMCVPR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this work, we introduce a robust energy model for multiview 3D reconstruction that fuses silhouette- and stereo-based image information. It allows to cope with signi...
137
click to vote
WDAG
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Distributed computing must adapt its techniques to networks of mobile agents. Indeed, we are facing new problems like the small size of memory and the lack of computation...
126
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...