Sciweavers

3436 search results - page 566 / 688
» Software Tools for Performance Modeling of Parallel Programs
Sort
View
118
Voted
LCTRTS
2007
Springer
15 years 8 months ago
Generalizing parametric timing analysis
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
Joel Coffman, Christopher A. Healy, Frank Mueller,...
123
Voted
WSCG
2004
173views more  WSCG 2004»
15 years 3 months ago
Production Interface for WEB-deliverable Realistic Interactive 3D Facial Animation
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
Nicoletta Adamo-Villani, Amit Chourasia, Clark A. ...
HPDC
2010
IEEE
15 years 3 months ago
Multi-GPU volume rendering using MapReduce
In this paper we present a multi-GPU parallel volume rendering implemention built using the MapReduce programming model. We give implementation details of the library, including s...
Jeff A. Stuart, Cheng-Kai Chen, Kwan-Liu Ma, John ...
138
Voted
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 21 days ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
103
Voted
WSC
2007
15 years 4 months ago
The simulation power of automod
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
Todd LeBaron, Craig Jacobsen