1965 search results - page 43 / 393 » On the analysis of interacting pushdown systems |
AGP
1995
IEEE
14 years 8 days ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
SCP
1998
13 years 8 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
CGVR
2006
13 years 10 months ago
2006
Conflict problem is one of the major issues in Collaborative CAD systems. Based on a flexible multi-user interaction framework for replicated Collaborative Solid Modeling (CSM) sys...
WICSA
2008
13 years 10 months ago
2008
Architecture patterns are an important tool in architectural design. However, while many architecture patterns have been identified, there is little in-depth understanding of thei...