2466 search results - page 116 / 494 » Concurrent Clustered Programming |
209
Voted
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
130
Voted
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
112
Voted
JFP
2010
15 years 19 days ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
126
Voted
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
103
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...