1491 search results - page 203 / 299 » Resource-Passing Concurrent Programming |
UM
2007
Springer
15 years 4 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...
110
click to vote
IPPS
2003
IEEE
15 years 3 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...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
185
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
166
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...