402 search results - page 11 / 81 » Algebraic Properties of Program Integration |
JAR
2006
14 years 11 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
160
Voted
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
SIP
2003
15 years 1 months ago
2003
This paper presents an algebraic approach to construct Mband orthogonal wavelet bases. A system of constraint equations is obtained for M-band orthonormal filters, and then a solu...
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
101
click to vote
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...