Sciweavers

2303 search results - page 242 / 461
» Interior-Point Methods in Parallel Computation
Sort
View
CW
2006
IEEE
15 years 7 months ago
Collaborative Mixed Reality Exposure Therapy
In addition to established methods, the treatment of mental disorders using Virtual Reality Exposure Therapy is becoming commonplace. We present an approach, which extends this co...
Holger Regenbrecht, Daniel Wickeroth, Brian Dixon,...
117
Voted
EUROPAR
2006
Springer
15 years 7 months ago
A Practical Approach of Diffusion Load Balancing Algorithms
In this paper, a practical approach of diffusion load balancing algorithms and its implementation are studied. Three problems are investigated. The first one is the determination ...
Emmanuel Jeannot, Flavien Vernier
GCC
2006
Springer
15 years 7 months ago
GPFlow: An Intuitive Environment for Web Based Scientific Workflow
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
Asbjørn Rygg, Paul Roe, On Wong
140
Voted
CONCUR
2000
Springer
15 years 7 months ago
Model Checking with Finite Complete Prefixes Is PSPACE-Complete
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
Keijo Heljanko
STACS
1995
Springer
15 years 7 months ago
Optimal Average Case Sorting on Arrays
Abstract. We present algorithms for sorting and routing on two-dimensional mesh-connected parallel architectures that are optimal on average. If one processor has many packets then...
Manfred Kunde, Rolf Niedermeier, Klaus Reinhardt, ...