18155 search results - page 3388 / 3631 » Point |
130
click to vote
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
161
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
139
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
123
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
156
click to vote
ICDCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...