11462 search results - page 462 / 2293 » Developing Application-Centric Methods |
214
click to vote
RTCSA
1998
IEEE
15 years 10 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
141
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Statistical reconstruction algorithms in transmission tomography yield improved images relative to the conventional FBP method. The most popular iterative algorithms for this prob...
192
click to vote
MKM
2009
Springer
16 years 29 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
147
click to vote
CSB
2005
IEEE
16 years 1 days ago
2005
IEEE
A major challenge for genomewide disease association studies is the high cost of genotyping large number of single nucleotide polymorphisms (SNP). The correlations between SNPs, h...
208
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this work, to render at least 5123 voxel volumes in real-time, we have developed a sort-last parallel volume rendering method for distributed memory multiprocessors. Our sort-l...