1678 search results - page 17 / 336 » An ASM Specification of C |
ISSS
2002
IEEE
14 years 12 days ago
2002
IEEE
In this paper, we present a new methodology for application specific multiprocessor system-on-chip design. This approach facilitates the integration of existing components with th...
FM
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
DSL
2009
13 years 5 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
FASE
2004
Springer
14 years 27 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
EUSFLAT
2009
13 years 5 months ago
2009
Herding is the process of bringing individuals (e.g. animals) together into a group. More specifically, we consider self