2303 search results - page 193 / 461 » The Cryptographic Abstract Machine |
164
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
129
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...
115
click to vote
EOR
2002
15 years 6 months ago
2002
Abstract. We present fully polynomial approximation schemes for the problem of minimizing completion time variance of a set of n jobs on a single machine. The fastest of these sche...
152
click to vote
ICIRA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Two algorithms for area coverage (for use in space applications) were evaluated using a simulator and then tested on a multi-robot society consisting of LEGO Mindstorms r...
208
click to vote
ISMM
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. In this paper we present a parallel algorithm for the topological watershed, suitable for a shared memory parallel architecture. On a 24-core machine an average speed-up ...