6907 search results - page 872 / 1382 » Securing distributed adaptation |
170
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present a detailed review on the Trader’s Quality of Service (QoS) Specifications and the Effects on System Performance for Video-on-Demand Multimedia (MM) Appl...
185
click to vote
ICPPW
2000
IEEE
15 years 11 months ago
2000
IEEE
Many pervasive computing software technologies are targeted for 32-bit desktop platforms. However, there are innumerable 8, 16, and 32-bit microcontroller and microprocessor-based...
169
click to vote
HPCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Previous simulators for shared-memory architectures have imposed a large tradeoff between simulation accuracy and speed. Most such simulators model simple processors that do not e...
197
click to vote
ICPPW
1999
IEEE
15 years 11 months ago
1999
IEEE
Using MPI to work with composed data-types, or datatypes using pointers, is not a built-in operation. AutoMap and AutoLink are two tools that provide those functionalities to the ...
205
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...