949 search results - page 74 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
TKDE
2012
11 years 10 months ago
2012
—Computing interesting measures for data cubes and subsequent mining of interesting cube groups over massive datasets are critical for many important analyses done in the real wo...
IFM
2010
Springer
13 years 5 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
IPPS
2002
IEEE
14 years 19 days ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
JSC
2007
13 years 7 months ago
2007
We present an algorithm which, given a deformation with section of a reduced plane curve singularity, computes equations for the equisingularity stratum (that is, the µ-constant s...
FM
2003
Springer
14 years 28 days ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...