1003 search results - page 136 / 201 » How to Parallelize Sequential Processes |
BIOADIT
2004
Springer
15 years 5 months ago
2004
Springer
We present a detailed account of the processing that occurs within a biologically-inspired model for visual homing. The Corner Gradient Snapshot Model (CGSM) initially presented in...
118
click to vote
CSFW
1995
IEEE
15 years 5 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
104
click to vote
EDOC
2007
IEEE
15 years 7 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
131
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
158
click to vote
CONCURRENCY
2000
15 years 1 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...