Sciweavers

2689 search results - page 176 / 538
» ParalleX: A Study of A New Parallel Computation Model
Sort
View
VISUALIZATION
2002
IEEE
15 years 11 months ago
Case Study: Visualizing Ocean Flow Vertical Motions using Lagrangian-Eulerian Time Surfaces
Ocean model simulations commonly assume the ocean is hydrostatic, resulting in near zero vertical motion. The vertical motion found is typically associated with the variations of ...
Josh Grant, Gordon Erlebacher, James F. O'Brien
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 11 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
SC
2003
ACM
15 years 12 months ago
Fast Parallel Non-Contiguous File Access
Many applications of parallel I/O perform non-contiguous file accesses: instead of accessing a single (large) block of data in a file, a number of (smaller) blocks of data scatt...
Joachim Worringen, Jesper Larsson Träff, Hube...
ATAL
2006
Springer
15 years 10 months ago
Learnable behavioural model for autonomous virtual agents: low-level learning
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...
Toni Conde, Daniel Thalmann
PPSN
1992
Springer
15 years 10 months ago
Hyperplane Annealing and Activator-Inhibitor-Systems
This paper introduces a new optimization technique called hyperplane annealing. It is similar to the mean field annealing approach to combinatorial optimization. Both annealing te...
Thomas Laußermair