BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
control (13)
concurr (10)
use (8)
parallel (6)
optim (5)

Stem optimist$ (all stems)

51 papers:

SIGMODSIGMOD-2015-BernsteinDDP #concurrent #database #optimisation
Optimizing Optimistic Concurrency Control for Tree-Structured, Log-Structured Databases (PAB, SD, BD, MP), pp. 1295–1309.
SIGMODSIGMOD-2015-DudoladovXSKETM
Optimistic Recovery for Iterative Dataflows in Action (SD, CX, SS, AK, SE, KT, VM), pp. 1439–1443.
ICPCICPC-2014-ThungLOC #classification #design #diagrams #metric #network #using
Condensing class diagrams by analyzing design and network metrics using optimistic classification (FT, DL, MHO, MRVC), pp. 110–121.
POPLPOPL-2014-BouajjaniEH #consistency #replication #verification
Verifying eventual consistency of optimistic replication systems (AB, CE, JH), pp. 285–296.
PPoPPPPoPP-2014-HassanPR #transaction
Optimistic transactional boosting (AH, RP, BR), pp. 387–388.
ICMLICML-c2-2013-ValkoCM #optimisation #probability
Stochastic Simultaneous Optimistic Optimization (MV, AC, RM), pp. 19–27.
ICMLICML-c3-2013-ChenLZ #crowdsourcing #policy
Optimistic Knowledge Gradient Policy for Optimal Budget Allocation in Crowdsourcing (XC, QL, DZ), pp. 64–72.
SOSPSOSP-2013-ChidambaramPAA #consistency
Optimistic crash consistency (VC, TSP, ACAD, RHAD), pp. 228–243.
ICMLICML-2012-Araya-LopezBT #using
Near-Optimal BRL using Optimistic Local Transitions (MAL, OB, VT), p. 70.
VLDBVLDB-2011-BernsteinRWY #concurrent
Optimistic Concurrency Control by Melding Trees (PAB, CWR, MW, XY), pp. 944–955.
SACSAC-2011-CherifIR #collaboration #data access #distributed #editing
Optimistic access control for distributed collaborative editors (AC, AI, MR), pp. 861–868.
IFMIFM-2010-BouchenebIN #algorithm #model checking #replication
Symbolic Model-Checking of Optimistic Replication Algorithms (HB, AI, MN), pp. 89–104.
ICMLICML-2009-SzitaL #learning #polynomial
Optimistic initialization and greediness lead to polynomial time learning in factored MDPs (IS, AL), pp. 1001–1008.
SACSAC-2009-MacielH #architecture #rest #transaction #using
An optimistic technique for transactions control using REST architectural style (LAHdSM, CMH), pp. 664–669.
ASPLOSASPLOS-2008-KulkarniPRWBC #clustering #parallel
Optimistic parallelism benefits from data partitioning (MK, KP, GR, BW, KB, LPC), pp. 233–243.
PPoPPPPoPP-2008-PraunBC #analysis #concurrent #dependence #modelling #using
Modeling optimistic concurrency using quantitative dependence analysis (CvP, RB, CC), pp. 185–196.
PLDIPLDI-2007-KulkarniPWRBC #abstraction #parallel
Optimistic parallelism requires abstractions (MK, KP, BW, GR, KB, LPC), pp. 211–222.
LCTESLCTES-2007-AhnLP #architecture
Optimistic coalescing for heterogeneous register architectures (MA, JL, YP), pp. 93–102.
PPoPPPPoPP-2007-SchuffCP #detection #network #parallel
Conservative vs. optimistic parallelization of stateful network intrusion detection (DLS, YRC, VSP), pp. 138–139.
SACSAC-2006-RodriguesMC #order
From spontaneous total order to uniform total order: different degrees of optimistic delivery (LR, JM, NC), pp. 723–727.
ISMMISMM-2006-Corry #java #stack
Optimistic stack allocation for java-like languages (EC), pp. 162–173.
VLDBVLDB-2005-ColohanASM #parallel #transaction
Optimistic Intra-Transaction Parallelism on Chip Multiprocessors (CBC, AA, JGS, TCM), pp. 73–84.
ICALPICALP-2005-KursaweS
Optimistic Asynchronous Atomic Broadcast (KK, VS), pp. 204–215.
OOPSLAOOPSLA-2005-ShankarSBS #analysis #runtime
Runtime specialization with optimistic heap analysis (AS, SSS, RB, JES), pp. 327–343.
ECIRECIR-2004-CachedaB #web
An Optimistic Model for Searching Web Directories (FC, RABY), pp. 364–377.
TACASTACAS-2003-StollerC #reduction
Optimistic Synchronization-Based State-Space Reduction (SDS, EC), pp. 489–504.
ICFPICFP-2003-EnnalsJ #adaptation #evaluation #source code #strict
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs (RE, SLPJ), pp. 287–298.
ICALPICALP-2001-Baum-Waidner #contract #multi
Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds (BBW), pp. 898–911.
CIKMCIKM-2001-KimLJH #algorithm #hybrid #named #transaction
O-PreH: Optimistic Transaction Processing Algorithm based on Pre-Reordering in Hybrid Broadcast Environments (SK, SL, SYJ, CSH), pp. 553–555.
ICMLICML-2001-Wyatt #learning #using
Exploration Control in Reinforcement Learning using Optimistic Model Selection (JLW), pp. 593–600.
ECOOPECOOP-2001-StromA
The Optimistic Readers Transformation (RES, JSA), pp. 275–301.
OOPSLAOOPSLA-2001-PechtchanskiS #analysis #framework #interprocedural
Dynamic Optimistic Interprocedural Analysis: A Framework and an Application (IP, VS), pp. 195–210.
DATEDATE-2000-YooLJRCC #execution #performance
Fast Hardware-Software Coverification by Optimistic Execution of Real Processor (SY, JeL, JJ, KR, YC, KC), pp. 663–668.
ICALPICALP-2000-Baum-WaidnerW #contract #multi
Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing (BBW, MW), pp. 524–535.
LCTESLCTES-2000-JeongKL #concurrent #multi #realtime #using
Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version (BSJ, DK, SL), pp. 33–47.
SIGMODSIGMOD-1999-GehrkeGRL
BOAT-Optimistic Decision Tree Construction (JG, VG, RR, WYL), pp. 169–180.
DATEDATE-1998-SchmerlerTM #logic #simulation
Advanced Optimistic Approaches in Logic Simulation (SS, YT, KDMG), pp. 362–368.
PPoPPPPoPP-1997-Rinard #automation #effectiveness #source code #using
Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives (MCR), pp. 112–123.
STOCSTOC-1996-AfekMO #algorithm #complexity #convergence
Convergence Complexity of Optimistic Rate Based Flow Control Algorithms (Extended Abstract) (YA, YM, ZO), pp. 89–98.
SIGMODSIGMOD-1995-AdyaGLM #concurrent #performance #using
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks (AA, RG, BL, UM), pp. 23–34.
HPDCHPDC-1995-CowanLB #performance #programming
Performance Benefits of Optimistic Programming: A Measure of HOPE (CC, HL, MAB), pp. 197–204.
PPoPPPPoPP-1995-WallachHJKW #communication #scheduling
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (DAW, WCH, KLJ, MFK, WEW), pp. 217–226.
SOSPSOSP-1995-PuABCCIKWZ #incremental #operating system
Optimistic Incremental Specialization: Streamlining a Commercial Operating System (CP, TA, APB, CC, CC, JI, LK, JW, KZ), pp. 314–324.
SIGMODSIGMOD-1991-LevyKS #commit #distributed #protocol #transaction
An Optimistic Commit Protocol for Distributed Transaction Management (EL, HFK, AS), pp. 88–97.
VLDBVLDB-1991-HuangSRT #concurrent #evaluation #realtime
Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes (JH, JAS, KR, DFT), pp. 35–46.
PPoPPPPoPP-1991-BaconS #communication #csp #parallel #process
Optimistic Parallelization of Communicating Sequential Processes (DFB, RES), pp. 155–166.
PODSPODS-1990-HaritsaCL #constraints #on the #realtime
On Being Optimistic about Real-Time Constraints (JRH, MJC, ML), pp. 331–343.
SOSPSOSP-1985-MullenderT #concurrent #distributed
A Distributed File Service Based on Optimistic Concurrency Control (SJM, AST), pp. 51–62.
VLDBVLDB-1983-Reimer #concurrent #problem
Solving the Phantom Problem by Predicative Optimistic Concurrency Control (MR), pp. 81–88.
VLDBVLDB-1981-Schlageter #concurrent #database #distributed
Optimistic Methods for Concurrency Control in Distributed Database Systems (GS), pp. 125–130.
VLDBVLDB-1979-KungR #concurrent #on the
On Optimistic Methods for Concurrency Control (HTK, JTR), p. 351.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.