6907 search results - page 872 / 1382 » Securing distributed adaptation |
119
click to vote
ICMCS
2000
IEEE
15 years 8 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...
137
click to vote
ICPPW
2000
IEEE
15 years 8 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...
121
click to vote
HPCA
1999
IEEE
15 years 8 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...
137
click to vote
ICPPW
1999
IEEE
15 years 8 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 ...
136
click to vote
ARTS
1999
Springer
15 years 8 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...