548 search results - page 74 / 110 » Parallel Relative Debugging with Dynamic Data Structures |
116
click to vote
FPCA
1995
15 years 5 months ago
1995
Lenient languages, such as Id90, have been touted as among the best functional languages for massively parallel machines AHN88]. Lenient evaluation combines non-strict semantics w...
158
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
132
click to vote
ISCA
2009
IEEE
15 years 8 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
191
click to vote
IFM
2010
Springer
15 years 2 days ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
114
click to vote
GCB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...