4434 search results - page 533 / 887 » On the Composition of Hybrid Systems |
181
click to vote
IRI
2003
IEEE
16 years 3 days ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
151
click to vote
ICCSA
2003
Springer
16 years 1 days ago
2003
Springer
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...
188
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
185
click to vote
DAGSTUHL
2003
15 years 8 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...
145
Voted
USENIX
2001
15 years 8 months ago
2001
The 2000 Usenix Technical Conference included a presentation outlining the state of the X rendering environment and the capabilities necessary to bring X into the modern world. Du...