4000 search results - page 149 / 800 » Simulation down under |
114
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
142
Voted
MMS
2008
15 years 3 months ago
2008
Due to the increasing deployment of conversational real-time applications like VoIP and videoconferencing, the Internet is today facing new challenges. Low end-to-end delay is a vi...
145
Voted
JCNS
1998
15 years 3 months ago
1998
An analytical approach is presented for determining the response of a neuron or of the activity in a network of connected neurons, represented by systems of nonlinear ordinary stoc...
136
Voted
VIS
2006
IEEE
16 years 4 months ago
2006
IEEE
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...
162
Voted
SC
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a parallel visualization pipeline implemented at the Pittsburgh Supercomputing Center (PSC) for studying the largest earthquake simulation ever performed. The ...