1715 search results - page 168 / 343 » Domain-Specific Program Checking |
121
Voted
DALT
2004
Springer
15 years 4 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
74
Voted
USENIX
1994
15 years 2 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...
109
click to vote
ENTCS
2007
15 years 20 days ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
125
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
107
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...