7167 search results - page 269 / 1434 » A Technique for Invariant Generation |
173
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...
196
click to vote
GMAI
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes a method allowing the automatic multi-texturing and simulation of surface imperfections based on a cellular network. In this representation, networks of conne...
169
click to vote
ASAP
2005
IEEE
16 years 1 months ago
2005
IEEE
The COMPAAN/LAURA [18] tool chain maps nested loop applications written in Matlab onto reconfigurable platforms, such as FPGAs. COMPAAN rewrites the original Matlab application a...
166
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
— This paper addresses the problem of estimating the parameters of the advection-diffusion equation, which describes the propagation of an instantaneously released gas. A team of...
201
click to vote
ITC
2003
IEEE
16 years 20 days ago
2003
IEEE
For ratio-Iddq testing, the test performance is significantly affected by the correlation between two currents of different input patterns as process parameters vary. In this p...