3018 search results - page 324 / 604 » Leveraging the |
189
click to vote
FATES
2003
Springer
16 years 26 min ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
177
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Grid computing provides a robust paradigm to aggregate disparate resources in a secure and controlled environment. Grid architectures require an underpinning Quality of Service (Qo...
194
Voted
GRID
2003
Springer
15 years 12 months ago
2003
Springer
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...
193
Voted
HIPC
2003
Springer
15 years 12 months ago
2003
Springer
1 Since I/O-intensive tasks running on a heterogeneous cluster need a highly effective usage of global I/O resources, previous CPUor memory-centric load balancing schemes suffer ...
183
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Memory traces record the addresses touched by a program during its execution, enabling many useful investigations for understanding and predicting program performance. But complete...