1024 search results - page 23 / 205 » Compositional Methods for Probabilistic Systems |
119
click to vote
ACSD
2004
IEEE
15 years 5 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
107
click to vote
CCS
2000
ACM
15 years 5 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
The management of complexity in large systems is traditionally focused on the modeling and management of classes and hierarchies of classes. In order to improve the compositional ...
108
click to vote
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...