3255 search results - page 118 / 651 » Combination of Abstractions in the ASTR |
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In modern parallel and distributed systems, the time for exchanging data is usually larger than that for computing elementary operations. Consequently, these communicatio...
IESS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Embedded systems are increasing in complexity, while several metrics such as time-to-market, reliability, safety and performance should be considered during the design of...
RR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed searc...
CC
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
NOMS
2000
IEEE
14 years 2 months ago
2000
IEEE
Telephone Switches are characteristically long-lived, evolving systems. We describe how a legacy two-tier system for telephone switch management was reengineered as a three-tier w...