645 search results - page 33 / 129 » concurrency 2007 |
144
click to vote
NCA
2007
IEEE
16 years 13 days ago
2007
IEEE
Exponentially growing bandwidth requirements and slowing gains in processor speeds have led to the popularity of multiprocessor architectures. Network stack parallelism is increas...
151
click to vote
SEFM
2007
IEEE
16 years 13 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
139
click to vote
FSTTCS
2007
Springer
16 years 10 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
167
click to vote
ICLP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
167
click to vote
SSD
2007
Springer
16 years 8 days ago
2007
Springer
The ability to continuously monitor the positions of mobile objects is important in many applications. While most past work has been set in Euclidean spaces, the mobile objects rel...