2173 search results - page 83 / 435 » An operational semantics for skeletons |
ENTCS
2006
13 years 9 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
FAC
2002
13 years 8 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
CONCUR
2006
Springer
14 years 19 days ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
GRAPHICSINTERFACE
2008
13 years 10 months ago
2008
Today's large and high-resolution displays coupled with powerful graphics hardware offer the potential for highly realistic 3D virtual environments, but also cause increased ...