2231 search results - page 182 / 447 » Alternation as a programming paradigm |
154
click to vote
PPOPP
1997
ACM
15 years 8 months ago
1997
ACM
As shared-memory multiprocessors become the dominant commodity source of computation, parallelizing compilers must support mainstream computations that manipulate irregular, point...
137
click to vote
ARTMED
2010
15 years 4 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
154
click to vote
JACIII
2008
15 years 4 months ago
2008
Abstract. One of the main functions of the traffic navigation systems is to find the optimal route to the destination. In this paper, we propose an iterative Q value updating algor...
135
Voted
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
139
Voted
ISMB
1996
15 years 6 months ago
1996
For transmembrane proteins experimental determina-tion of three-dimensional structure is problematic. However, membrane proteins have important impact for molecular biology in gen...