287 search results - page 7 / 58 » Introducing parallelism and concurrency in the data structur... |
CONCUR
2004
Springer
14 years 23 days 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
14 years 19 days 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...
SAC
2000
ACM
13 years 11 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 ...
LADS
2007
Springer
14 years 1 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...
MICCAI
2008
Springer
14 years 8 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...