Sciweavers

42738 search results - page 451 / 8548
» Search Computing Systems
Sort
View
157
Voted
DATE
2000
IEEE
116views Hardware» more  DATE 2000»
15 years 9 months ago
An Object Oriented Design Method for Reconfigurable Computing Systems
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...
Martyn Edwards, Peter Green
DAGSTUHL
2008
15 years 6 months ago
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio...
133
Voted
IJCAI
2007
15 years 6 months ago
Robust Human-Computer Interaction System Guiding a User by Providing Feedback
We introduce a human-computer interaction system which collaborates with a user by providing feedback during user activities. The goal of the system is to help a user complete a h...
Michael S. Ryoo, Jake K. Aggarwal
ATAL
2011
Springer
14 years 5 months ago
Decomposing constraint systems: equivalences and computational properties
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...
IPPS
2008
IEEE
15 years 11 months ago
Decentralized market-based resource allocation in a heterogeneous computing system
We present a decentralized market-based approach to resource allocation in a heterogeneous overlay network. The presented resource allocation strategy assigns overlay network reso...
Jay Smith, Edwin K. P. Chong, Anthony A. Maciejews...