3547 search results - page 336 / 710 » Pseudo-Exhaustive Testing for Software |
228
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
165
click to vote
JMLR
2011
15 years 1 months ago
2011
The Causality Workbench project is an environment to test causal discovery algorithms. Via a web portal (http://clopinet.com/causality), it provides a number of resources, includi...
222
click to vote
MEMICS
2010
15 years 1 months ago
2010
Application-specific instruction set processors are the core of nowadays embedded systems. Therefore, the designers need to have powerful tools for the processor design. The tools...
171
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a con...
186
click to vote
AMC
2011
14 years 10 months ago
2011
We implement in Matlab a Gauss-like cubature formula on bivariate domains whose boundary is a piecewise smooth Jordan curve (curvilinear polygons). The key tools are Green’s int...