190 search results - page 6 / 38 » Symmetry and Satisfiability: An Update |
PODC
2010
ACM
14 years 25 days ago
2010
ACM
We present a single-version STM that satisfies a practical notion of permissiveness: it never aborts read-only transactions, and it only aborts an update transaction due to anothe...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
SIGPLAN
2002
13 years 10 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
ENGL
2007
13 years 10 months ago
2007
—Based on a recent view of Pstable models that allows talking about knowledge and beliefs of an agent, we propose an extension of the AGM postulates based on these notions. To th...
CIG
2005
IEEE
14 years 4 months ago
2005
IEEE
Several attempts have been made in the past to construct encoding schemes that allow modularity to emerge in evolving systems, but success is limited. We believe that in order to c...