1710 search results - page 118 / 342 » High-Level Programs and Program Conditions |
RAS
2007
13 years 7 months ago
2007
Developing real robots that can exploit dynamic interactions with the environment requires the use of actuators whose behaviour can vary from high stiffness to complete complianc...
SCP
2010
13 years 6 months ago
2010
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
DASIP
2010
13 years 3 months ago
2010
This paper describes the implementation of the MPEG AVC CABAC entropy decoder using the RVC-CAL dataflow programming language. CABAC is the Context based Adaptive Binary Arithmeti...
EUROGP
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...
APAQS
2001
IEEE
13 years 12 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...