4897 search results - page 335 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
175
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
A tool that automates the floating-point to fixed-point conversion (FFC) process for digital signal processing systems is described. The tool automatically optimizes fixed-point d...
171
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
174
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
183
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
160
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...