7557 search results - page 72 / 1512 » Modeling Timed Concurrent Systems |
133
click to vote
AIA
2006
15 years 2 months ago
2006
A system based on a neural network framework is considered. We used two neural networks, an Elman network [1][2] and a Kohonen (concurrent) network [3], for a categorization task....
121
click to vote
ENTCS
2008
15 years 1 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
101
click to vote
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
154
click to vote
HOTOS
2007
IEEE
15 years 5 months ago
2007
IEEE
Optimistic synchronization allows concurrent execution of critical sections while performing dynamic conflict detection and recovery. Optimistic synchronization will increase perf...