5404 search results - page 235 / 1081 » Global Computing for Bioinformatics |
SC
2004
ACM
15 years 10 months ago
2004
ACM
GYRO solves the 5-dimensional gyrokinetic-Maxwell equations in shaped plasma geometry, using either a local (fluxtube) or global radial domain. It has been ported to a variety of...
127
click to vote
SEFM
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
131
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
A stochastic global optimization approach is presented for transistor sizing in CMOS VLSI circuits. This is a direct search strategy for the best design among feasible ones, with ...
121
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...
123
click to vote
RT
2000
Springer
15 years 8 months ago
2000
Springer
We present a novel technique for ray tracing geometry represented by points. Our approach makes it possible to render high quality ray traced images with global illumination using ...