2448 search results - page 102 / 490 » The Octahedron Abstract Domain |
JNW
2008
13 years 8 months ago
2008
Abstract-- The Domain Name System (DNS) is a distributed tree-based database largely used to translate a human readable machine name into an IP address. The DNS security extensions...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library LinBox, must always occur in the founding scope. This provides a simpl...
ICA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In brain computer interface based on motor imagery, covariances matrices are widely used through spatial filters computation and other signal processing methods. Covarian...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
CIE
2005
Springer
13 years 10 months ago
2005
Springer
Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. T...