7520 search results - page 1384 / 1504 » Applications Development for the Computational Grid |
186
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
206
click to vote
IBPRIA
2007
Springer
16 years 1 months ago
2007
Springer
Detection of speckle in ultrasound (US) images has been regarded as an important research topic in US imaging, mainly focusing on two specific applications: improving signal to no...
191
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
188
click to vote
CIKM
2005
Springer
16 years 11 days ago
2005
Springer
With this work we aim to make a three-fold contribution. We first address the issue of supporting efficiently queries over string-attributes involving prefix, suffix, containmen...
222
click to vote
PLDI
2004
ACM
16 years 8 days ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...