1287 search results - page 162 / 258 » Reduction of Timed Hybrid Systems |
ASPLOS
2010
ACM
14 years 4 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
—Video-on-Demand (VoD) services have attracted a lot of attentions in recent years. Measurement studies show that VCR (Video Cassette Recorder) operations, such as pause, rewind,...
ICS
2007
Tsinghua U.
14 years 4 months ago
2007
Tsinghua U.
Increased complexity of memory systems to ameliorate the gap between the speed of processors and memory has made it increasingly harder for compilers to optimize an arbitrary code...
TON
2010
13 years 8 months ago
2010
Abstract—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 t...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...