2114 search results - page 8 / 423 » A model of cooperative threads |
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
TECS
2010
13 years 5 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
CMG
2006
13 years 9 months ago
2006
Modern computer systems are based on a wide variety of software servers, such as web servers, application servers, database servers, and mail servers. The typical software archite...
EUSFLAT
2003
13 years 8 months ago
2003
We present here a co-operative multithread metaheuristic. Each thread employs a (possibly) different optimization strategy and they are controlled by a Coordinator process. A rel...
SNPD
2008
13 years 9 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...