Sciweavers

43264 search results - page 8279 / 8653
» Comparing models of computation
Sort
View
CGF
2008
125views more  CGF 2008»
15 years 3 months ago
Interactive Visualization for Memory Reference Traces
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
A. N. M. Imroz Choudhury, Kristin C. Potter, Steve...
98
Voted
COR
2010
164views more  COR 2010»
15 years 3 months ago
The distributed permutation flowshop scheduling problem
This paper studies a new generalization of the regular permutation flowshop scheduling problem (PFSP) referred to as the distributed permutation flowshop scheduling problem or DPF...
B. Naderi, Rubén Ruiz
148
Voted
CGF
2008
124views more  CGF 2008»
15 years 3 months ago
Real-time Animation of Sand-Water Interaction
Recent advances in physically-based simulations have made it possible to generate realistic animations. However, in the case of solid-fluid coupling, wetting effects have rarely b...
Witawat Rungjiratananon, Zoltan Szego, Yoshihiro K...
117
Voted
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 3 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
CORR
2010
Springer
154views Education» more  CORR 2010»
15 years 3 months ago
Causal Markov condition for submodular information measures
The causal Markov condition (CMC) is a postulate that links observations to causality. It describes the conditional independences among the observations that are entailed by a cau...
Bastian Steudel, Dominik Janzing, Bernhard Sch&oum...
« Prev « First page 8279 / 8653 Last » Next »