7961 search results - page 337 / 1593 » Input-Output Model Programs |
158
Voted
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
141
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
134
click to vote
ISCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...
109
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
140
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...