98 search results - page 8 / 20 » A semantics for procedure local heaps and its abstractions |
ACL
2010
13 years 5 months ago
2010
In predicate-argument structure analysis, it is important to capture non-local dependencies among arguments and interdependencies between the sense of a predicate and the semantic...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
SCIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper deals, for the first time, with an analysis of localization capabilities of weakly supervised categorization systems. Most existing categorization approaches ...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...