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:
program (53)
system (24)
use (20)
model (18)
softwar (16)

Stem special$ (all stems)

246 papers:

DATEDATE-2015-ParkAHYL #big data #energy #gpu #low cost #memory management #performance
Memory fast-forward: a low cost special function unit to enhance energy efficiency in GPU for big data processing (EP, JA, SH, SY, SL), pp. 1341–1346.
ICSMEICSME-2015-MedicherlaKN #specification #using #verification
Program specialization and verification using file format specifications (RKM, RK, SN), pp. 191–200.
CHICHI-2015-AmmariS15a #facebook
Networked Empowerment on Facebook Groups for Parents of Children with Special Needs (TA, SYS), pp. 2805–2814.
PPDPPPDP-2015-AngelisFPP #generative #semantics #verification
Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
DATEDATE-2014-RuhrmairSB #how
Special session: How secure are PUFs really? On the reach and limits of recent PUF attacks (UR, US, WB), pp. 1–4.
DATEDATE-2014-ShiC #named
Memcomputing: The cape of good hope: [Extended special session description] (YS, HMC), pp. 1–3.
PEPMPEPM-J-2013-AngelisFPP14 #verification
Program verification via iterated specialization (EDA, FF, AP, MP), pp. 149–175.
PLDIPLDI-2014-AungHJR #slicing
Specialization slicing (MA, SH, RJ, TWR), p. 19.
CSCWCSCW-2014-ChangKGT #gender #social
Specialization, homophily, and gender in a social curation site: findings from pinterest (SC, VK, EG, LGT), pp. 674–686.
HCIDUXU-ELAS-2014-CagiltayCKCA #education #usability
Innovative Educational Technology for Special Education and Usability Issues (, , NK, HC, GKA), pp. 155–163.
KDDKDD-2014-BiKWC #resource management #topic
Who are experts specializing in landscape photography?: analyzing topic-specific authority on content sharing services (BB, BK, CW, JC), pp. 1506–1515.
RecSysRecSys-2014-AdamopoulosT14a #bias #collaboration #on the #probability #recommendation
On over-specialization and concentration bias of recommendations: probabilistic neighborhood selection in collaborative filtering systems (PA, AT), pp. 153–160.
GPCEGPCE-2014-DanilewskiKLMS #staging
Specialization through dynamic staging (PD, MK, RL, RM, PS), pp. 103–112.
GPCEGPCE-2014-JarviFH #constraints #data flow #multi
Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.
GPCEGPCE-2014-KaminGAXYC #multi #optimisation #runtime
Optimization by runtime specialization for sparse matrix-vector multiplication (SK, MJG, BA, DX, BY, ZC), pp. 93–102.
GPCEGPCE-2014-SteindorferV #memory management #performance
Code specialization for memory efficient hash tries (short paper) (MJS, JJV), pp. 11–14.
ASPLOSASPLOS-2014-Wood #architecture #named
Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.
CGOCGO-2014-WangWP #optimisation #reduction #virtual machine
Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.
PPoPPPPoPP-2014-BauerTA #named #performance
Singe: leveraging warp specialization for high performance on GPUs (MB, ST, AA), pp. 119–130.
DACDAC-2013-GrossmanTBS #design #framework #simulation
The role of cascade, a cycle-based simulation infrastructure, in designing the anton special-purpose supercomputers (JPG, BT, JAB, DES), p. 9.
PEPMPEPM-2013-AngelisFPP #source code #verification
Verifying programs via iterated specialization (EDA, FF, AP, MP), pp. 43–52.
IFLIFL-2013-GrelckW #adaptation #array #functional #generative #performance
Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.
HCIHCI-AMTE-2013-ForbrigMZ #challenge #modelling #smarttech
Special Challenges for Models and Patterns in Smart Environments (PF, CM, MZ), pp. 340–349.
HCIHIMI-HSM-2013-HeinCCMLG #coordination #simulation
Developing a High-Fidelity Simulation and Training to Improve Coordination between Aerospace Specializations (MH, PC, PC, RM, GL, AG), pp. 66–75.
HCIHIMI-LCCB-2013-YaoS #design #visual notation
The Designing Expressions of the Special Visual Effect Film in the Digital Technology (THY, CYS), pp. 267–274.
ICMLICML-c3-2013-GermainHLM #adaptation #approach #classification #linear
A PAC-Bayesian Approach for Domain Adaptation with Specialization to Linear Classifiers (PG, AH, FL, EM), pp. 738–746.
GPCEGPCE-2013-ChapinSSW #named #network #programming #staged
Scalaness/nesT: type specialized staged programming for sensor networks (PCC, CS, SFS, MW), pp. 135–144.
LOPSTRLOPSTR-2013-PoulsenM #composition #generative #semantics
Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
ASPLOSASPLOS-2013-OhKJLA #automation
Practical automatic loop specialization (TO, HK, NPJ, JWL, DIA), pp. 419–430.
CGOCGO-2013-CostaASP
Just-in-time value specialization (IRdAC, PROA, HNS, FMQP), p. 11.
HPDCHPDC-2013-Shaw #named #simulation
Anton: a special-purpose machine that achieves a hundred-fold speedup in biomolecular simulations (DES), pp. 129–130.
PLDIPLDI-2012-WuTHCY #analysis #parallel #precise #source code
Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.
LOPSTRLOPSTR-2012-AngelisFPP #model checking
Specialization with Constrained Generalization for Software Model Checking (EDA, FF, AP, MP), pp. 51–70.
SACSAC-2012-DamianiPW #object-oriented #programming #type system
A type system for checking specialization of packages in object-oriented programming (FD, APH, YW), pp. 1737–1742.
CGOCGO-2012-ZhangDS #database #named
Micro-specialization: dynamic code specialization of database management systems (RZ, SD, RTS), pp. 63–73.
PPoPPPPoPP-2012-WernsingS #automation #heuristic #manycore #named
RACECAR: a heuristic for automatic function specialization on multi-core heterogeneous systems (JRW, GS), pp. 321–322.
ICLPICLP-2012-Angelis #model checking
Software Model Checking by Program Specialization (EDA), pp. 439–444.
DACDAC-2011-DensmoreHKSAWV #biology #design #synthesis
Joint DAC/IWBDA special session design and synthesis of biological circuits (DD, MH, SK, XS, AA, EW, CV), pp. 114–115.
DATEDATE-2011-HuangWSLXL #embedded #low cost
A specialized low-cost vectorized loop buffer for embedded processors (LH, ZW, LS, HL, NX, CL), pp. 1200–1203.
CSEETCSEET-2011-WhiteC #design #implementation #online #re-engineering
The design and implementation of an innovative online program for a master of science degree in Computer Science — Software Engineering specialization (LJW, JWC), pp. 257–265.
SCAMSCAM-J-2009-Ross11 #editing #quality
Guest Editor’s Introduction to the Special Section on the 2009 Software Quality Management conference (MR), pp. 379–380.
CSMRCSMR-2011-HigoK #clone detection #dependence #detection #heuristic
Code Clone Detection on Specialized PDGs with Heuristics (YH, SK), pp. 75–84.
CHICHI-2011-ZarinF #design #interactive
Through the troll forest: exploring tabletop interaction design for children with special cognitive needs (RZ, DF), pp. 3319–3322.
HCIHCI-DDA-2011-PeissnerSS #adaptation #approach #design pattern #user interface
A Design Patterns Approach to Adaptive User Interfaces for Users with Special Needs (MP, AS, DS), pp. 268–277.
KEODKEOD-2011-HotzR
Thoughts about Structuralization, Specialization, Instantiation, and Metaization (LH, SvR), pp. 457–460.
LOPSTRLOPSTR-2011-FioravantiPPS #using
Using Real Relaxations during Program Specialization (FF, AP, MP, VS), pp. 106–122.
HPCAHPCA-2011-GovindarajuHS #energy #performance
Dynamically Specialized Datapaths for energy efficient computing (VG, CHH, KS), pp. 503–514.
CAVCAV-2011-ChinGVLCQ #calculus #verification
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification (WNC, CG, RV, QLL, FC, SQ), pp. 293–309.
DACDAC-2010-Ababei #design #modelling #network #optimisation #using
Network on chip design and optimization using specialized influence models (CA), pp. 625–626.
DACDAC-2010-RiedelHWSAM #biology
Joint DAC/IWBDA special session engineering biology: fundamentals and applications (MR, SH, RW, PS, JCA, RMM), pp. 220–221.
DATEDATE-2010-ZhangDYMZKCPS #code generation #compilation #evaluation
A special-purpose compiler for look-up table and code generation for function evaluation (YZ, LD, PY, SPM, HZ, MTK, CC, NP, XS), pp. 1130–1135.
CIKMCIKM-2010-LiLBZ #optimisation #ranking #web
Optimizing unified loss for web ranking specialization (FL, XL, JB, ZZ), pp. 1593–1596.
ICPRICPR-2010-Chicheva #2d #algorithm #data transformation #parallel #representation
Parallel Algorithm of Two-Dimensional Discrete Cosine Transform Based on Special Data Representation (MAC), pp. 2326–2328.
LOPSTRLOPSTR-2010-FioravantiPPS #evaluation #infinity #verification
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (FF, AP, MP, VS), pp. 164–183.
SLESLE-2010-BakCW #metamodelling
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled (KB, KC, AW), pp. 102–122.
CCCC-2010-Chevalier-BoisvertHV #matlab #optimisation
Optimizing Matlab through Just-In-Time Specialization (MCB, LJH, CV), pp. 46–65.
ICLPICLP-2010-Fierens10 #logic #modelling #performance #probability
Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization (DF), pp. 74–83.
PEPMPEPM-2009-EversK #automation #network
Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks (LE, JK), pp. 73–80.
PEPMPEPM-2009-MatsudaHT #type system #xml
Type-based specialization of xml transformations (KM, ZH, MT), pp. 61–72.
PLDIPLDI-2009-GalESAMHKHZORSRBCF
Trace-based just-in-time type specialization for dynamic languages (AG, BE, MS, DA, DM, MRH, BK, GH, BZ, JO, JR, EWS, RR, MB, MC, MF), pp. 465–478.
LATALATA-2009-DassowT #petri net
Grammars Controlled by Special Petri Nets (JD, ST), pp. 326–337.
HCIDHM-2009-Weber #algorithm
Intelligent Motion Tracking by Combining Specialized Algorithms (MW), pp. 170–179.
CIKMCIKM-2009-KementsietsidisW #evaluation #query #question #what
Provenance query evaluation: what’s so special about it? (AK, MW), pp. 681–690.
KMISKMIS-2009-VinandPPV #design
Managing Engineering Knowledge in Special Machine Design Companies (PEV, FP, GP, FV), pp. 123–128.
CCCC-2009-VasudevanTDE #analysis #concurrent #source code
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs (NV, OT, JD, SAE), pp. 48–62.
HPCAHPCA-2009-YehiaGBT #flexibility
Reconciling specialization and flexibility through compound circuits (SY, SG, HB, OT), pp. 277–288.
ICSTSAT-2009-Nieuwenhuis #algorithm #modulo theories #satisfiability
SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms (RN), p. 1.
PEPMPEPM-2008-PopeeaXC #array #bound #precise
A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
PEPMPEPM-2008-ZhuK #library #using
Specialization for applications using shared libraries (PZ, SCK), pp. 159–168.
SEFMSEFM-2008-DjokoDF #aspect-oriented
Specialized Aspect Languages Preserving Classes of Properties (SDD, RD, PF), pp. 227–236.
ICEISICEIS-AIDSS-2008-BiscarriMLGBM #data mining #mining #variability
A Data Mining Method Based on the Variability of the Customer Consumption — A Special Application on Electric Utility Companies (FB, IM, CL, JIG, JB, RM), pp. 370–374.
CIKMCIKM-2008-LuoTYW #information retrieval #named
MedSearch: a specialized search engine for medical information retrieval (GL, CT, HY, XW), pp. 143–152.
SACSAC-2008-KhanCB #optimisation
Optimizing code through iterative specialization (MAK, HPC, DB), pp. 206–210.
HPCAHPCA-2008-KuskinYGBDDS #flexibility #simulation
Incorporating flexibility in Anton, a specialized machine for molecular dynamics simulation (JK, CY, JPG, BB, MMD, ROD, DES), pp. 343–354.
HPCAHPCA-2008-LarsonSDDYGSKS #interactive #simulation
High-throughput pairwise point interactions in Anton, a specialized machine for molecular dynamics simulation (RHL, JKS, ROD, MMD, CY, JPG, YS, JLK, DES), pp. 331–342.
ISMMISMM-2008-PizloPS #execution
Path specialization: reducing phased execution overheads (FP, EP, BS), pp. 81–90.
CASECASE-2007-Tomas-RodriguezS #automation #modelling
Automated Modeling of Rotorcraft Dynamics with Special Reference to Autosim (MTR, RSS), pp. 974–979.
CSEETCSEET-2007-MeadHMRS #on the #re-engineering #source code
On the Feasibility of Specialization within Software Engineering Degree Programs (NRM, TBH, JM, MR, DS), pp. 362–366.
PEPMPEPM-2007-ZhuK #component #reuse #towards
Towards constructing reusable specialization components (PZ, SCK), pp. 154–163.
HCIHCI-IDU-2007-EschenbrennerN #identification #information management #what
What Makes Them So Special?: Identifying Attributes of Highly Competent Information System Users (BE, FFHN), pp. 736–745.
HCIHCI-MIE-2007-YangCZJ #flexibility #interactive #multi #user interface
Flexible Multi-modal Interaction Technologies and User Interface Specially Designed for Chinese Car Infotainment System (CY, NC, PfZ, ZJ), pp. 243–252.
ICEISICEIS-J-2007-CastroO07a #distributed #multi #problem #using
Solving Airline Operations Problems Using Specialized Agents in a Distributed Multi-Agent System (AJMC, ECO), pp. 173–184.
RecSysRecSys-2007-BerkovskyKR #collaboration #distributed
Distributed collaborative filtering with domain specialization (SB, TK, FR), pp. 33–40.
POPLPOPL-2007-ReppyX #message passing
Specialization of CML message-passing primitives (JHR, YX), pp. 315–326.
VMCAIVMCAI-2007-Lev-AmiSIR #analysis
Constructing Specialized Shape Analyses for Uniform Change (TLA, MS, NI, TWR), pp. 215–233.
DATEDATE-2006-BonnetLM #framework #monitoring #named #network #towards
Hogthrob: towards a sensor network infrastructure for sow monitoring (wireless sensor network special day) (PB, ML, KM), p. 1109.
DATEDATE-2006-NollL #aspect-oriented
Cross disciplinary aspects (4G wireless special day) (TGN, UL), p. 726.
SCAMSCAM-J-2005-AntoniolKT06 #analysis #source code
Special issue on Source code analysis and manipulation (GA, JK, PT), pp. 205–208.
PEPMPEPM-2006-Edwards #fixpoint #simulation #using
Using program specialization to speed SystemC fixed-point simulation (SAE), pp. 21–28.
PLDIPLDI-2006-JarviGWLS #algorithm #c++ #challenge #programming
Algorithm specialization in generic programming: challenges of constrained generics in C++ (JJ, DG, JW, AL, JGS), pp. 272–282.
SASSAS-2006-Arnold #analysis #logic #refinement #using
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.
SASSAS-2006-PueblaAH #abstract interpretation
Abstract Interpretation with Specialized Definitions (GP, EA, MVH), pp. 107–126.
CHICHI-2006-RoblesSRN #how
Being watched or being special: how I learned to stop worrying and love being monitored, surveilled, and assessed (ER, AS, KR, CN), pp. 831–839.
KRKR-2006-ErdoganL
Actions as Special Cases (STE, VL), pp. 377–388.
SACSAC-2006-BezivinPV #model transformation
Special track on model transformation (MT 2006) (JB, AP, AV), pp. 1186–1187.
ASPLOSASPLOS-2006-ChakrabortyWS #hardware #migration #on the fly
Computation spreading: employing hardware migration to specialize CMP cores on-the-fly (KC, PMW, GSS), pp. 283–292.
ASEASE-2005-MenziesPCH #cost analysis #modelling
Specialization and extrapolation of software cost models (TM, DP, ZC, JH), pp. 384–387.
DATEDATE-2005-BortolazziMBM #architecture
Automotive System Architectures (Automotive Special Day) (JB, JLM, JB, CM), p. 654.
ICDARICDAR-2005-CecottiB05a #approach #documentation #hybrid
Hybrid OCR combination approach complemented by a specialized ICR applied on ancient documents (HC, AB), pp. 1045–1049.
ICDARICDAR-2005-Kavallieratou #algorithm #documentation #image
A Binarization Algorithm specialized on Document Images and Photos (EK), pp. 463–467.
ECMFAECMDA-FA-2005-HwanKC #feature model #modelling
Synchronizing Cardinality-Based Feature Models and Their Specializations (CHPK, KC), pp. 331–348.
OOPSLAOOPSLA-2005-ShankarSBS #analysis #runtime
Runtime specialization with optimistic heap analysis (AS, SSS, RB, JES), pp. 327–343.
LOPSTRLOPSTR-2005-OchoaPH #prolog #source code
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs (CO, GP, MVH), pp. 80–97.
PADLPADL-2005-BraunerEFGP #case study #generative
Specializing Narrowing for Timetable Generation: A Case Study (NB, RE, GF, HG, FP), pp. 22–36.
LCTESLCTES-2005-ChanetSBPB #kernel #linux
System-wide compaction and specialization of the linux kernel (DC, BDS, BDB, LVP, KDB), pp. 95–104.
ICLPICLP-2005-PueblaAH #analysis #framework #logic programming #source code
A Generic Framework for the Analysis and Specialization of Logic Programs (GP, EA, MVH), pp. 407–409.
LICSLICS-2005-DawarO #theorem
Modal Characterisation Theorems over Special Classes of Frames (AD, MO), pp. 21–30.
ASEASE-2004-HammoudaKPKM #adaptation #framework #uml
Adaptable Concern-Based Framework Specialization in UML (IH, JK, MP, MK, TM), pp. 78–87.
CSEETCSEET-2004-MacNeil #comprehension #education #re-engineering
Teaching for Understanding and Its Specialization to Software Engineering (PEM), pp. 24–29.
PASTEPASTE-2004-NystromKH #analysis #pointer
Importance of heap specialization in pointer analysis (EMN, HSK, WmWH), pp. 43–48.
PEPMPEPM-2004-AndersenS #declarative
Declarative specialization for object-oriented-program specialization (HMA, UPS), pp. 27–38.
PEPMPEPM-2004-BobeffN #component
Component specialization (GJB, JN), pp. 39–50.
PEPMPEPM-2004-Daugherty
Invited application paper: a proposal for the specialization of HA/DRE systems (GD), pp. 56–67.
PEPMPEPM-2004-Rigo #prototype #python
Representation-based just-in-time specialization and the psyco prototype for python (AR), pp. 15–26.
SIGIRSIGIR-2004-ChandrasekarCCB
Subwebs for specialized search (RC, HC, SCO, EB), pp. 480–481.
GPCEGPCE-2004-Schultz #automation #inheritance #unification
A Unification of Inheritance and Automatic Program Specialization (UPS), pp. 244–265.
LOPSTRLOPSTR-2004-Fruhwirth #concurrent #multi
Specialization of Concurrent Guarded Multi-set Transformation Rules (TWF), pp. 133–148.
SACSAC-2004-BellaR #security
Editoral message: special track on computer security (GB, PR), pp. 373–374.
SACSAC-2004-OssowskiM #coordination #modelling
Editoral message: special track on coordination models, languages and applications (SO, RM), pp. 447–448.
CGOCGO-2004-AlmogRSS #architecture #energy #optimisation
Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture (YA, RR, NS, AS), pp. 137–150.
SCAMSCAM-2003-OlmosV #compilation #dynamic typing #static typing #type system
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave (KO, EV), pp. 141–150.
PEPMPEPM-2003-PueblaH
Abstract specialization and its applications (GP, MVH), pp. 29–43.
ICEISICEIS-v2-2003-ZhengE #automation #documentation #summary #using #web
Using Specialized Knowledge in Automated Web Document Summarization (ZZ, GE), pp. 579–582.
SACSAC-2003-Blake #architecture #distributed #retrieval
An Architecture to Support Distributed Data Retrieval in Specialized Formats (MBB), pp. 803–810.
DACDAC-2002-KolblKAD #simulation
Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
PEPMASIA-PEPM-2002-AffeldtMSY #bytecode #runtime
Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.
PEPMASIA-PEPM-2002-Gluck
Jones optimality, binding-time improvements, and the strength of program specializers (RG), pp. 9–19.
PEPMASIA-PEPM-2002-KhooS #constraints
Output-constraint specialization (SCK, KS), pp. 106–116.
PEPMASIA-PEPM-2002-ParkP #data type #using
Using indexed data structures for program specialization (JGP, MSP), pp. 61–69.
PEPMPEPM-2002-Vidal
Cost-augmented narrowing-driven specialization (GV), pp. 52–62.
PLDIPLDI-2002-RamalingamWFGS #analysis #component #consistency
Deriving Specialized Program Analyses for Certifying Component-Client Conformance (GR, AV, JF, DG, SS), pp. 83–94.
ICPRICPR-v2-2002-KimJKS #clustering #detection #segmentation #word
Word Segmentation of Printed Text Lines Based on Gap Clustering and Special Symbol Detection (SHK, CBJ, HKK, CYS), pp. 320–323.
LOPSTRLOPSTR-2002-PeraltaG #abstraction #source code
Convex Hull Abstractions in Specialization of CLP Programs (JCP, JPG), pp. 90–108.
SATSAT-2002-Bruni #satisfiability
Exact selection of minimal unsatisfiable subformulae for special classes of propositional formulae (RB), p. 22.
WICSAWICSA-2001-HakalaHKPVV #architecture #reuse
Annotating Reusable Software Architectures with Specialization Patterns (MH, JH, KK, JP, AV, JV), pp. 171–180.
ESOPESOP-2001-Thiemann #safety #using
Enforcing Safety Properties Using Type Specialization (PT), pp. 62–76.
ICEISICEIS-v1-2001-GoncalvesLB #integration
Specializing Agents on Data Integration in Data Warehousing System Environment (JG, AL, OB), pp. 19–23.
SEKESEKE-2001-Chang #multi #re-engineering
A Special Presentation on Multimedia Software Engineering (SKC), p. 346.
PPDPPPDP-2001-NassenCS #prolog #virtual machine
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
ASEASE-2000-SchultzLC
Specialization Patterns (UPS, JLL, CC), p. 197–?.
PEPMPEPM-2000-Walpole #case study #challenge #experience #operating system
Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk) (JW), p. 83.
SASSAS-2000-MuthWD
Code Specialization Based on Value Profiles (RM, SAW, SKD), pp. 340–359.
ICPRICPR-v1-2000-KruizingaP #analysis
A Nonlinear Texture Operator Specialized in the Analysis of Dot-Patterns (PK, NP), pp. 1197–1201.
ICPRICPR-v4-2000-LiangCPH
A Methodology for Special Symbol Recognitions (JL, VC, ITP, RMH), pp. 4011–4014.
TOOLSTOOLS-PACIFIC-2000-AuerD #development #migration #object-oriented
A Model for the Migration to object-oriented Software Development with Special Emphasis on Improvement of Acceptance (DA, HD), pp. 132–145.
LOPSTRLOPSTR-2000-FioravantiPP #automation #constraints #logic programming #source code
Automated strategies for specializing constraint logic programs (FF, AP, MP).
LOPSTRLOPSTR-J-2000-FioravantiPP #automation #constraints #logic programming #source code
Automated Strategies for Specializing Constraint Logic Programs (FF, AP, MP), pp. 125–146.
GPCESAIG-2000-HelsenT
Fragmental Specialization (SH, PT), pp. 51–71.
GPCESAIG-2000-Makholm #on the
On Jones-Optimal Specialization for Strongly Typed Languages (HM), pp. 129–148.
GPCESAIG-2000-Muller #source code
Specialization of Systems Programs: Lessons and Perspectives (GM), pp. 7–8.
GPCESAIG-2000-SongF #approach #termination
A New Termination Approach for Specialization (LS, YF), pp. 72–91.
CADECADE-2000-BachmairT #congruence
Abstract Congruence Closure and Specializations (LB, AT), pp. 64–78.
ITiCSEITiCSE-1999-SheardH #learning #student
A special learning environment for repeat students (JS, DH), pp. 56–59.
WCREWCRE-1999-Balmas #named #query #source code
QBO: A Query Tool Specially Developed to Explore Programs (FB), pp. 270–279.
PEPMPEPM-1999-ChirokoffC
Combining Program and Data Specialization (SC, CC), pp. 45–59.
PEPMPEPM-1999-Thiemann #type system
Interpreting Specialization in Type Theory (PT), pp. 30–43.
PLDIPLDI-1999-MarletCB #for free #incremental #performance #runtime
Efficient Incremental Run-Time Specialization for Free (RM, CC, PB), pp. 281–292.
DLTDLT-1999-CarpiLV
Special factors in some combinational structures (AC, AdL, SV), pp. 3–13.
ICFPICFP-1999-AlpuenteHLV #functional #logic programming #source code
Specialization of Inductively Sequential Functional Logic Programs (MA, MH, SL, GV), pp. 273–283.
HCIHCI-CCAD-1999-BrownS #development #education #learning #people
An illustrated methodology for the development of virtual learning environments for use by people in special needs education (DJB, DSS), pp. 1105–1110.
HCIHCI-CCAD-1999-Burmester #design #people #requirements #user interface
Consumer electronics user interfaces for all. Design on the basis of the special requirements of elderly people (MB), pp. 942–946.
ECOOPECOOP-1999-SchultzLCM #automation #java #source code #towards
Towards Automatic Specialization of Java Programs (UPS, JLL, CC, GM), pp. 367–390.
PADLPADL-1999-FerreiraD #multi
Multiple Specialization of WAM Code (MF, LD), pp. 243–258.
SACSAC-1999-OgataIF #optimisation #term rewriting #using
Optimizing Term Rewriting Using Discrimination Nets With Specialization (KO, SI, KF), pp. 511–518.
SACSAC-1999-Papadopoulos #coordination #modelling
Special Track on Coordination Models, Languages and Applications (GAP), pp. 132–133.
DATEDATE-1998-WangK #reduction
A Performance-Driven MCM Router with Special Consideration of Crosstalk Reduction (DW, ESK), pp. 466–470.
ESOPESOP-1998-Thiemann #framework
A Generic Framework for Specialization (Abridged Version) (PT), pp. 267–281.
WRLAWRLA-1998-Schorlemmer #logic
Rewriting logic as a logic of special relations (WMS), pp. 196–217.
SASSAS-1998-AlbertAFJV #functional #logic programming
Improving Control in Functional Logic Program Specialization (EA, MA, MF, PJI, GV), pp. 262–277.
ICALPICALP-1998-Danvy
A Simple Solution to Type Specialization (OD), pp. 908–917.
ICFPICFP-1998-Kiselyov
LAND*: an AND with local bindings, a guarded LET* special form (OK), p. 336.
PPDPALP-PLILP-1998-HatcliffDL #analysis #staging #using
Staging Static Analyses Using Abstraction-Based Program Specialization (JH, MBD, SL), pp. 134–151.
LOPSTRLOPSTR-1998-GluckHJ #online
Generalization in Hierarchies of Online Program Specialization Systems (RG, JH, JJ), pp. 179–198.
PEPMPEPM-1997-AlpuenteFJV #functional #lazy evaluation #logic programming #source code
Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.
PEPMPEPM-1997-GrantMPCE #c #runtime
Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.
SASSAS-1997-HornofCN #effectiveness #source code
Effective Specialization of Realistic Programs via Use Sensitivity (LH, CC, JN), pp. 293–314.
STOCSTOC-1997-FreundSSW #predict #using
Using and Combining Predictors That Specialize (YF, RES, YS, MKW), pp. 334–343.
ICALPICALP-1997-NarendranO #confluence #decidability #finite #problem #string #term rewriting #word
The Word Matching Problem Is Undecidable For Finite Special String-Rewriting Systems That Are Confluent (PN, FO), pp. 638–648.
ICFPICFP-1997-Draves #implementation
Implementing Bit-addressing with Specialization (SD), pp. 239–250.
ICFPICFP-1997-DussartHT #imperative
Type Specialization for Imperative Languages (DD, JH, PT), pp. 204–216.
CHICHI-1997-FitzmauriceB #empirical #evaluation #multi #towards #user interface
An Empirical Evaluation of Graspable User Interfaces: Towards Specialized, Space-Multiplexed Input (GWF, WB), pp. 43–50.
UMLUML-1997-Strahringer #modelling #object-oriented
Ways of Handling and Interpreting Specialization in Object-Oriented Modeling (SS), pp. 170–189.
OOPSLAOOPSLA-1997-TipS
Class Hierarchy Specialization (FT, PFS), pp. 271–285.
OOPSLAOOPSLA-1997-VolanschiCMC #declarative #object-oriented #source code
Declarative Specialization of Object-Oriented Programs (ENV, CC, GM, CC), pp. 286–300.
POPLPOPL-1997-PettorossiPR #logic programming #nondeterminism #source code
Reducing Nondeterminism while Specializing Logic Programs (AP, MP, SR), pp. 414–427.
CSEETCSEE-1996-HooverSM #re-engineering
The Carnegie Mellon University Master of Software Engineering Specialization Tracks (CLH, MS, NRM), pp. 100–118.
WPCWPC-1996-BlazyF #analysis #comprehension #interprocedural
Interprocedural analysis for program comprehension by specialization (SB, PF), p. 133–?.
PLDIPLDI-1996-KnoblockR
Data Specialization (TBK, ER), pp. 215–225.
ECOOPECOOP-1996-BoylandC #compilation #type safety
Type-Safe Compilation of Covariant Specialization: A Practical Case (JB, GC), pp. 3–25.
LOPSTRLOPSTR-1996-PueblaH #parallel
Abstract Specialization and Its Application to Program Parallelization (GP, MVH), pp. 169–186.
POPLPOPL-1996-ConselN #approach #c #runtime
A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.
SACSAC-1996-FordHPT #network #repository #standard #tool support
Linking specialized network data repositories to standard access tools (RF, GH, VP, DT), pp. 219–223.
PEPMPEPM-1995-Jones #years after
Special Address: MIX ten years after (NDJ), pp. 24–38.
PEPMPEPM-1995-PueblaH #implementation #logic programming #multi #source code
Implementation of Multiple Specialization in Logic Programs (GP, MVH), pp. 77–87.
PLDIPLDI-1995-DeanCG #object-oriented
Selective Specialization for Object-Oriented Languages (JD, CC, DG), pp. 93–102.
DLTDLT-1995-Cassaigne #complexity #linear #sequence
Special Factors of Sequences with Linear Subword Complexity (JC), pp. 25–34.
ECOOPECOOP-1995-HolzleU #hardware #object-oriented #question
Do Object-Oriented Languages Need Special Hardware Support? (UH, DU), pp. 283–302.
PPDPPLILP-1995-GluckJ #generative #multi #performance
Efficient Multi-level Generating Extensions for Program Specialization (RG, JJ), pp. 259–278.
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.
PEPMPEPM-1994-DeanCG #identification #object-oriented
Identifying Profitable Specialization in Object-Oriented Languages (JD, CC, DG), pp. 85–96.
CHICHI-1994-GongK94a #development #validation
A validation of the GOMS model methodology in the development of a specialized, commercial software application (RG, DEK), pp. 351–357.
AdaTRI-Ada-1994-Raiha #named
Delegation: Dynamic Specialization (LR), pp. 172–179.
SEKESEKE-1994-Pliuskeviciene #hoare #logic #recursion
Specialization of derivations in Hoare-like logic with recursive procedures (AP), pp. 124–130.
SACSAC-1994-RayJD #algorithm #array #graph #linear #parallel
A parallel algorithm for mapping a special class of task graphs onto linear array multiprocessors (SR, HJ, JSD), pp. 473–477.
FSEFSE-1994-VandevoordeG #analysis #composition #runtime #using
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity (MTV, JVG), pp. 121–127.
SIGMODSIGMOD-1993-Egenhofer #database #navigation #requirements #what
What’s Special about Spatial? Database Requirements for Vehicle Navigation in Geographic Space (Extended Abstract) (MJE), pp. 398–402.
PEPMPEPM-1993-Bulyonkov #analysis
Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer (MAB), pp. 59–65.
HCIHCI-ACS-1993-Yamamoto #performance
Topographic EEG Study of VDT Performance with Special Reference to Frontal Midline Theta Waves (Fm q) and Mental Work (SY), pp. 897–902.
SEKESEKE-1993-LinCH #information management #network
A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software (CYIL, CCC, CSH), pp. 235–238.
OOPSLAOOPSLA-1993-Lamping #interface #type system
Typing the Specialization Interface (JL), pp. 201–214.
HPDCHPDC-1993-LilienkampWS #distributed
Accessing Remote Special Files in a Distributed Computing Envinronment (JL, BJW, RS), pp. 244–251.
ICLPILPS-1993-Tarau #continuation #performance #source code
An Efficient Specialization of the WAM for Continuation Passing Binary Programs (PT), p. 652.
PEPMPEPM-1992-Andersen #c #self
Self-applicable C Program Specialization (LOA), pp. 54–61.
PEPMPEPM-1992-RufW #analysis #control flow #higher-order #using
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis (ER, DW), pp. 67–74.
CHICHI-1992-McMillan #human-computer #interactive #modelling
Computing for Users with Special Needs and Models of Computer-Human Interaction (WWM), pp. 143–148.
SIGIRSIGIR-1992-BartellCB #multi #scalability #semantics
Latent Semantic Indexing is an Optimal Special Case of Multidimensional Scaling (BTB, GWC, RKB), pp. 161–167.
CADECADE-1992-MannaW
The Special-Relation Rules are Incomplete (ZM, RJW), pp. 492–506.
DACDAC-1991-AuWS #automation #generative #simulation
Automatic Generation of Compiled Simulations through Program Specialization (WYA, DW, SS), pp. 205–210.
PEPMPEPM-1991-Klimov #functional
Dynamic Specialization in Extended Functional Language with Monotone Objects (AVK), pp. 199–210.
PEPMPEPM-1991-RufW #using
Using Types to Avoid Redundant Specialization (ER, DW), pp. 321–333.
SASWSA-1991-Malmkjaer #on the #source code
On Static Properties of Specialized Programs (KM), pp. 234–241.
ICALPICALP-1991-MadlenerNO #monad #string #term rewriting
A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups (KM, PN, FO), pp. 279–290.
ESECESEC-1991-Coen-PorisiniP #named
SESADA: An Environment Supporting Software Specialization (ACP, FDP), pp. 266–289.
ESOPESOP-1990-Romanenko
Arity Raiser and its Use in Program Specialization (SAR), pp. 341–360.
OOPSLAOOPSLA-ECOOP-1990-KahnS #concurrent #constraints #programming
Actors as a Special Case of Concurrent Constraint Programming (KMK, VAS), pp. 57–66.
POPLPOPL-1990-Mitchell #inheritance #towards
Toward a Typed Foundation for Method Specialization and Inheritance (JCM), pp. 109–124.
CCCC-1990-KrohaF #compilation #multi #scheduling
A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System (PK, PF), pp. 132–146.
ICLPCLP-1990-JacobsLW90 #logic programming #multi #runtime #source code
Multiple Specialization of Logic Programs with Run-Time Test (DJ, AL, WHW), pp. 717–731.
DACDAC-1989-BhatN #architecture
Special Purpose Architecture for Accelerating Bitmap DRC (NBB, SKN), pp. 674–677.
ICLPNACLP-1989-Winsborough #analysis #multi #reachability
Path-Dependent Reachability Analysis for Multiple Specialization (WHW), pp. 133–153.
SIGMODSIGMOD-1988-Bell #data transformation #execution #parallel #physics
A Specialized Data Management System For Parallel Execution of Particle Physics Codes (JLB), pp. 277–285.
DACDAC-1985-Frank #data-driven #simulation #using
Switch-level simulation of VLSI using a special-purpose data-driven computer (EHF), pp. 735–738.
DACDAC-1985-WinslettBPW #database #design #relational
Relational and entity-relationship model databases and specialized design files in VLSI design (MW, RB, THP, GW), pp. 410–416.
ICALPICALP-1985-MannaW #automation #deduction
Special Relations in Automated Deduction (ZM, RJW), pp. 413–423.
ICALPICALP-1984-KirschenhoferP #algorithm #analysis #recursion #traversal
Recursion Depth Analysis for Special Tree Traversal Algorithms (PK, HP), pp. 303–311.
STOCSTOC-1983-GabowT #algorithm #linear #set
A Linear-Time Algorithm for a Special Case of Disjoint Set Union (HNG, RET), pp. 246–251.
DACDAC-1982-Adshead #algorithm #complexity #hardware #problem #question #scalability #towards
Towards VLSI complexity: The DA algorithm scaling problem: can special DA hardware help? (HGA), pp. 339–344.
DACDAC-1982-Bruggere #hardware
Special purpose vs. general purpose hardware for da (THB), p. 338.
LISPLFP-1982-White #bound #constant
Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations (JLW), pp. 196–200.
CADECADE-1982-Goad #automation #source code
Automatic Construction of Special Purpose Programs (CG), pp. 194–208.
POPLPOPL-1981-Scherlis
Program Improvement by Internal Specialization (WLS), pp. 41–49.
LISPLISP-1980-Pitman #lisp
Special Forms in LISP (KMP), pp. 179–187.
FMFM-1979-LevittRS #specification
Writing Simulatable Specifications in SPECIAL (KNL, LR, BAS), pp. 39–78.
VLDBVLDB-1978-HollaarR #information retrieval #research
Current Research Into Specialized Processors For Text Information Retrieval (LAH, DCR), pp. 270–279.
ICSEICSE-1976-GoudaM #analysis #design #modelling #on the #protocol
On the Modelling, Analysis and Design of Protocols — A Special Class of Software Structures (MGG, EGM), pp. 256–262.
DACDAC-1975-AllevaCGP #evaluation #implementation #simulation #source code
A simulation system for implementation and evaluation of diagnostic programs of a special-purpose telecommunication switching processor (IA, MGC, RG, FP), pp. 123–133.

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.