1895 search results - page 182 / 379 » Using ATL for Checking Models |
144
click to vote
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
184
click to vote
FDL
2006
IEEE
16 years 9 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
200
click to vote
ICIC
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Using the classical Parzen window (PW) estimate as the target function, the sparse kernel density estimator is constructed in a forward constrained regression manner. The...
190
click to vote
HICSS
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
193
click to vote
CCIA
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...