1491 search results - page 70 / 299 » Resource-Passing Concurrent Programming |
128
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
130
click to vote
CP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
103
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...