21324 search results - page 3942 / 4265 » Making the case for computing |
261
click to vote
HPDC
2012
IEEE
13 years 6 months ago
2012
IEEE
Recent advances in virtualization technologies have made it feasible to host multiple virtual machines (VMs) in the same physical host and even the same CPU core, with fair share ...
112
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
124
Voted
STACS
2007
Springer
15 years 10 months ago
2007
Springer
We consider commutative string rewriting systems (Vector Addition Systems, Petri nets), i.e., string rewriting systems in which all pairs of letters commute. We are interested in r...
165
click to vote
COMPGEOM
2007
ACM
15 years 5 months ago
2007
ACM
Computing shadow boundaries is a difficult problem in the case of non-point light sources. A point is in the umbra if it does not see any part of any light source; it is in full l...
161
Voted
Presentation
Transit services are currently facing several challenges in the United States and around the
world. For many reasons, among which the fluctuations in gas prices and the state of t...