21430 search results - page 426 / 4286 » Abstract Effective Models |
197
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
190
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
174
click to vote
ENTCS
2008
15 years 6 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
148
click to vote
MEMOCODE
2005
IEEE
16 years 11 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
194
Voted
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
This paper describes the development of a rule-based computational model that describes how a feature-based representation of shared visual information combines with linguistic cu...