154 search results - page 4 / 31 » A Lightweight Algorithm for Dynamic If-Conversion during Dyn... |
BCS
2008
13 years 7 months ago
2008
We propose a defi nition of Cellular Automaton in which links between cells can change during the computation. This is done locally by each cell, which can reach the neighbours of...
ECOOP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
ASC
2004
13 years 5 months ago
2004
This paper proposes the applications of soft computing to deal with the constraints in conventional modelling techniques of the dynamic extrusion process. The proposed technique i...
KBSE
2007
IEEE
14 years 2 days ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
ICRA
2002
IEEE
13 years 10 months ago
2002
IEEE
Task reallocation in a multi-robot organization is a process that distributes a decomposed global task to individual robots. This process must be distributed and dynamic because i...