2114 search results - page 227 / 423 » A model of cooperative threads |
JNSM
2000
13 years 9 months ago
2000
The application of software agent technology to the management of communications' infrastructures is a challenging domain as it requires management on different time scales a...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
POPL
2004
ACM
14 years 2 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
HPDC
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper describes PARDIS, a system containing explicit support for interoperability of PARallel DIStributed applications. PARDIS is based on the Common Object Request Broker Ar...