1837 search results - page 73 / 368 » Abstraction and the C Machine Model |
ASPDAC
2000
ACM
15 years 4 months ago
2000
ACM
A new approach is proposed to translate existing software programs from one instruction set to other instruction sets at the level. The behaviors of instructions are abstractly re...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
104
click to vote
JUCS
2002
14 years 11 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
ECML
2004
Springer
15 years 5 months ago
2004
Springer
HEXQ is a reinforcement learning algorithm that discovers hierarchical structure automatically. The generated task hierarchy repthe problem at different levels of abstraction. In ...
ICALT
2008
IEEE
15 years 6 months ago
2008
IEEE
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...