1163 search results - page 107 / 233 » Concurrent Subspaces Analysis |
103
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
139
Voted
VISSYM
2007
15 years 6 months ago
2007
We present smooth formulations of common vortex detectors that allow a seamless integration into the concept of interactive visual analysis of flow simulation data. We express the...
117
Voted
FMOODS
2007
15 years 5 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
139
Voted
CMMR
2005
Springer
15 years 5 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
115
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...