3387 search results - page 399 / 678 » Automating the Metamodeling Process |
231
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
158
click to vote
ICPR
2010
IEEE
16 years 7 days ago
2010
IEEE
We describe a system for generating coherent movies from a collection of unedited videos. The generation process is guided by one or more input keyframes, which determine the cont...
161
click to vote
DATE
2005
IEEE
16 years 7 days ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
157
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
169
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...