4586 search results - page 317 / 918 » Computing stable models in parallel |
163
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Compressive sensing (CS) is an emerging field based on the revelation that a small collection of linear projections of a sparse signal contains enough information for stable, sub-N...
153
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
148
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...
107
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Loop-carried code placement (LCCP) is able to remove redundant computations that cannot be recognized by traditional code motion techniques. However, this comes possibly ...
133
Voted
CAAP
1990
15 years 8 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...