2114 search results - page 167 / 423 » A model of cooperative threads |
DAC
2011
ACM
12 years 10 months ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
CC
2010
Springer
14 years 5 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
SEFM
2007
IEEE
14 years 5 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
CAE
2007
14 years 1 months ago
2007
This paper presents a model of cloth dyeing using the characteristics of the thread and weave pattern. The proposed dyeing model is based on Fick's second law that defines th...