2114 search results - page 169 / 423 » A model of cooperative threads |
OSDI
1994
ACM
14 years 2 days ago
1994
ACM
Operating system research has endeavored to develop micro-kernels that provide modularity, reliability and security improvements over conventional monolithic kernels. However, the...
RP
2009
Springer
14 years 5 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
CSCW
1990
ACM
14 years 2 months ago
1990
ACM
This paperdescribesthe conceptual model of Strudel, a toolkit of generic components for conversation and action management. To empower work groups to more effectively conduct thei...
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
ICC
2009
IEEE
14 years 5 months ago
2009
IEEE
—In this paper, a binary hypothesis distributed detection problem in correlated wireless sensor networks with cooperative relays deployment is considered. In particular, the effe...