1492 search results - page 176 / 299 » Concurrent programming in VISO |
85
Voted
CADE
2008
Springer
16 years 29 days ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
92
Voted
UM
2007
Springer
15 years 6 months ago
2007
Springer
We present results from a field study investigating the influence of conversations on the multitasking behavior of computer users. We report on several findings, including the timi...
134
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
106
Voted
WOTUG
2008
15 years 2 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
97
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...