4866 search results - page 211 / 974 » UML for Global Computing |
110
click to vote
JSSPP
2005
Springer
15 years 10 months ago
2005
Springer
With Grids, we are able to share computing resources and to provide for scientific communities a global transparent access to local facilities. In such an environment the problems...
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...