8706 search results - page 1111 / 1742 » Learning Subjective Language |
314
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
327
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
339
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
304
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
331
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...