7109 search results - page 195 / 1422 » Process Algebra with Combinators |
133
Voted
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
161
click to vote
TAP
2007
Springer
15 years 9 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
115
click to vote
DAGM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Velocity distributions are an enhanced representation of image velocity implying more velocity information than velocity vectors. Velocity distributions allow the represe...
114
click to vote
ICES
2007
Springer
15 years 5 months ago
2007
Springer
Combinational multipliers represent a class of circuits that is usually considered to be hard to design by means of the evolutionary techniques. However, experiments conducted unde...
111
click to vote
ECEASST
2008
15 years 3 months ago
2008
: Graph parsing is known to be computationally expensive. For this reason the construction of special-purpose parsers may be beneficial for particular graph languages. In the domai...