851 search results - page 26 / 171 » A Framework of Syntactic Models for the Implementation of Vi... |
ENTCS
2002
13 years 8 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
ENTCS
2006
13 years 8 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
FDL
2007
IEEE
14 years 21 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
GI
2010
Springer
13 years 6 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
IWINAC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The brain representations of words and their referent actions and objects appear to be strongly coupled neuronal assemblies distributed over several cortical areas. In th...