1837 search results - page 32 / 368 » Abstraction and the C Machine Model |
102
click to vote
JLP
2002
15 years 1 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
109
click to vote
TNN
2008
15 years 1 months ago
2008
Abstract--In this paper, we propose a novel large margin classifier, called the maxi
118
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
184
click to vote
NADA
1998
Springer
15 years 6 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
111
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...