645 search results - page 15 / 129 » concurrency 2007 |
77
Voted
ENTCS
2007
15 years 19 days ago
2007
NN
2007
Springer
15 years 5 days ago
2007
Springer
102
click to vote
SAS
2007
Springer
15 years 6 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...
106
Voted
IJCSA
2007
15 years 18 days 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...
101
click to vote
DDECS
2007
IEEE
15 years 7 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 ...