6881 search results - page 307 / 1377 » Motivation |
159
click to vote
APLAS
2006
ACM
16 years 22 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
169
click to vote
CF
2006
ACM
16 years 22 days ago
2006
ACM
Regular distributions for storing dense matrices on parallel systems are not always used in practice. In many scientific applicati RUMMA) [1] to handle irregularly distributed mat...
167
click to vote
CONEXT
2006
ACM
16 years 21 days ago
2006
ACM
In this paper, we examine the feasibility of sending real-time CBR workloads over TCP. This is motivated by the friendliness of NATs and firewalls towards TCP as opposed to UDP a...
168
click to vote
NETGAMES
2006
ACM
16 years 21 days ago
2006
ACM
— A practical pricing mechanism is the foundation for the deploying of IP multicast in the inter-domain Internet. The IP multicast service model and its pricing mechanism are dis...
180
click to vote
STOC
2006
ACM
16 years 21 days ago
2006
ACM
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...