4586 search results - page 737 / 918 » Computing stable models in parallel |
114
Voted
ICS
2003
Tsinghua U.
15 years 8 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
145
Voted
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
118
Voted
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
162
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
140
Voted
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...