7508 search results - page 131 / 1502 » A new approach for distributed computing in avionics systems |
184
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
168
click to vote
ICPP
1995
IEEE
15 years 10 months ago
1995
IEEE
– In this paper we present a new approach to benchmark the performance of shared memory systems. This approach focuses on recognizing how far off the performance of a given memor...
157
click to vote
PPAM
2007
Springer
16 years 15 days ago
2007
Springer
Dense linear algebra codes are often expressed and coded in terms of BLAS calls. This approach, however, achieves suboptimal performance due to the overheads associated to such cal...
179
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
171
click to vote
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
For a wireless network to effectively deliver services to the mobile users, it must have an efficient way to track them. The location management fulfills this task through locat...