506 search results - page 89 / 102 » Where Is the Value in a Program Verifier |
100
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Parameter trajectory generation for HMM-based speech synthesis is practically achieved using only fixed-point arithmetic with 32-bit integers. Since processors for embedded devic...
111
click to vote
CONCUR
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
106
Voted
BTW
2007
Springer
15 years 6 months ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
99
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
89
Voted
CP
2003
Springer
15 years 5 months ago
2003
Springer
Incomplete decision algorithms can often solve larger problem instances than complete ones. The drawback is that one does not know whether the algorithm will finish soon, later, ...