42738 search results - page 30 / 8548 » Search Computing Systems |
90
Voted
PPAM
2001
Springer
15 years 6 months ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...
117
click to vote
CCR
2006
15 years 2 months ago
2006
Abstract-- The need for efficient computation of approximate global state lies at the heart of a wide range of problems in distributed systems. Examples include routing in the Inte...
95
Voted
ARC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...
122
click to vote
WISE
2009
Springer
15 years 11 months ago
2009
Springer
We present a system description for an archival information system with three different approaches to gain online access to digital archives created in the metadata standard Encod...