2300 search results - page 308 / 460 » Maximally Concurrent Programs |
148
click to vote
ICFP
2003
ACM
16 years 6 months 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...
141
Voted
ISPASS
2006
IEEE
16 years 11 days 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...
158
click to vote
KBSE
2005
IEEE
15 years 12 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...
167
Voted
ESOP
1999
Springer
15 years 10 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 ...
152
Voted
NSDI
2004
15 years 7 months ago
2004
Over the past few years, a relatively new computing phenomenon has gained momentum: the spread of "spyware." Though most people are aware of spyware, the research commun...