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 Distinct Permalink

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

Attributes	Values
type	http://eprints.org/ontology/BookSectionEPrint http://eprints.org/ontology/BookSectionEPrint http://eprints.org/ontology/EPrint http://eprints.org/ontology/EPrint Article Article Book Section Book Section
seeAlso	HTML Summary of #67227 Closing the Performance Gap between Doubles and Rationals for Octagons HTML Summary of #67227 Closing the Performance Gap between Doubles and Rationals for Octagons
sameAs	Closing the Performance Gap between Doubles and Rationals for Octagons Closing the Performance Gap between Doubles and Rationals for Octagons
http://www.loc.gov...erms/relators/EDT	Andreas Podelski Andreas Podelski
http://eprints.org/ontology/hasAccepted	Closing the Performance Gap between Doubles and Rationals for Octagons (PDF) Closing the Performance Gap between Doubles and Rationals for Octagons (PDF)
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 (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) 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)
dc:hasVersion	Closing the Performance Gap between Doubles and Rationals for Octagons (PDF) Closing the Performance Gap between Doubles and Rationals for Octagons (PDF)
Title	Closing the Performance Gap between Doubles and Rationals for Octagons 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 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2018-08-29 2018-08-29
Creator	Aziem Chawdhary Aziem Chawdhary Andy King Andy King
status	peer reviewed peer reviewed published published
Publisher	Springer Springer
abstract	Octagons have enduring appeal because their domain operations 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 has 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 halve the running time on rationals, putting CoDBMs on rationals on a par with DBMs on doubles. Octagons have enduring appeal because their domain operations 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 has 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 halve the running time on rationals, putting CoDBMs on rationals on a par with DBMs on doubles.
Is Part Of	Financial Cryptography and Data Security Financial Cryptography and Data Security https://kar.kent.ac.uk/id/repository https://kar.kent.ac.uk/id/repository
Subject	Q Science Q Science T Technology (General) T Technology (General)
list of authors	https://kar.kent.ac.uk/id/eprint/67227#authors https://kar.kent.ac.uk/id/eprint/67227#authors
list of editors	https://kar.kent.ac.uk/id/eprint/67227#editors https://kar.kent.ac.uk/id/eprint/67227#editors
presented at	SAS 2018: 25th International Static Analysis Symposium SAS 2018: 25th International Static Analysis Symposium
volume	11002 11002
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #67227 Closing the Performance Gap between Doubles and Rationals for Octagons HTML Summary of #67227 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, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software