2296 search results - page 326 / 460 » The Expressive Power of Synchronizations |
226
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
143
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
143
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
156
click to vote
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...
136
click to vote
IEEEPACT
2007
IEEE
15 years 11 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...