645 search results - page 15 / 129 » concurrency 2007 |
ENTCS
2007
13 years 10 months ago
2007
NN
2007
Springer
13 years 10 months ago
2007
Springer
SAS
2007
Springer
14 years 5 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
IJCSA
2007
13 years 10 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
DDECS
2007
IEEE
14 years 5 months ago
2007
IEEE
– This paper addresses an efficient concurrent fault detection scheme for the SBox hardware implementation of the AES algorithm. Concurrent fault detection is important not only ...