2098 search results - page 160 / 420 » The Persistent Abstract Machine |
165
click to vote
MCU
2001
15 years 7 months ago
2001
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...
162
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...
128
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...
114
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...
151
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...