42738 search results - page 30 / 8548 » Search Computing Systems |
PPAM
2001
Springer
15 years 2 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 ...
INFORMS
2007
14 years 10 months ago
2007
CCR
2006
14 years 10 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...
ARC
2007
Springer
15 years 2 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...
WISE
2009
Springer
15 years 7 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...