2470 search results - page 263 / 494 » Liveness-Preserving Simulation Relations |
163
click to vote
DSN
2007
IEEE
16 years 12 days ago
2007
IEEE
New versions of existing large-scale web services such as Passport.com© have to go through rigorous performance evaluations in order to ensure a high degree of availability. Perf...
200
click to vote
FDL
2007
IEEE
16 years 12 days ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
209
click to vote
ICMB
2007
IEEE
16 years 11 days ago
2007
IEEE
Delivering “relevant” advertisements to consumers carrying mobile devices is regarded by many as one of the most promising mobile business opportunities. The relevance of a mo...
166
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...
152
click to vote
HIPC
2005
Springer
15 years 11 months ago
2005
Springer
We recently proposed a new approach to parallelization, by decomposing the time domain, instead of the conventional space domain. This improves latency tolerance, and we demonstrat...