14244 search results - page 335 / 2849 » Modeling Program Predictability |
119
Voted
RECONFIG
2008
IEEE
15 years 10 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...
113
Voted
WLP
2005
Springer
15 years 9 months 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...
127
Voted
SSS
2007
Springer
15 years 9 months 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...
124
Voted
ICFEM
2004
Springer
15 years 9 months 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...
102
Voted
VL
2002
IEEE
15 years 8 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...