14244 search results - page 710 / 2849 » Modeling Program Predictability |
152
click to vote
DCOSS
2005
Springer
16 years 29 days ago
2005
Springer
A wide-area sensor system is a complex, dynamic, resource-rich cloud of Internet-connected sensing devices. In this paper, we propose X-Tree Programming, a novel database-centric ...
231
click to vote
DATE
2010
IEEE
16 years 16 days ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
202
click to vote
ASIAN
1999
Springer
15 years 11 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
184
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
208
click to vote
KES
2000
Springer
15 years 11 months ago
2000
Springer
Agent-based computational economic modeling requires demanding work on computer programming. Usually, the publications as outcomes of running these programs do not provide readers ...