7508 search results - page 30 / 1502 » A new approach for distributed computing in avionics systems |
AI
2000
Springer
13 years 7 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
ICDE
1994
IEEE
13 years 11 months ago
1994
IEEE
We describe the design of Mariposa, an experimental distributed data management system that provides high performance in an environment of high data mobility and heterogeneous hos...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...