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:
system (21)
softwar (16)
design (10)
applic (9)
use (9)

Stem modern$ (all stems)

126 papers:

DACDAC-2015-RayYBB #correctness #design #security #validation
Correctness and security at odds: post-silicon validation of modern SoC designs (SR, JY, AB, SB), p. 6.
DATEDATE-2015-OborilET #monitoring #online
High-resolution online power monitoring for modern microprocessors (FO, JE, MBT), pp. 265–268.
SIGMODSIGMOD-2015-BailisFFGHS #concurrent #empirical
Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity (PB, AF, MJF, AG, JMH, IS), pp. 1327–1342.
ICSMEICSME-2015-KhadkaSKSHJDB #analysis #case study #legacy #what
Does software modernization deliver what it aimed for? A post modernization analysis of five software modernization case studies (RK, PS, BK, AS, JH, SJ, EvD, MB), pp. 477–486.
SANERSANER-2015-Rahman
Investigating modern release engineering practices (MTR), pp. 607–608.
SANERSANER-2015-ThongtanunamTKY #approach #bibliography #code review #perspective #recommendation
Who should review my code? A file location-based code-reviewer recommendation approach for Modern Code Review (PT, CT, RGK, NY, HI, KiM), pp. 141–150.
CHICHI-2015-BentleyC #composition #mobile
The Composition and Use of Modern Mobile Phonebooks (FRB, YYC), pp. 2749–2758.
CHICHI-2015-SteichenF #comparison #interface #multi
Supporting the Modern Polyglot: A Comparison of Multilingual Search Interfaces (BS, LF), pp. 3483–3492.
CSCWCSCW-2015-KumarS #facebook #privacy #women
The Modern Day Baby Book: Enacting Good Mothering and Stewarding Privacy on Facebook (PK, SYS), pp. 1302–1312.
HCIDUXU-IXD-2015-GkouskosPKC #experience #user interface
Exploring User Experience in the Wild: Facets of the Modern Car (DG, IP, MK, FC), pp. 450–461.
HCIHIMI-IKD-2015-BabaianLL #enterprise #interactive #navigation #visualisation
Modernizing Exploration and Navigation in Enterprise Systems with Interactive Visualizations (TB, WTL, ML), pp. 23–33.
HCILCT-2015-YildirimC #comprehension #student
Understanding Nomophobia: A Modern Age Phobia Among College Students (CY, APC), pp. 724–735.
ASPLOSASPLOS-2015-SridharanDBFSSG #fault #memory management
Memory Errors in Modern Systems: The Good, The Bad, and The Ugly (VS, ND, SB, KBF, JS, JS, SG), pp. 297–310.
HPCAHPCA-2015-AroraMPJT #behaviour #benchmark #comprehension #cpu #gpu #metric #power management
Understanding idle behavior and power gating mechanisms in the context of modern benchmarks on CPU-GPU Integrated systems (MA, SM, IP, NJ, DMT), pp. 366–377.
CBSECBSE-2014-NoorshamsRRKR #architecture #modelling #performance #predict #statistics
Enriching software architecture models with statistical models for performance prediction in modern storage environments (QN, RR, AR, SK, RHR), pp. 45–54.
HTHT-2014-SquicciariniCB #image #privacy #web
Analyzing images’ privacy for the modern web (ACS, CC, RB), pp. 136–147.
SIGMODSIGMOD-2014-ChandramouliG
Patience is a virtue: revisiting merge and sort on modern processors (BC, JG), pp. 731–742.
SIGMODSIGMOD-2014-LevandoskiLSBD #hardware
Indexing on modern hardware: hekaton and beyond (JJL, DBL, SS, AB, CD), pp. 717–720.
ITiCSEITiCSE-2014-Tirronen #case study #concept #type system
Study on difficulties and misconceptions with modern type systems (VT), pp. 303–308.
TACASTACAS-2014-Gibson-RobinsonABR #csp #named #refinement
FDR3 — A Modern Refinement Checker for CSP (TGR, PJA, AB, AWR), pp. 187–201.
ICSMEICSME-2014-SvajlenkoR #clone detection #detection #tool support
Evaluating Modern Clone Detection Tools (JS, CKR), pp. 321–330.
ICSMEICSME-2014-ThongtanunamYYKCFI #bibliography #code review #dataset #named #visualisation
ReDA: A Web-Based Visualization Tool for Analyzing Modern Code Review Dataset (PT, XY, NY, RGK, AECC, KF, HI), pp. 605–608.
MSRMSR-2014-BellerBZJ #code review #open source #problem #question
Modern code reviews in open-source projects: which problems do they fix? (MB, AB, AZ, EJ), pp. 202–211.
MSRMSR-2014-KononenkoBHG #mining #repository
Mining modern repositories with elasticsearch (OK, OB, RH, MWG), pp. 328–331.
FMFM-2014-ChristakisLS #formal method #verification
Formalizing and Verifying a Modern Build Language (MC, KRML, WS), pp. 643–657.
CSCWCSCW-2014-MassimiHS #quote
“Real, but Glossy”: technology and the practical pursuit of magic in modern weddings (MM, RHRH, AS), pp. 854–865.
HCIDUXU-ELAS-2014-MartinsMS
The Encourage Operators to Promote Manual Flight Operations- a Pandemic in Modern Aviation (ETM, ITM, MMS), pp. 317–325.
ECOOPECOOP-2014-KarimDG #framework #legacy
Retargetting Legacy Browser Extensions to Modern Extension Frameworks (RK, MD, VG), pp. 463–488.
ICSEICSE-2014-KhadkaBSJH #how #legacy #question
How do professionals perceive legacy systems and software modernization? (RK, BVB, AS, SJ, JH), pp. 36–47.
HPCAHPCA-2014-LoK #manycore
Dynamic management of TurboMode in modern multi-core chips (DL, CK), pp. 603–613.
OSDIOSDI-2014-SpahnBLBGK #abstraction #data transformation #fine-grained #named #operating system
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems (RS, JB, ML, SB, RG, GEK), pp. 113–129.
DATEDATE-2013-GaoGB #fault tolerance #scheduling #using
Using explicit output comparisons for fault tolerant scheduling (FTS) on modern high-performance processors (YG, SKG, MAB), pp. 927–932.
DocEngDocEng-2013-TorabiDT #using
Early modern OCR project (eMOP) at Texas A&M University: using Aletheia to train Tesseract (KT, JD, BT), pp. 23–26.
VLDBVLDB-2013-LevandoskiLS #hardware #named
LLAMA: A Cache/Storage Subsystem for Modern Hardware (JJL, DBL, SS), pp. 877–888.
VLDBVLDB-2013-Lomet #approach #database #hardware #sql
Microsoft SQL Server’s Integrated Database Approach for Modern Applications and Hardware (DBL), pp. 1178–1179.
VLDBVLDB-2013-SikkaFGL #enterprise #evolution #framework #in memory
SAP HANA: The Evolution from a Modern Main-Memory Data Platform to an Enterprise Application Platform (VS, FF, AKG, WL), pp. 1184–1185.
HCIDUXU-NTE-2013-MartinsMSA #behaviour #fault
Human Error in Aviation: The Behavior of Pilots Facing the Modern Technology (ITM, ETM, MMS, LGdSA), pp. 150–159.
HCIHCI-UC-2013-AminJGMS #impact analysis #latency #quality
Assessing the Impact of Latency and Jitter on the Perceived Quality of Call of Duty Modern Warfare 2 (RA, FJ, JEG, JM, TS), pp. 97–106.
ICEISICEIS-v3-2013-GromoffKPS #approach #architecture #enterprise #flexibility
Newer Approach to Flexible Business Architecture of Modern Enterprise (AG, NK, MP, YS), pp. 326–332.
SIGIRSIGIR-2013-DimopoulosNS #performance #query
A candidate filtering mechanism for fast top-k query processing on modern cpus (CD, SN, TS), pp. 723–732.
SACSAC-2013-VeeraragavanBMVNM #analysis #comprehension #distributed #experience #interactive #metric #multi #quality
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis (NRV, AB, LM, RV, NN, HM), pp. 439–446.
ICSEICSE-2013-BacchelliB #bibliography #challenge #code review #perspective
Expectations, outcomes, and challenges of modern code review (AB, CB), pp. 712–721.
ICSEICSE-2013-Yu #framework #testing
An observable and controllable testing framework for modern systems (TY), pp. 1377–1380.
DATEDATE-2012-LeMKV #debugging #satisfiability #using
Non-solution implications using reverse domination in a modern SAT-based debugging environment (BL, HM, BK, AGV), pp. 629–634.
ICSMEICSM-2012-Perez-Castillo #approach #information management #legacy #named #process
MARBLE: Modernization approach for recovering business processes from legacy information systems (RPC), pp. 671–676.
HILTHILT-2012-Nilsen12a #java #legacy #realtime
Real-time Java in modernization of the aegis weapon system (KN), pp. 63–70.
ICEISICEIS-v1-2012-Perez-CastilloGCP #database #elicitation #relational
Database Schema Elicitation to Modernize Relational Databases (RPC, IGRdG, DC, MP), pp. 126–132.
SEKESEKE-2012-DeltombeGB #legacy #modelling
Bridging KDM and ASTM for Model-Driven Software Modernization (GD, OLG, FB), pp. 517–524.
ASPLOSASPLOS-2012-FerdmanAKVAJKPAF #case study #hardware
Clearing the clouds: a study of emerging scale-out workloads on modern hardware (MF, AA, YOK, SV, MA, DJ, CK, ADP, AA, BF), pp. 37–48.
ASPLOSASPLOS-2012-KadavS #comprehension
Understanding modern device drivers (AK, MMS), pp. 87–98.
ICSTSAT-2012-JabbourLS #satisfiability
Intensification Search in Modern SAT Solvers — (Poster Presentation) (SJ, JL, LS), pp. 491–492.
VMCAIVMCAI-2012-OeSOC #named #satisfiability
versat: A Verified Modern SAT Solver (DO, AS, CO, KC), pp. 363–378.
VLDBVLDB-2011-Neumann #compilation #hardware #performance #query
Efficiently Compiling Efficient Query Plans for Modern Hardware (TN0), pp. 539–550.
CSEETCSEET-2011-Tanuan #case study #design #experience #mobile #programming
Design and delivery of a modern mobile application programming course — An experience report (MT), pp. 237–246.
ITiCSEITiCSE-2011-Connolly #education #web
Awakening Rip Van Winkle: modernizing the computer science web curriculum (RWC), pp. 18–22.
CHICHI-2011-ChilanaGF #multi #process
Modern software product support processes and the usage of multimedia formats (PKC, TG, GWF), pp. 3093–3102.
CHICHI-2011-LaViolaL #3d #game studies #video
Evaluating the benefits of 3d stereo in modern video games (JJLJ, TL), pp. 2345–2354.
ICEISICEIS-v4-2011-Changxian #design #industrial #roadmap
New Trends of Ergonomics and Its Importance in Modern Industrial Design (CC), pp. 543–547.
ICEISICEIS-v4-2011-HuoXT
Characteristics of Modern Logistics and Ways of Reducing Logistics Costs (CH, MX, YT), pp. 732–735.
KDDKDD-2011-BekkermanG #classification #documentation
High-precision phrase-based document classification on a modern scale (RB, MG), pp. 231–239.
OOPSLAOOPSLA-2011-Kulkarni #compilation #jit #policy
JIT compilation policy for modern machines (PAK), pp. 773–788.
ISMMISMM-2011-WagnerGWEF #memory management #web
Compartmental memory management in a modern web browser (GW, AG, CW, BE, MF), pp. 119–128.
ICSTSAT-2011-KatebiSS #empirical #satisfiability
Empirical Study of the Anatomy of Modern Sat Solvers (HK, KAS, JPMS), pp. 343–356.
SIGMODSIGMOD-2010-KimCSSNKLBD #architecture #named #performance
FAST: fast architecture sensitive tree search on modern CPUs and GPUs (CK, JC, NS, ES, ADN, TK, VWL, SAB, PD), pp. 339–350.
CSEETCSEET-2010-Garousi #case study #experience #testing
An Open Modern Software Testing Laboratory Courseware — An Experience Report (VG), pp. 177–184.
ICSMEICSM-2010-DajsurenGM #legacy #using
Modernizing legacy software using a System Grokking technology (YD, MG, DM), pp. 1–7.
ICPRICPR-2010-TsuchidaYT #development #image #multi
Development of a High-Definition and Multispectral Image Capturing System for Digital Archiving of Early Modern Tapestries of Kyoto Gion Festival (MT, KY, HTT), pp. 2828–2831.
SEKESEKE-2010-CostaBR
Software Project Portfolio Selection: a Modern Portfolio Theory Based Technique (HRC, MdOB, ARR), pp. 387–392.
SEKESEKE-2010-LeeSB #complexity #information management #legacy #visualisation
Knowledge Engineering to Visualize Complexity for Legacy Modernization Planning (SBL, SGS, KSB), pp. 331–334.
PPoPPPPoPP-2010-ZhangJS #matter #parallel #performance #question #source code #thread
Does cache sharing on modern CMP matter to the performance of contemporary multithreaded programs? (EZZ, YJ, XS), pp. 203–212.
DACDAC-2009-YanVC #scalability
Handling complexities in modern large-scale mixed-size placement (JZY, NV, CC), pp. 436–441.
VLDBVLDB-2009-KimSCKNBLSD #implementation #manycore #performance
Sort vs. Hash Revisited: Fast Join Implementation on Modern Multi-Core CPUs (CK, ES, JC, TK, ADN, ADB, VWL, NS, PD), pp. 1378–1389.
WCREWCRE-1999-Perez-CastilloGAP99a #legacy #on the #source code
On the Use of ADM to Contextualize Data on Legacy Source Code for Software Modernization (RPC, IGRdG, OAG, MP), pp. 128–132.
HCIIDGD-2009-Wong #image #legacy
Looking for the Image of Modernization: The Story of Made in Taiwan (MIT) (JJW), pp. 419–428.
ECMFAECMDA-FA-2009-IzquierdoM #domain-specific language #legacy #modelling
A Domain Specific Language for Extracting Models in Software Modernization (JLCI, JGM), pp. 82–97.
DATEDATE-2008-FrankWESN #analysis #architecture #design #evaluation #standard #tool support
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures (EF, RW, RE, ALSV, MDN), pp. 659–663.
GPCEGPCE-2008-Batory #modelling #using
Using modern mathematics as an FOSD modeling language (DSB), pp. 35–44.
SACSAC-2008-LinWZW #on the #performance #persistent #web
On the performance of persistent connection in modern web servers (XzL, HyW, JjZ, YxW), pp. 2403–2408.
SEKESEKE-2007-ZachariasA #debugging #on the #rule-based
On Modern Debugging For Rule-Based Systems (VZ, AA), pp. 349–353.
POPLPOPL-2007-AppelMRV #type system
A very modal model of a modern, major, general type system (AWA, PAM, CDR, JV), pp. 109–122.
ICSEICSE-2007-Jones #analysis #case study #design #implementation #re-engineering
Bringing the Systems Analysis and Design Course into 21^st Century: A Case Study in Implementing Modern Software Engineering Principles (CGJ), pp. 744–747.
PPoPPPPoPP-2007-SaraswatSP #architecture #concurrent #named #programming
X10: concurrent programming for modern architectures (VAS, VS, CvP), p. 271.
ITiCSEITiCSE-2006-WaiteJJD #compilation #design #implementation
Design and implementation of a modern compiler course (WMW, AJ, MHJ, AD), pp. 18–22.
PPoPPPPoPP-2006-Stata #parallel #programming #web
Parallel programming in modern web search engines (RS), p. 58.
RTARTA-2006-WehrmanSW #named #termination
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker (IW, AS, EMW), pp. 287–296.
DATEDATE-2005-SheiniS #named #pseudo #satisfiability
Pueblo: A Modern Pseudo-Boolean SAT Solver (HMS, KAS), pp. 684–685.
VLDBVLDB-2005-GhotingBPKNCD #mining
Cache-conscious Frequent Pattern Mining on a Modern Processor (AG, GB, SP, DK, ADN, YKC, PD), pp. 577–588.
ESOPESOP-2005-RanganathABDH #slicing
A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
CSMRCSMR-2005-KoskinenASTLK #empirical #legacy
Software Modernization Decision Criteria: An Empirical Study (JK, JJA, HS, TT, HL, IK), pp. 324–331.
WCREWCRE-2005-Newcomb #architecture #legacy
Architecture-Driven Modernization (ADM) (PN), p. 237.
HPCAHPCA-2005-SpracklenCA #effectiveness #multi
Effective Instruction Prefetching in Chip Multiprocessors for Modern Commercial Applications (LS, YC, SGA), pp. 225–236.
CAVCAV-2005-Bentley #validation
Validating a Modern Microprocessor (BB), pp. 2–4.
ICSTSAT-2005-LewisSB #satisfiability
Speedup Techniques Utilized in Modern SAT Solvers (MDTL, TS, BB), pp. 437–443.
WCREWCRE-2004-Bezivin #legacy
Model Engineering for Software Modernization (JB), p. 4.
ICEISICEIS-v3-2004-Nobre04a #what
Computer Ethics: What are we Talking About? Possible Contributions from Philosophy of Action, Critical Realism and Modern Hermeneutics (ÂLN), pp. 683–687.
ICMLICML-2003-LagoudakisP #classification #learning
Reinforcement Learning as Classification: Leveraging Modern Classifiers (MGL, RP), pp. 424–431.
RERE-2003-Stoewer #exclamation #industrial
Modern Systems Engineering: A Driving Force for Industrial Competitivity! (HS), p. 6.
ECOOPECOOP-2002-BentonCF #abstraction #c# #concurrent
Modern Concurrency Abstractions for C# (NB, LC, CF), pp. 415–440.
ICSMEICSM-2001-SiyV #question
Does the Modern Code Inspection Have Value? (HPS, LGV), p. 281–?.
AdaEuropeAdaEurope-2001-PautetQT #distributed
Building Modern Distributed Systems (LP, TQ, ST), pp. 123–135.
ICEISICEIS-v2-2001-Rak #design #development #tool support
Modern Tools for Development and Design of Virtual Instruments (RJR), pp. 1166–1169.
DACDAC-2000-GhazalNR #performance #predict
Predicting performance potential of modern DSPs (NG, ARN, JMR), pp. 332–335.
ICSMEICSM-2000-Comella-DordaWSR #bibliography #black box #information management #legacy
A Survey of Black-Box Modernization Approaches for Information Systems (SCD, KCW, RCS, JER), pp. 173–183.
ICSEICSE-2000-FieldingT #architecture #design #web
Principled design of the modern Web architecture (RTF, RNT), pp. 407–416.
VLDBVLDB-1999-AilamakiDHW #question
DBMSs on a Modern Processor: Where Does Time Go? (AA, DJD, MDH, DAW), pp. 266–277.
HCIHCI-CCAD-1999-FachB #adaptation #design #learning
Training wheels: an “old” method for designing modern and adaptable learning environments (PWF, MB), pp. 725–729.
AdaSIGAda-1999-HulseEUV #architecture #maintenance
Reducing maintenance costs through the application of modern software architecture principles (CH, SE, MU, LV), pp. 101–110.
AdaEuropeAdaEurope-1998-LewisVM #distributed #requirements
Modern Avionics Requirements for the Distributed Systems Annex (BAL, SV, DJM), pp. 201–212.
SIGIRSIGIR-1998-Bakel #documentation #information retrieval #knowledge-based
Modern Classical Document Indexing: A Linguistic Contribution to Knowledge-Based IR (BvB), pp. 333–334.
CAVCAV-1998-HenzingerKQ #model checking
From Pre-historic to Post-modern Symbolic Model Checking (TAH, OK, SQ), pp. 195–206.
HCIHCI-SEC-1997-HainesDRH
Information Presentation and Control in a Modern Air Traffic Control Tower Simulator (RFH, SD, BR, SH), pp. 209–212.
ICSMEICSM-1996-WallaceCW #case study #distributed #framework #legacy #migration
Discovering a system modernization decision framework: a case study in migrating to distributed object technology (EW, PCC, KCW), p. 185–?.
AdaEuropeAdaEurope-1996-Bremmon #ada #case study #experience #information management #legacy #object-oriented
The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95 (CB), pp. 427–438.
KDDKDD-1996-IglesiaDR #database #heuristic #using
Discovering Knowledge in Commercial Databases Using Modern Heuristic Techniques (BdlI, JCWD, VJRS), pp. 44–49.
SACSAC-1995-VagelatosTTC
Utilization of a lexicon for spelling correction in modern Greek (AV, TT, CT, DC), pp. 267–271.
LCTESLCT-RTS-1995-NilsenR #analysis #execution #worst-case
Worst-Case Execution Time Analysis on Modern Processors (KDN, BR), pp. 20–30.
CAiSECAiSE-1994-Wasserman #information management #legacy
Information Systems Modernization (AIW), p. 1.
HCIHCI-ACS-1993-Martin
Of Mice and Pens: Low Risk Healthy Postures for Modern Computing (MGM), pp. 791–796.
SIGIRSIGIR-1993-FoxFSDC #development
Development of a Modern OPAC: From REVTOLC to MARIAN (EAF, RKF, ES, AMD, BEC), pp. 248–259.
AdaTRI-Ada-C-1992-ArbaughG #development #experience #process
A Modern Development Process: Experience Gained from Topaz Project (RA, MG), pp. 240–248.
CAiSECAiSE-1989-LagerkvistN #automation #how #tool support
How to Succeed with Modern Tools such as the CASE tool “Deft” on the Macintosh (CL, ÅN).
OOPSLAOOPSLA-1988-SzczurM #case study #experience #user interface
Transportable Applications Environment (TAE) Plus Experiences in “Object”-ively Modernizing a User Interface Environment (MRS, PM), pp. 58–70.
SIGIRSIGIR-1986-IngwersenW #information retrieval #online
Improved Subject Access, Browsing and Scanning Mechanisms in Modern Online IR (PI, IW), pp. 68–76.
DACDAC-1983-Hahn #design #multi
Computer Design Language — Version Munich (CDLM) a modern multi-level language (WH), pp. 4–11.
ICSEICSE-1981-Paster #experience
Experience with Application of Modern Software Management Controls (DLP), pp. 18–26.
PLDISCC-1979-Feldman #compilation #fortran #implementation #tool support #using
Implementation of a portable Fortran 77 compiler using modern tools (SIF), pp. 98–106.

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.