2810 search results - page 313 / 562 » Contract-Based Component System Design |
122
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
131
click to vote
AR
2006
15 years 3 months ago
2006
A system that enables continuous slip compensation for a Mars rover has been designed, implemented, and field-tested. This system is composed of several components that allow the ...
118
click to vote
VLSID
2008
IEEE
16 years 3 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
135
click to vote
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
120
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...