Uploads
Contact
/
Login
Upload
Search Results for 'Ccf 1117369andhplabsinnovationresearchaward.anyopinions'
DiscoveringGeneralProminentStreaksinSequenceDataGENSHENGZHANG,TheUnive
olivia-moreira
MakingImpracticalImplementationsPractical:ObservationallyCooperativeMu
calandra-battersby
AFastLinear-ArithmeticSolverforDPLL(T)BrunoDutertreandLeonardodeMouraC
giovanna-bartolotta
SubquadratictimeapproximationalgorithmsforthegirthLiamRodittyVirginia
alida-meadow
TCP-PR:TCPforPersistentPacketReorderingStephanBohacekJo
kittie-lecroy
SearchingSubstructureswithSuperimposedDistanceXifengYanyFeidaZhuyJiawe
karlyn-bohler
TypedMemoryManagementinaCalculusofCapabilitiesKarlCraryCarnegieMellonU
calandra-battersby
SearchingSubstructureswithSuperimposedDistanceXifengYanyFeidaZhuyJiawe
danika-pritchard
SymbolicModelCheckingwithoutBDDsArminBiere,AlessandroCimatti,EdmundCla
natalia-silvester
BarelyAliveMemoryServers:KeepingDataActiveinaLow-PowerStateVLASIAANAGN
debby-jeon
Alternation-TradingProofs,LinearProgramming,andLowerBoundsRyanWilliams
marina-yarberry
AngelosD.Keromytis,VishalMisra,DanielRubensteinColumbiaUniversityinthe
mitsue-stanley
UlteriorReferenceCounting:FastGarbageCollectionwithoutaLongWaitStephen
kittie-lecroy
FastandEfcientPartialCodeReordering:TakingAdvantageofDynamicRecompila
jane-oiler
TrackingBadApples:ReportingtheOriginofNullandUndenedValueErrorsMicha
tatyana-admore
Finding Your Cronies Static Analysis for Dynamic Object Colocation
ellena-manuel