2436 search results - page 247 / 488 » Comonadic Notions of Computation |
186
click to vote
FGCS
2006
15 years 6 months ago
2006
The hypre software library is being developed with the aim of providing scalable solvers for the solution of large, sparse linear systems on massively parallel computers. To this e...
166
click to vote
IJNSEC
2008
15 years 6 months ago
2008
For an identity-based authenticated key agreement (IDAK) protocol, PKG forward secrecy is the strongest notion of forward secrecy, which is about the security of previously establ...
174
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The aim of this paper is to characterize the uniqueness domains in the workspace of parallel manipulators, as well as their image in the joint space. The notion of aspect introduc...
188
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we consider the problem of devising a loop scheduler that allocates slots to users according to their relative weights as smoothly as possible. Instead of the exist...
161
click to vote
IJFCS
2007
15 years 6 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...