1415 search results - page 36 / 283 » Verified systems by composition from verified components |
CDC
2009
IEEE
14 years 13 days ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
JSS
2006
13 years 7 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
COMPUTER
1999
13 years 7 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...