34181 search results - page 302 / 6837 » Computer system |
177
click to vote
AMC
2005
15 years 7 months ago
2005
This paper presents a new symbolic algorithm to compute the singular initial value problem of second-order ordinary differential equations using Adomian decomposition method. The ...
188
click to vote
BILDMED
1998
15 years 8 months ago
1998
We present a system for computer aided diagnosis of bone tumors in the facial skeleton. There are many di erent lesions with radiographic manifestation in the jaws. Our system help...
212
click to vote
GG
2010
Springer
15 years 8 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
257
click to vote
HPDC
2012
IEEE
13 years 10 months ago
2012
IEEE
Hadoop has become a critical component in today’s cloud environment. Ensuring good performance for Hadoop is paramount for the wide-range of applications built on top of it. In ...
218
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
In recent years, we have witnessed a growing interest in high performance computing (HPC) using a cluster of workstations. However, many challenges remain to be resolved before th...