7393 search results - page 1210 / 1479 » Synthesis-for-testability using transformations |
153
click to vote
IPPS
2006
IEEE
2006
IEEE
Parallel morphological processing of hyperspectral image data on heterogeneous networks of computers
15 years 10 months ago
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. The development of efficient techniques ...
128
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...
158
Voted
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
122
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
The design of Web applications traditionally relies heavily on the navigation design. The Web as it evolves now brings additional design concerns, such as omni-presence, device-dep...
153
Voted
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...