1837 search results - page 165 / 368 » Abstraction and the C Machine Model |
159
click to vote
IWANN
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper presents a comparison between direct and recursive prediction strategies. In order to perform the input selection, an approach based on mutual information is u...
179
click to vote
KES
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Human-computer interaction (HCI) has fundamentally changed computing. The ubiquity of HCI can be seen in several kinds of application areas, such as text editing, hyperte...
185
click to vote
VSTTE
2005
Springer
16 years 21 hour ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
184
click to vote
EUROGP
2006
Springer
15 years 10 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...
146
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...