1515 search results - page 173 / 303 » The Distributed Programming Environment on the Internet |
120
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper introduces an adaptive parallel pipeline pattern which follows the GRASP (Grid-Adaptive Structured Parallelism) methodology. GRASP is a generic methodology to incorpora...
119
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...
102
Voted
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
124
Voted
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
112
click to vote
SEKE
2001
Springer
15 years 7 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...