3181 search results - page 196 / 637 » Automated Deployment Support for Parallel Distributed Comput... |
139
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
123
Voted
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
103
click to vote
EUROPAR
2000
Springer
15 years 6 months ago
2000
Springer
Tertiary storage systems are used when secondary storage can not satisfy the data storage requirements and/or it is a more cost effective option. The new application domains requir...
127
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
100
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
In the past few years, MPSoC has become the most popular solution for embedded computing. However, the challenge of programming MPSoCs also comes as the biggest side-effect of the...