Sciweavers

3686 search results - page 248 / 738
» Pattern-Based Parallel Programming
Sort
View
IFIP
1994
Springer
15 years 7 months ago
Program Speedups in Theory and Practice
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
Neil D. Jones
CONCUR
2012
Springer
13 years 5 months ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
ACL
2006
15 years 4 months ago
Constraint-Based Sentence Compression: An Integer Programming Approach
The ability to compress sentences while preserving their grammaticality and most of their meaning has recently received much attention. Our work views sentence compression as an o...
James Clarke, Mirella Lapata
158
Voted
IPPS
2008
IEEE
15 years 9 months ago
Qthreads: An API for programming with millions of lightweight threads
Large scale hardware-supported multithreading, an attractive means of increasing computational power, benefits significantly from low per-thread costs. Hardware support for ligh...
Kyle B. Wheeler, Richard C. Murphy, Douglas Thain
IPPS
1998
IEEE
15 years 7 months ago
Predicate Control for Active Debugging of Distributed Programs
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
Ashis Tarafdar, Vijay K. Garg