3436 search results - page 266 / 688 » Software Tools for Performance Modeling of Parallel Programs |
129
Voted
ASSETS
2007
ACM
15 years 7 months ago
2007
ACM
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...
129
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
128
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
MapReduce programming model has simplified the implementation of many data parallel applications. The simplicity of the programming model and the quality of services provided by m...
153
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
148
click to vote
SIGADA
2001
Springer
15 years 7 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...