880 search results - page 40 / 176 » Model checking erlang programs: the functional approach |
135
click to vote
IAAI
2001
15 years 5 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
137
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
162
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
146
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
133
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...