1833 search results - page 287 / 367 » Mechanized Verification with Sharing |
143
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we propose to use a simple packet servicing algorithm suitable for servicing bursty real-time multimedia traffic streams in packet-switched networks. These real-tim...
166
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
Ad hoc networks are characterized by multihop wireless connectivity, frequently changing network topology and the need for efficient dynamic routing protocols. We compare the perf...
120
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Recently, the diversified types of companies have been trying to cooperate among them to cope with the dynamic market and thus integration of their DBs with heterogeneous requirem...
135
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Networks of workstations are fast becoming the standard environment for parallel applications. However, the use of “found” resources as a platform for tightly-coupled runtime ...
131
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Tuning parallel applications requires the use of effective tools for detecting performance bottlenecks. Along a parallel program execution, many individual situations of performan...