440 search results - page 14 / 88 » Local reasoning for abstraction and sharing |
174
click to vote
SAS
2010
Springer
15 years 8 days ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
110
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
180
click to vote
SEMWEB
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
117
click to vote
ICLP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
133
Voted
CJ
2010
14 years 11 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...