12333 search results - page 2026 / 2467 » System Level Modelling for Hardware Software Systems |
168
click to vote
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
178
click to vote
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
164
click to vote
ENTCS
2010
15 years 6 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
185
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
177
click to vote
GLVLSI
2002
IEEE
15 years 11 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...