5599 search results - page 393 / 1120 » Abstract State Services |
195
click to vote
FAC
2000
15 years 6 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
198
click to vote
JSA
2008
15 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
199
Voted
PERVASIVE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. When smart objects participate in context-aware applications, changes in their real-world environment can have a significant impact on underlying networking structures. ...
151
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
This paper addresses the possibility that IP, in the role of the common service, is not as general as is needed in order to directly address application requirements, including sc...
158
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...