3373 search results - page 480 / 675 » Linear transformations on codes |
138
Voted
MEMOCODE
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
133
Voted
IPCCC
2007
IEEE
15 years 9 months ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
126
click to vote
SIES
2007
IEEE
15 years 9 months ago
2007
IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
147
Voted
BTW
2007
Springer
15 years 9 months ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
126
click to vote
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...