477 search results - page 86 / 96 » Concurrent Pattern Calculus |
KBSE
2003
IEEE
14 years 28 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
EDBT
2009
ACM
14 years 8 days ago
2009
ACM
In this study, we present experiences of parallelizing XPath queries using the Xalan XPath engine on shared-address space multi-core systems. For our evaluation, we consider a sce...
FGR
2000
IEEE
14 years 2 days ago
2000
IEEE
We present two methods using mixtures of linear subspaces for face detection in gray level images. One method uses a mixture of factor analyzers to concurrently perform clustering...
IPPS
2000
IEEE
14 years 1 days ago
2000
IEEE
Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variab...
ECOOP
2000
Springer
13 years 12 months ago
2000
Springer
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...