6960 search results - page 674 / 1392 » Continuity Analysis of Programs |
202
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
185
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...
242
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...
204
click to vote
ICFP
2003
ACM
16 years 7 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...
255
click to vote
ASPLOS
2010
ACM
16 years 2 months ago
2010
ACM
Scalable heterogeneous computing systems, which are composed of a mix of compute devices, such as commodity multicore processors, graphics processors, reconfigurable processors, ...