687 search results - page 91 / 138 » Specification and Verification of Model Transformations Usin... |
DPHOTO
2010
13 years 10 months ago
2010
Conventional point spread function (PSF) measurement methods often use parametric models for the estimation of the PSF. This limits the shape of the PSF to a specific form provide...
PADL
2000
Springer
14 years 15 days ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
ECEASST
2008
13 years 9 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
For present-day micro-electronic designs, it is becoming ever more important to accurately model substrate coupling effects. Basically, either a Finite Element Method (FEM) or a B...