2881 search results - page 43 / 577 » Model Checking for Programming Languages using Verisoft |
114
click to vote
IAAI
2001
15 years 3 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...
125
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
173
click to vote
PEPM
2011
ACM
14 years 4 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
114
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
127
click to vote
FMOODS
2007
15 years 3 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...