5384 search results - page 905 / 1077 » Open Standards Requirements |
172
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
Validating an end-entity X.509 digital certificate prior to authorizing it for using a resource into the computational Grid has become a widely studied topic due to its importance...
204
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a novel technique to exploit the power-performance tradeoff. The technique can be used stand-alone or in conjunction with dynamic voltage scaling, the mainstream techn...
178
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
221
click to vote
MICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
195
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a new algorithm for the visualisation of implicit algebraic curves, which isolates the singular points, compute the topological degree around these points in order to ...