854 search results - page 53 / 171 » Addressing Dynamic Issues of Program Model Checking |
126
Voted
ICSOC
2004
Springer
15 years 7 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
189
Voted
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
111
Voted
STTT
2010
15 years 24 days ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
144
click to vote
IDA
1999
Springer
15 years 6 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
125
Voted
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...