7109 search results - page 195 / 1422 » Process Algebra with Combinators |
192
Voted
QSIC
2007
IEEE
16 years 1 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...
215
Voted
TAP
2007
Springer
16 years 1 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 ...
167
Voted
DAGM
2004
Springer
16 years 13 days 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...
166
Voted
ICES
2007
Springer
15 years 8 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...
161
Voted
ECEASST
2008
15 years 7 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...