1471 search results - page 48 / 295 » Composing concurrency control |
HIS
2003
14 years 11 months ago
2003
Abstract. This paper proposes the fitness control procedure for the application of genetic algorithms (GA) in pattern recognition. Instead of using GA to solve a concomitant optim...
PPOPP
1990
ACM
15 years 1 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
CONCURRENCY
2010
14 years 9 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
Deliberate injection of faults into cryptographic devices is an effective cryptanalysis technique against symmetric and asymmetric encryption. We will describe a general concurren...
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...