Sciweavers

4451 search results - page 265 / 891
» Performance Modeling for Entity-Level Simulations
Sort
View
IPPS
2006
IEEE
15 years 10 months ago
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
Peter Csaba Ölveczky, Stian Thorvaldsen
130
Voted
WSC
2001
15 years 5 months ago
Stochastic modeling of airlift operations
Large-scale military deployments require transporting equipment and personnel over long distances in a short time. Planning an efficient airlift system is complicated and several ...
Julien Granger, Ananth Krishnamurthy, Stephen M. R...
166
Voted
QEST
2009
IEEE
15 years 10 months ago
Recent Extensions to Traviando
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
Peter Kemper
183
Voted
SIGOPS
2010
179views more  SIGOPS 2010»
14 years 10 months ago
Online cache modeling for commodity multicore processors
Modern chip-level multiprocessors (CMPs) contain multiple processor cores sharing a common last-level cache, memory interconnects, and other hardware resources. Workloads running ...
Richard West, Puneet Zaroo, Carl A. Waldspurger, X...
156
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Destination-aware target tracking via syntactic signal processing
We consider the prediction of a target’s destination and simultaneously recover its filtered trajectory. Two novel models for trajectories with known destinations are presented...
Mustafa Fanaswala, Vikram Krishnamurthy, Langford ...