287 search results - page 7 / 58 » Introducing parallelism and concurrency in the data structur... |
108
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Tracking and especially comparing psychotherapeutic processes is a complex task involving a large number of individual and complexly related parameters. Therefore, descriptive and...
128
click to vote
SAC
2000
ACM
15 years 5 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
107
click to vote
LADS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
125
click to vote
MICCAI
2008
Springer
16 years 2 months ago
2008
Springer
We present a method for discovering patterns of activation observed through fMRI in experiments with multiple stimuli/tasks. We introduce an explicit parameterization for the profi...