4615 search results - page 528 / 923 » Virtual Classes and Their Implementation |
162
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
In noncooperative networks, resources are shared among selfish users, which optimize their individual performance measure. We consider the generic and practically important case o...
177
click to vote
PADS
1996
ACM
15 years 11 months ago
1996
ACM
Advances in massively parallel platforms are increasing the prospects for high performance discrete event simulation. Still the di culty in parallel programming persists and there...
238
click to vote
MM
1994
ACM
15 years 11 months ago
1994
ACM
We have designed, built, and analyzed a distributed parallel storage system that will supply image streams fast enough to permit multi-user, "real-time", video-like appl...
203
click to vote
SAS
1994
Springer
15 years 11 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
169
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...