34181 search results - page 306 / 6837 » The Computer System GRAPHOGRAPH |
121
click to vote
NCA
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes GRIDTS, a grid infrastructure in which the resources select the tasks they execute, on the contrary to traditional infrastructures where schedulers find resou...
109
click to vote
CIE
2007
Springer
15 years 9 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
128
click to vote
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
106
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
– Biped walking is one of the most graceful movements observed in humans. Today’s humanoid robots, despite their undeniably impressive performance, are still a long way from th...
100
Voted
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
— Fast Fourier transform (FFT) algorithms are used in a wide variety of digital signal processing applications and many of these require high-performance parallel implementations...