640 search results - page 106 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
131
click to vote
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
Most recent rendering research has concentrated on two subproblems: modeling the reflection of light from materials, and calculating the direct and indirect illumination from lig...
138
click to vote
LCN
2005
IEEE
15 years 7 months ago
2005
IEEE
— The problem of achieving fairness in the allocation of the bandwidth resource on a link shared by multiple flows of traffic has been extensively researched over the last deca...
CLUSTER
2005
IEEE
15 years 7 months ago
2005
IEEE
Cycle-harvesting systems such as Condor have been developed to make desktop machines in a local area (which are often similar to clusters in hardware configuration) available as ...
145
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
109
click to vote
SIGMETRICS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we investigate the suitability of embedding Internet hosts into a Euclidean space given their pairwise distances (as measured by round-trip time). Using the classic...