2466 search results - page 340 / 494 » Concurrent Clustered Programming |
216
Voted
POPL
2006
ACM
16 years 25 days ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
87
Voted
ICFP
2003
ACM
16 years 15 days ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
ISPASS
2006
IEEE
15 years 6 months ago
2006
IEEE
Commercial processors have support for Simultaneous Multithreading (SMT), yet little work has been done to provide representative simulation results for SMT. Given a workload, cur...
100
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
102
Voted
ESOP
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...