4476 search results - page 157 / 896 » A flexible framework for engineering |
142
click to vote
ENTCS
2008
15 years 6 months ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
162
click to vote
CCECE
2006
IEEE
16 years 20 days ago
2006
IEEE
The wavelet transform is a very popular tool in engineering for signal analysis. With respect to image compression, the new JPEG 2000 image standard incorporates wavelet transform...
146
click to vote
CSUR
2000
15 years 6 months ago
2000
ks are quite di cult to understand when one rst uses them: the design is very abstract, to factor out commonality the design is incomplete, requiring additional subclasses to creat...
141
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
147
click to vote
CODES
1994
IEEE
15 years 10 months ago
1994
IEEE
We present a prototyping environment with special benefit for hardware/software codesign which we use as target architecture in the COBRA project1 . This architecture is very flex...