333 search results - page 7 / 67 » The Problem with Threads |
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
Remote method invocation in Java RMI allows the flow of control to pass across local Java threads and thereby span multiple virtual machines. However, the resulting distributed t...
CE
2008
14 years 9 months ago
2008
Although most online learning environments are predominately text based, researchers have argued that representational support for the conceptual structure of a problem would addr...
101
click to vote
PDP
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—This paper proposes a strategy to organize metricspace query processing in multi-core search nodes as understood in the context of search engines running on clusters of ...
RTA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper is a contribution to the long standing open problem of uniform termination of Semi-Thue Systems that consist of one rule s → t. McNaughton previously showed ...