14244 search results - page 335 / 2849 » Modeling Program Predictability |
167
Voted
RECONFIG
2008
IEEE
16 years 1 months ago
2008
IEEE
The growing trend towards adoption of flexible and heterogeneous, parallel computing architectures has increased the challenges faced by the programming community. We propose a me...
149
click to vote
WLP
2005
Springer
16 years 5 days ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
162
click to vote
SSS
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
169
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
158
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...