856 search results - page 89 / 172 » Dependent Types in Practical Programming |
ASAP
2004
IEEE
14 years 17 days ago
2004
IEEE
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, we study the asymptotic behavior of the bit–error probability (BEP) and symbol–error probability (SEP) of differential M–ary phase–shift keying with diff...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
ELPUB
2006
ACM
14 years 2 months ago
2006
ACM
Open access publishing strategies have traditionally been directed towards what has been regarded as a homogenous scientific community of universities, researchers and libraries. ...
IFIP
1994
Springer
14 years 27 days ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...