25 papers:
TACAS-2015-HeizmannDLMP #array #contest- Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
- TACAS-2015-NutzDMP #contest #memory management #safety
- ULTIMATE KOJAK with Memory Safety Checks — (Competition Contribution) (AN, DD, MMM, AP), pp. 458–460.
- TACAS-2014-ErmisNDHP #contest
- Ultimate Kojak — (Competition Contribution) (EE, AN, DD, JH, AP), pp. 421–423.
- TACAS-2014-HeizmannCDHLMSWP #contest #satisfiability
- Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.
ICALP-v2-2014-OuaknineW14a #decidability #linear #sequence- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences (JO, JW), pp. 330–341.
LCTES-2014-LozanoCBS #combinator #optimisation- Combinatorial spill code optimization and ultimate coalescing (RCL, MC, GHB, CS), pp. 23–32.
SAT-2014-NadelRS #incremental #satisfiability- Ultimately Incremental SAT (AN, VR, OS), pp. 206–218.
DATE-2013-RuchBPMM #roadmap #towards- Roadmap towards ultimately-efficient zeta-scale datacenters (PR, TB, SP, GIM, BM), pp. 1339–1344.
- TACAS-2013-HeizmannCDEHLNSP #contest
- Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.
DLT-2013-MarsaultS #set- Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure (VM, JS), pp. 362–373.
DAC-2012-ZhangC #named- GDRouter: interleaved global routing and detailed routing for ultimate routability (YZ, CC), pp. 597–602.
- DATE-2012-NicolaidisAZZKBTLTRKKDA #design #reliability
- Design for test and reliability in ultimate CMOS (MN, LA, NEZ, YZ, TK, KAB, JT, SLL, CT, AR, MMK, JK, VD, DA), pp. 677–682.
LATA-2011-RigoV #complexity #integer #set- Syntactic Complexity of Ultimately Periodic Sets of Integers (MR, ÉV), pp. 477–488.
LICS-2011-MarcinkowskiM #logic- The Ultimate Undecidability Result for the Halpern-Shoham Logic (JM, JM), pp. 377–386.
MSR-2010-NussbaumZ #assurance #data mining #database #metadata #mining #quality- The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining (LN, SZ), pp. 52–61.
CAV-2010-BozgaIK #performance- Fast Acceleration of Ultimately Periodic Relations (MB, RI, FK), pp. 227–242.
ICFP-2009-Pierce #education #programming language #proving #using- λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.
- DAC-2003-NegreirosCS #low cost
- Ultimate low cost analog BIST (MN, LC, AAS), pp. 570–573.
ICEIS-v1-2003-RossiterNH #formal method #information management #middleware #tool support- Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering (BNR, DAN, MAH), pp. 366–373.
KR-2002-DeneckerMT #approximate #information management #representation- Ultimate Approximations in Nonmonotonic Knowledge Representation Systems (MD, VWM, MT), pp. 177–190.
ICLP-2001-DeneckerPB #logic programming #semantics #source code- Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates (MD, NP, MB), pp. 212–226.
- DLT-1995-Ilie #on the
- On Disjunctivity, Ultimate Periodicity and Ultimate Identity (LI), pp. 44–53.
LFP-1994-ClingerH #compilation #optimisation- λ, the Ultimate Label or a Simple Optimizing Compiler for Scheme (WDC, LTH), pp. 128–139.
- DAC-1984-GlazierA #hardware #logic #named #simulation
- Ultimate: A hardware logic simulation engine (MEG, APA), pp. 336–342.
- LFP-1982-ReesA #lisp #named
- T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool (JR, NA), pp. 114–122.
