Sciweavers

31 search results - page 3 / 7
» Deadlock-free Channels and Locks
Sort
View
KBSE
2009
IEEE
14 years 15 days ago
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sa...
HVC
2005
Springer
183views Hardware» more  HVC 2005»
13 years 11 months ago
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
Rahul Agarwal, Liqiang Wang, Scott D. Stoller
TCOM
2010
87views more  TCOM 2010»
13 years 15 days ago
Performance of an AFC Loop in the Presence of a Single Interferer in a Fading Channel
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...
Amin Emad, Norman C. Beaulieu
ICASSP
2011
IEEE
12 years 9 months ago
Continuous pilot based adaptive estimation for IDMA systems on underwater acoustic channels
Two adaptive receivers for jointly detecting active users in an interleave division multiple access (IDMA) system are considered for highly dispersive underwater acoustic channels...
Salah Aliesawi, Charalampos C. Tsimenidis, Bayan S...
ESOP
2010
Springer
14 years 3 months ago
Deadlock-free Channels and Locks
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...
Jan Smans, K. Rustan M. Leino, Peter Müller