×

Found 52 Documents (Results 1–52)

Template polyhedra with a twist. (English) Zbl 1420.68073

Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 321-341 (2017).
MSC:  68N30 68Q55 90C57
PDF BibTeX XML Cite
Full Text: DOI

SMO: an integrated approach to intra-array and inter-array storage optimization. (English) Zbl 1347.68070

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 526-538 (2016).
MSC:  68N30 68N20
PDF BibTeX XML Cite
Full Text: DOI Link

Stratified static analysis based on variable dependencies. (English) Zbl 1294.68063

Massé, Damien (ed.) et al., Proceedings of the 3rd international workshop on numerical and symbolic abstract domains, NSAD 2011, Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 288, 61-74 (2012).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Static analysis by abstract interpretation: a mathematical programming approach. (English) Zbl 1342.68086

Miné, Antoine (ed.) et al., Proceedings of the 2nd international workshop on numerical and symbolic abstract domains: NSAD 2010, Perpignan, France, September 13, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 267, No. 1, 73-87 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Geometry of cuts and metrics. Paperback reprint of the 1997 original. (English) Zbl 1210.52001

Algorithms and Combinatorics 15. Dordrecht: Springer (ISBN 978-3-642-04294-2/pbk; 978-3-642-04295-9/ebook). xii, 587 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

Simplifying reductions. (English) Zbl 1369.68098

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 30-41 (2006).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI

Polyhedral geometry. (English) Zbl 1055.52012

Li, Benghe (ed.) et al., Low dimensional topology. Lectures presented during the program on low-dimensional topology held at the Morningside Center of Mathematics, Beijing, China, 1998/1999. Somerville, MA: International Press (ISBN 1-57146-112-4/pbk). New Stud. Adv. Math. 3, 69-73 (2003).
Reviewer: Eike Hertel (Jena)
MSC:  52B70 53C15 57M50
PDF BibTeX XML Cite

Remarks on the geometry of exact transverse line fields. (English) Zbl 0978.53102

Astashkevich, Alexander (ed.) et al., Differential topology, infinite-dimensional Lie algebras, and applications. D. B. Fuchs’ 60th anniversary collection. Providence, RI: American Mathematical Society. Transl., Ser. 2, Am. Math. Soc. 194(44), 247-260 (1999).
MSC:  53C40 37J05 37D50 53C60 53A20 53D05
PDF BibTeX XML Cite

Polyhedral metrics in surface reconstruction: Tight triangulations. (English) Zbl 0965.65037

Goodman, Tim (ed.) et al., The mathematics of surfaces. VII. Proceedings of the 7th conference, Dundee, Great Britain, September 1996. Winchester: Information Geometers, Limited. 309-336 (1997).
MSC:  65D17
PDF BibTeX XML Cite

An introduction to polyhedral metrics of non-positive curvature on 3- manifolds. (English) Zbl 0735.57005

Geometry of low-dimensional manifolds. 2: Symplectic manifolds and Jones- Witten-Theory, Proc. Symp., Durham/UK 1989, Lond. Math. Soc. Lect. Note Ser. 151, 127-161 (1990).
MSC:  57M50 53C15 57Q15
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software