About: Closing the Performance Gap between Doubles and Rationals for Octagons

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Closing the Performance Gap between Doubles and Rationals for Octagons Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:BookSection, within Data Space : demo.openlinksw.com associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/BookSectionEPrint http://eprints.org/ontology/EPrint Article Book Section
seeAlso	HTML Summary of #70572 Closing the Performance Gap between Doubles and Rationals for Octagons
sameAs	Closing the Performance Gap between Doubles and Rationals for Octagons
http://www.loc.gov...erms/relators/EDT	Andreas Podelski
http://eprints.org/ontology/hasDocument	Closing the Performance Gap between Doubles and Rationals for Octagons (PDF) Closing the Performance Gap between Doubles and Rationals for Octagons (Other) Closing the Performance Gap between Doubles and Rationals for Octagons (Other) Closing the Performance Gap between Doubles and Rationals for Octagons (Other) Closing the Performance Gap between Doubles and Rationals for Octagons (Other) Closing the Performance Gap between Doubles and Rationals for Octagons (Other)
http://eprints.org/ontology/hasSubmitted	Closing the Performance Gap between Doubles and Rationals for Octagons (PDF)
dc:hasVersion	Closing the Performance Gap between Doubles and Rationals for Octagons (PDF)
Title	Closing the Performance Gap between Doubles and Rationals for Octagons
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
Date	2018-08-30
Creator	Aziem Chawdhary Andy King
status	peer reviewed published
Publisher	Springer
abstract	Octagons have enduring appeal because their domain opera- tions are simple, readily mapping to for-loops which apply max, min and sum to the entries of a Difference Bound Matrix (DBM). In the quest for efficiency, arithmetic is often realised with double-precision floating- point, albeit at the cost of the certainty provided by arbitrary-precision rationals. In this paper we show how Compact DBMs (CoDBMs), which have recently been proposed as a memory refinement for DBMs, enable arithmetic calculation to be short-circuited in various domain operations. We also show how comparisons can be avoided by changing the tables which underpin CoDBMs. From the perspective of implementation, the optimisations are attractive because they too are conceptually simple, following the ethos of Octagons. Yet they can halve the running time on rationals, putting CoDBMs on rationals on a par with DBMs on doubles.
Is Part Of	https://kar.kent.ac.uk/id/repository
list of authors	https://kar.kent.ac.uk/id/eprint/70572#authors
list of editors	https://kar.kent.ac.uk/id/eprint/70572#editors
volume	11002
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #70572 Closing the Performance Gap between Doubles and Rationals for Octagons

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 23 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software