1669 search results - page 60 / 334 » Structured Specification of Model Interpreters |
110
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
136
click to vote
ER
2005
Springer
15 years 8 months ago
2005
Springer
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
114
click to vote
ISTA
2004
15 years 4 months ago
2004
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
119
click to vote
VLSID
2003
IEEE
16 years 3 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
122
Voted
TSP
2010
14 years 10 months ago
2010
The problem of learning tree-structured Gaussian graphical models from independent and identically distributed (i.i.d.) samples is considered. The influence of the tree structure a...