Sciweavers

8719 search results - page 418 / 1744
» Visualization of Distributed Processes Using
Sort
View
164
Voted
CARTOGRAPHICA
2010
109views more  CARTOGRAPHICA 2010»
15 years 4 months ago
Automated Reduction of Visual Complexity in Small-Scale Relief Shading
Shaded relief derived automatically from digital elevation models differs distinctly from traditional manual shading. Particularly at small scales, many small topographic details ...
Anna M. Leonowicz, Bernhard Jenny, Lorenz Hurni
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 11 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
172
Voted
JSA
1998
72views more  JSA 1998»
15 years 6 months ago
Network conscious design of distributed real-time systems
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...
Jung Woo Park, Young Shin Kim, Seongsoo Hong, Mana...
NGC
2010
Springer
183views Communications» more  NGC 2010»
15 years 1 months ago
Brain-like Computing Based on Distributed Representations and Neurodynamics
A key to overcoming the limitations of classical artificial intelligence and to deal well with enormous amounts of information might be brain-like computing in which distributed re...
Ken Yamane, Masahiko Morita
181
Voted
CHIMIT
2009
ACM
16 years 1 months ago
Network stack diagnosis and visualization tool
End users are often frustrated by unexpected problems while using networked software, leading to frustrated calls to the help desk seeking solutions. However, trying to locate the...
Krist Wongsuphasawat, Pornpat Artornsombudh, Bao N...