Stem slice$ (all stems)

308 papers:

SIGMOD-2015-FengLKX #in memory #layout #memory management #named

ByteSlice: Pushing the Envelop of Main Memory Data Processing with a New Storage Layout (ZF, EL, BK, WX), pp. 31–46.

TACAS-2015-KumarSK #concept #scalability #slicing

Value Slice: A New Slicing Concept for Scalable Property Checking (SK, AS, UPK), pp. 101–115.

SANER-2015-LityBS #incremental #product line #slicing #towards

Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.

SCAM-2015-BinkleyGHIKY #slicing

ORBS and the limits of static slicing (DB, NEG, MH, SSI, JK, SY), pp. 1–10.

PEPM-2015-LisperMK #slicing

Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.

PEPM-2015-LiT #concurrent #slicing

Safe Concurrency Introduction through Slicing (HL, SJT), pp. 103–113.

ICGT-2015-Oliveira #graph transformation #reachability #slicing

Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.

AdaEurope-2015-KhanfarLM #safety #slicing

Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.

ECIR-2015-ChappellGZ #approximate #nearest neighbour #slicing

Approximate Nearest-Neighbour Search with Inverted Signature Slice Lists (TC, SG, GZ), pp. 147–158.

ESEC-FSE-2015-KargenS #slicing #source code #using

Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.

ESEC-FSE-2015-NguyenKN #slicing #web

Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.

QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification

Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.

ASE-2014-PalepuJ #dynamic analysis #slicing

Discriminating influences among instructions in a dynamic slice (VKP, JAJ), pp. 37–42.

DATE-2014-FriedlerKMNS #effectiveness #locality #slicing #using

Effective post-silicon failure localization using dynamic program slicing (OF, WK, AM, AN, VS), pp. 1–6.

TACAS-2014-SlabyS #contest #precise #slicing

Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.

ICSME-2014-AlomariCM #approach #estimation #maintenance

A Slice-Based Estimation Approach for Maintenance Effort (HWA, MLC, JIM), pp. 81–90.

ICSME-2014-KanningS #preprocessor #slicing #variability

Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.

SCAM-2014-JiangSGC #maintenance #on the #slicing

On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance (SJ, RAS, MG, HC), pp. 145–154.

SCAM-2014-KargenS #performance #scalability #slicing

Efficient Utilization of Secondary Storage for Scalable Dynamic Slicing (UK, NS), pp. 155–164.

SCAM-2014-YooBE #slicing

Seeing Is Slicing: Observation Based Slicing of Picture Description Languages (SY, DB, RDE), pp. 175–184.

PLDI-2014-AungHJR #slicing

Specialization slicing (MA, SH, RJ, TWR), p. 19.

PLDI-2014-HurNRS #probability #slicing #source code

Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.

IFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards

Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.

SCSM-2014-TurnerH #network #social #what

What Does Your Profile Picture Say About You? The Accuracy of Thin-Slice Personality Judgments from Social Networking Sites Made at Zero-Acquaintance (MT, NH), pp. 506–516.

VISSOFT-2014-BlouinMBS #metamodelling #scalability #visualisation

Slicing-Based Techniques for Visualizing Large Metamodels (AB, NM, BB, HAS), pp. 25–29.

FSE-2014-BinkleyGHIKY #independence #named #slicing

ORBS: language-independent program slicing (DB, NG, MH, SSI, JK, SY), pp. 109–120.

FSE-2014-JaffarM #control flow #graph #slicing

A path-sensitively sliced control flow graph (JJ, VM), pp. 133–143.

CGO-2014-WangPPLGN #debugging #named #slicing

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing (YW, HP, CP, GL, RG, IN), p. 98.

ISSTA-2014-ArltPW #slicing #testing #user interface

Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.

ECSA-2013-ChristensenH #architecture #automation #prototype #slicing #towards

Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes (HBC, KMH), pp. 316–319.

VLDB-2013-JindalPPD #comparison #slicing

A Comparison of Knives for Bread Slicing (AJ, EP, VP, JD), pp. 361–372.

ESOP-2013-AlpuenteBFS #analysis #logic #specification

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne (MA, DB, FF, JS), pp. 121–124.

TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.

SAS-2013-Komondoor #abstract interpretation #imperative #precise #slicing #source code

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.

VISSOFT-2013-ServantJ #named #slicing #source code #visualisation

Chronos: Visualizing slices of source-code history (FS, JAJ), pp. 1–4.

SEKE-2013-DelfimG #coordination #mining #multi #slicing #using

Multiple Coordinated Views to Support Aspect Mining Using Program Slicing (S) (FMD, REG), pp. 531–536.

MoDELS-2013-SunFR #modelling #slicing #uml

Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.

MoDELS-2013-SunFR #modelling #slicing #uml

Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.

SAC-2013-HalderC #database #query #slicing

Abstract program slicing of database query languages (RH, AC), pp. 838–845.

SAC-2013-HoffmannUHS #slicing

Slicing droids: program slicing for smali code (JH, MU, TH, MS), pp. 1844–1851.

ICSE-2013-SantelicesZJCZ #slicing

Quantitative program slicing: separating statements by relevance (RAS, YZ, SJ, HC, YJZ), pp. 1269–1272.

ASE-2012-MaruyamaKOH #game studies #slicing

Slicing and replaying code change history (KM, EK, TO, SH), pp. 246–249.

FASE-2012-AbadiEF #slicing #theory and practice

Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.

WCRE-2012-AlomariCM #approach #performance #scalability #slicing

A Very Efficient and Scalable Forward Static Slicing Approach (HWA, MLC, JIM), pp. 425–434.

SAS-2012-JaffarMNS #slicing

Path-Sensitive Backward Slicing (JJ, VM, JAN, AES), pp. 231–247.

ICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #slicing #testing

Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.

CIKM-2012-LevacherLW #evaluation #reuse #slicing

An evaluation and enhancement of densitometric fragmentation for content slicing reuse (KL, SL, VW), pp. 2403–2406.

CIKM-2012-TranC #named #performance #sorting

SliceSort: efficient sorting of hierarchical data (QTT, CYC), pp. 2109–2113.

ICPR-2012-HinoWM #slicing

Sliced inverse regression with conditional entropy minimization (HH, KW, NM), pp. 1185–1188.

SEKE-2012-QiXW #concurrent #graph #interprocedural #reachability #slicing #source code

Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs (XQ, XX, PW), pp. 293–298.

SAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification

Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.

FSE-2012-AcharyaR #impact analysis #industrial #slicing

Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.

FSE-2012-ServantJ #slicing

History slicing: assisting code-evolution tasks (FS, JAJ), p. 43.

FSE-2012-ShaikhW #diagrams #ocl #performance #slicing #uml #verification

UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.

ICSE-2012-ReichertG #matlab #modelling #slicing

Slicing MATLAB Simulink models (RR, SG), pp. 551–561.

ICSE-2012-Wen #fault #locality #slicing

Software fault localization based on program slicing spectrum (WW), pp. 1511–1514.

HPDC-2012-XuGRKKX #cpu #named #scheduling #slicing #virtual machine

vSlicer: latency-aware virtual machine scheduling via differentiated-frequency CPU slicing (CX, SG, PNR, AK, RRK, DX), pp. 3–14.

ICST-2012-UjhelyiHV #model transformation #slicing

Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.

ISSTA-2012-YuL #approach #data flow #dependence #named #parallel #profiling

Multi-slicing: a compiler-supported parallel approach to data dependence profiling (HY, ZL), pp. 23–33.

ASE-2011-AcherCLF #feature model #modelling #slicing

Slicing feature models (MA, PC, PL, RBF), pp. 424–427.

ASE-2011-AlvesGJd #impact analysis #slicing #using

Fault-localization using dynamic slicing and change impact analysis (EA, MG, VJ, Md), pp. 520–523.

ASE-2011-MarasCC #slicing #web

Client-side web application slicing (JM, JC, IC), pp. 504–507.

ASE-2011-ServantJ #slicing

History slicing (FS, JAJ), pp. 452–455.

ASE-2011-UjhelyiHV #model transformation #slicing #towards

Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.

ICSM-2011-QusefBOLB #concept #named #slicing #traceability #using

SCOTCH: Test-to-code traceability using slicing and conceptual coupling (AQ, GB, RO, ADL, DB), pp. 63–72.

WCRE-2011-Qusef #concept #slicing #traceability

Recovering Test-to-Code Traceability Via Slicing and Conceptual Coupling (AQ), pp. 417–420.

WCRE-2011-QusefBOLB #named #slicing

SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter (AQ, GB, RO, ADL, DB), pp. 443–444.

CIKM-2011-Almendros-JimenezST #optimisation #slicing #xquery

XQuery optimization based on program slicing (JMAJ, JS, ST), pp. 1525–1534.

SEKE-2011-WenLSL #fault #locality #slicing

Program slicing spectrum-based software fault localization (WW, BL, XS, JL), pp. 213–218.

SAC-2011-ParisiniM #branch #continuation #slicing

Improving CP-based local branching via sliced neighborhood search (FP, MM), pp. 887–892.

ESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing

SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.

ICSE-2011-AcharyaR #impact analysis #industrial #slicing

Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), pp. 746–755.

CADE-2011-AlpuenteBER #logic #slicing

Backward Trace Slicing for Rewriting Logic Theories (MA, DB, JE, DR), pp. 34–48.

TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.

ASE-2010-ShaikhCWM #modelling #ocl #slicing #uml

Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.

DATE-2010-GupteJ #evaluation #fault #slicing

An evaluation of a slice fault aware tool chain (AG, PHJ), pp. 1803–1808.

VLDB-2010-BrunoNR #query #slicing

Slicing Long-Running Queries (NB, VRN, RR), pp. 530–541.

ICPC-2010-AreiasCP #contract #reuse #safety #slicing

Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.

ICSM-2010-AbdallahMG #robust #slicing #using

Certifying software robustness using program slicing (MA, MM, KG), pp. 1–2.

SEFM-2010-BarrosCHP #graph #slicing

Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.

ICPR-2010-DursunDG #2d #image #re-engineering #slicing #theorem

Paired Transform Slice Theorem of 2-D Image Reconstruction from Projections (SD, ND, AMG), pp. 2395–2398.

SEKE-2010-DuanCZQY #clustering #slicing #testing

Improving Cluster Selection Techniques of Regression Testing by Slice Filtering (YD, ZC, ZZ, JQ, ZY), pp. 253–258.

MoDELS-v2-2010-LanoR #model transformation #modelling #slicing #uml #using

Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.

SAC-2010-CruzH #documentation #slicing #visualisation #xml

Exploring, visualizing and slicing the soul of XML documents (DCdC, PRH), pp. 40–46.

ICSE-2010-RungtaM #concurrent #debugging #slicing #source code

Slicing and dicing bugs in concurrent programs (NR, EM), pp. 195–198.

LDTA-2010-CortesiH #dependence #graph #semantics #slicing

Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.

IJCAR-2010-ShermanGD #partial order #type system

A Slice-Based Decision Procedure for Type-Based Partial Orders (ES, BJG, MBD), pp. 156–170.

ISSTA-2010-WeeratungeZSJ #concurrent #debugging #slicing #using

Analyzing concurrency bugs using dual slicing (DW, XZ, WNS, SJ), pp. 253–264.

TACAS-2009-ChenR #monitoring #parametricity #slicing

Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.

ICPC-J-2008-VidacsBG09 #c #c++ #preprocessor #slicing

Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.

ICSM-2009-Li #analysis #dependence #identification #using

Identifying high-level dependence structures using slice-based dependence analysis (ZL), pp. 457–460.

SCAM-2009-Ward #slicing

Properties of Slicing Definitions (MPW), pp. 23–32.

ESEC-FSE-2009-AbadiEF #control flow #slicing

Improving slice accuracy by compression of data and control flow paths (AA, RE, YAF), pp. 223–232.

CGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #precise #slicing

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.

ISSTA-2009-XinZ #memory management #slicing

Memory slicing (BX, XZ), pp. 165–176.

DAC-2008-GanaiG #scalability #slicing #towards

Tunneling and slicing: towards scalable BMC (MKG, AG), pp. 137–142.

ICPC-2008-VidacsJBG #c #c++ #preprocessor #slicing

Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.

ICSM-2008-TallamTG #concurrent #detection #parallel #slicing #source code #thread

Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.

SCAM-2008-Zanardini #semantics #slicing

The Semantics of Abstract Program Slicing (DZ), pp. 89–98.

PEPM-2008-MastroeniZ #dependence #semantics #slicing #syntax

Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.

SEKE-2008-Wotawa #modelling #slicing

Bridging the Gap Between Slicing and Model-based Diagnosis (FW), pp. 836–841.

MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using

Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.

MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using

Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.

SAC-2008-QianX #slicing

Scenario oriented program slicing (JQ, BX), pp. 748–752.

ISSTA-2008-DorLLSW #enterprise #impact analysis #slicing

Customization change impact analysis for erp professionals via program slicing (ND, TLA, SL, MS, DW), pp. 97–108.

CBSE-2007-SeryP #behaviour #component #composition #slicing #specification

Slicing of Component Behavior Specification with Respect to Their Composition (OS, FP), pp. 189–202.

ASE-2007-TkachukR #composition #generative #model checking #slicing

Combining environment generation and slicing for modular software model checking (OT, SPR), pp. 401–404.

DATE-2007-WangCW #optimisation #scheduling #testing #using

SoC testing using LFSR reseeding, and scan-slice-based TAM optimization and test scheduling (ZW, KC, SW), pp. 201–206.

CSMR-2007-SzegediGBGT #concept #java #slicing #source code #verification

Verifying the Concept of Union Slices on Java Programs (AS, TG, ÁB, TG, GT), pp. 233–242.

ICSM-2007-Ettinger #refactoring #slicing

Refactoring via Program Slicing and Sliding (RE), pp. 505–506.

ICSM-2007-LiuZHB #approach

Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach (CL, XZ, YZ, JH, BKB), pp. 455–464.

SCAM-2007-CeccatoPNCT #slicing

Barrier Slicing for Remote Software Trusting (MC, MDP, JN, CSC, PT), pp. 27–36.

SCAM-2007-GiffhornH #algorithm #concurrent #evaluation #slicing #source code

An Evaluation of Slicing Algorithms for Concurrent Programs (DG, CH), pp. 17–26.

PLDI-2007-SridharanFB #slicing

Thin slicing (MS, SJF, RB), pp. 112–122.

IFM-2007-Bruckner #concurrent #realtime #slicing #specification #verification

Slicing Concurrent Real-Time System Specifications for Verification (IB), pp. 54–74.

SAC-2007-PaulK #precise #slicing #using

Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.

ICSE-2007-UzuncaovaK #declarative #named #slicing #specification

Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.

CAV-2007-ChenR #parametricity #slicing

Parametric and Sliced Causality (FC, GR), pp. 240–253.

ISSTA-2007-WangR #slicing

Hierarchical dynamic slicing (TW, AR), pp. 228–238.

VLDB-2006-WangRGB #multi #named #optimisation #paradigm #query

State-Slice: New Paradigm of Multi-query Optimization of Window-based Stream Queries (SW, EAR, SG, SB), pp. 619–630.

TACAS-2006-DwyerHHRRW #concurrent #effectiveness #object-oriented #reduction #slicing #source code

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs (MBD, JH, MH, VPR, R, TW), pp. 73–89.

SCAM-J-2005-BinkleyDGHKK06 #formal method #slicing

A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.

ICPC-2006-JetleyZI #analysis #slicing #using

Using Abstraction-driven Slicing for Postmortem Analysis of Software (RPJ, YZ, SPI), pp. 107–116.

SCAM-2006-BeszedesGG #algorithm #dependence #slicing

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms (ÁB, TG, TG), pp. 21–30.

SCAM-2006-GallagherBH #slicing

Stop-List Slicing (KG, DB, MH), pp. 11–20.

SCAM-2006-PanKW #classification #debugging #metric #slicing #using

Bug Classification Using Program Slicing Metrics (KP, SK, EJWJ), pp. 31–42.

WCRE-2006-BinkleyGHLM #concept #empirical #execution #slicing

An Empirical Study of Executable Concept Slice Size (DB, NG, MH, ZL, KM), pp. 103–114.

PLDI-2006-ZhangGG #dynamic analysis #slicing

Pruning dynamic slices with confidence (XZ, NG, RG), pp. 169–180.

MoDELS-2006-CibranD #aspect-oriented #slicing

A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.

MoDELS-2006-CibranD #aspect-oriented #slicing

A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.

PPDP-2006-SilvaC #algorithm #debugging #slicing

Combining algorithmic debugging and program slicing (JS, OC), pp. 157–166.

FSE-2006-ZhangTG #execution #performance #slicing #source code

Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.

ASPLOS-2006-ParasharSG #locality #multi #named #performance #thread

SlicK: slice-based locality exploitation for efficient redundant multithreading (AP, AS, SG), pp. 95–105.

LCTES-2006-SandbergEGL #analysis #performance #slicing

Faster WCET flow analysis by program slicing (CS, AE, JG, BL), pp. 103–112.

DATE-2005-LavagnoPSW #design #slicing

A Time Slice Based Scheduler Model for System Level Design (LL, CP, VS, YW), pp. 378–383.

ESOP-2005-LeuschelV #deduction #slicing

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering (ML, GV), pp. 61–76.

ESOP-2005-RanganathABDH #slicing

A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.

CSMR-2005-WardZH #abstraction #refinement #semantics #slicing

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.

ICSM-2005-KagdiMS #modelling #slicing #uml

Context-Free Slicing of UML Class Models (HHK, JIM, AS), pp. 635–638.

SCAM-2005-BinkleyDGHKK #slicing

Minimal Slicing and the Relationships Between Forms of Slicing (DB, SD, TG, MH, ÁK, BK), pp. 45–56.

SCAM-2005-BinkleyH #slicing

Forward slices are smaller than backward slices (DB, MH), pp. 15–24.

SCAM-2005-HongLS #abstract interpretation #approach #model checking #slicing

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (HSH, IL, OS), pp. 25–34.

SCAM-2005-SzegediG #bytecode #java #slicing #source code

Dynamic Slicing of Java Bytecode Programs (AS, TG), pp. 35–44.

WCRE-2005-FatiregunHH #search-based #slicing

Search-Based Amorphous Slicing (DF, MH, RMH), pp. 3–12.

PLDI-2005-JhalaM #slicing

Path slicing (RJ, RM), pp. 38–47.

PLDI-2005-QuinonesMSMGT #compilation #framework #slicing #thread

Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.

AdaEurope-2005-SwardB #equivalence #functional #proving #slicing

Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.

CIKM-2005-XiaoLHF #web

Slicing*-tree based web page transformation for small displays (XX, QL, DH, HF), pp. 303–304.

CC-2005-ConditN #independence #slicing

Data Slicing: Separating the Heap into Independent Regions (JC, GCN), pp. 172–187.

CSMR-2004-Al-EkramK #composition #concept #slicing #source code #using

Source Code Modularization Using Lattice of Concept Slices (RAE, KK), pp. 195–203.

ICSM-2004-IshioKI #aspect-oriented #debugging #graph #slicing

Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph (TI, SK, KI), pp. 178–187.

ICSM-2004-Krinke #dependence #slicing #visualisation

Visualization of Program Dependence and Slices (JK), pp. 168–177.

ICSM-2004-Krinke04a #concurrent #slicing #source code

Advanced Slicing of Sequential and Concurrent Programs (JK), pp. 464–468.

ICSM-2004-RillingMO #slicing

Context Driven Slicing Based Coupling Measure (JR, WJM, OO), p. 532.

ICSM-2004-WillmorES #database #slicing

Program Slicing in the Presence of a Database State (DW, SME, JS), pp. 448–452.

IWPC-2004-DanicicLH #execution #slicing #using

Building Executable Union Slices using Conditioned Slicing (SD, ADL, MH), pp. 89–99.

SCAM-2004-BinkleyDGHKO #execution #formal method #slicing

Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.

SCAM-2004-Gallagher #interprocedural #slicing

Some Notes on Interprocedural Program Slicing (KBG), pp. 36–42.

WCRE-2004-HuHHB #slicing

Loop Squashing Transformations for Amorphous Slicing (LH, MH, RMH, DB), pp. 152–160.

WCRE-2004-MeyersB #metric

Slice-Based Cohesion Metrics and Software Intervention (TMM, DB), pp. 256–265.

PEPM-2004-OchoaSV #slicing

Dynamic slicing based on redex trails (CO, JS, GV), pp. 123–134.

PLDI-2004-ZhangG #effectiveness #slicing

Cost effective dynamic program slicing (XZ, RG), pp. 94–106.

CAiSE-2004-EderKM #detection #slicing

Analysing Slices of Data Warehouses to Detect Structural Modifications (JE, CK, DM), pp. 492–505.

ICSE-2004-AkgulMP #assembly #execution #performance #slicing

A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.

ICSE-2004-WangR #bytecode #java #slicing #source code #using

Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.

ICSE-2004-ZhangGZ #diagrams #dynamic analysis #order #performance #slicing #using

Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (XZ, RG, YZ), pp. 502–511.

CC-2004-RanganathH #concurrent #dependence #java #slicing #source code

Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.

CAV-2004-BrabermanGO #automaton #named #slicing

ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.

VLDB-2003-GaoS #evaluation #query #slicing #xml

Temporal Slicing in the Evaluation of XML Queries (DG, RTS), pp. 632–643.

ESOP-2003-HaackW #fault #higher-order #slicing

Type Error Slicing in Implicitly Typed Higher-Order Languages (CH, JBW), pp. 284–301.

CSMR-2003-LuciaHHK #slicing

Unions of Slices Are Not Slices (ADL, MH, RMH, JK), pp. 363–367.

CSMR-2003-Villavicencio #slicing

Formal Program Reversing by Conditioned Slicing (GV), pp. 368–378.

ICSM-2003-BinkleyH #context-sensitive grammar #empirical #scalability #slicing

A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity (DB, MH), pp. 44–53.

ICSM-2003-KorelSTV #modelling #slicing

Slicing of State-Based Models (BK, IS, LHT, BV), pp. 34–43.

IWPC-2003-GallagherL #composition #question #slicing

Are Decomposition Slices Clones? (KG, LL), pp. 251–257.

IWPC-2003-RillingK #complexity #comprehension #identification #metric #slicing #using

Identifying Comprehension Bottlenecks Using Program Slicing and Cognitive Complexity Metric (JR, TK), pp. 115–124.

SCAM-2003-KissJLG #bytecode #interprocedural #slicing

Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.

SCAM-2003-Krinke #slicing

Barrier Slicing and Chopping (JK), pp. 81–87.

SCAM-2003-KulkarniR #slicing #source code

Static Slicing of Reactive Programs (ARK, SR), pp. 98–107.

SCAM-2003-UmemoriKYI #design #implementation #java #slicing

Design and Implementation of Bytecode-based Java Slicing System (FU, KK, RY, KI), pp. 108–117.

SCAM-2003-Ward #case study #semantics #slicing

Slicing the SCAM Mug: A Case Study in Semantic Slicing (MPW), pp. 88–97.

WCRE-2003-GallagherB #composition #empirical #equivalence #slicing

An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence (KG, DB), pp. 316–322.

PEPM-2003-AllenH #exception #java #slicing #source code

Slicing java programs that throw and catch exceptions (MA, SH), pp. 44–54.

PEPM-2003-HatcliffDDJRR #component #corba #design #partial evaluation #slicing

Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.

SEKE-2003-ChenXCYZ #scalability #slicing #source code

Partial Slicing for Large Programs (ZC, BX, WCC, HY, JZ), pp. 204–207.

ESEC-FSE-2003-Krinke #concurrent #slicing #source code

Context-sensitive slicing of concurrent programs (JK), pp. 178–187.

ICSE-2003-YokomoriIYMKI #component #java #program analysis #slicing

Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J (RY, TI, TY, MM, SK, KI), pp. 828–829.

ICSE-2003-ZhangGZ #algorithm #precise #slicing

Precise Dynamic Slicing Algorithms (XZ, RG, YZ), pp. 319–329.

CGO-2003-ZhangG #security #slicing

Hiding Program Slices for Software Security (XZ, RG), pp. 325–336.

CADE-2003-BaumgartnerFGS #deduction #interactive #quote #slicing

“Living Book” :- “Deduction”, “Slicing”, “Interaction” (PB, UF, MGH, AS), pp. 284–288.

DATE-2002-PeyranZ #slicing

Transforming Arbitrary Structures into Topologically Equivalent Slicing Structures (OP, WZ), p. 1099.

FASE-2002-KumarH #slicing #source code

Better Slicing of Programs with Jumps and Switches (SK, SH), pp. 96–112.

ICSM-2002-BeszedesFSCG #maintenance #slicing

Union Slices for Program Maintenance (ÁB, CF, ZMS, JC, TG), pp. 12–21.

ICSM-2002-HarmanHHFDWSB #slicing #testing

Evolutionary Testing Supported by Slicing and Transformation (MH, LH, RMH, CF, SD, JW, HS, AB), p. 285.

ICSM-2002-Krinke #slicing

Evaluating Context-Sensitive Slicing and Chopping (JK), pp. 22–31.

IWPC-2002-TakadaOI #information management #lightweight #slicing #using

Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information (TT, FO, KI), pp. 169–177.

IWPC-2002-Zhao #aspect-oriented #slicing

Slicing Aspect-Oriented Software (JZ), pp. 251–260.

SCAM-2002-RiccaT #dependence #graph #slicing #web

Construction of the System Dependence Graph for Web Application Slicing (FR, PT), pp. 123–132.

SCAM-2002-RillingLG #message passing #slicing #source code

Predicate-Based Dynamic Slicing of Message Passing Programs (JR, HFL, DG), p. 133–?.

SCAM-2002-XuCY #debugging #object-oriented #slicing #source code

Dynamic Slicing Object-Oriented Programs for Debugging (BX, ZC, HY), pp. 115–122.

WCRE-2002-DaoudiOHDHFW #approach #named #scalability #slicing

ConSUS: A Scalable Approach to Conditioned Slicing (MD, LO, JH, SD, MH, CF, MPW), pp. 109–118.

WCRE-2002-HarmanGHB #algorithm #concept #slicing

Code Extraction Algorithms which Unify Slicing and Concept Assignment (MH, NG, RMH, DB), pp. 11–21.

ICPR-v2-2002-SinghG #pattern matching #pattern recognition #recognition #slicing #using

Pattern Recognition Using Information Slicing Method (pRISM) (SS, AG), pp. 144–147.

ICPR-v4-2002-NgoPZ #analysis #retrieval #slicing

Motion Retrieval by Temporal Slices Analysis (CWN, TCP, HZ), pp. 64–67.

LOPSTR-2002-Vidal #declarative #multi #partial evaluation #slicing #source code

Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation (GV), pp. 219–237.

FSE-2002-MockACE #points-to #slicing

Improving program slicing with dynamic points-to data (MM, DCA, CC, SJE), pp. 71–80.

LDTA-2002-GondowK #c #slicing #towards #using #xml

Towards ANSI C Program Slicing using XML (KG, HK), pp. 30–49.

DAC-2001-LinC #graph #named #representation #transitive

TCG: A Transitive Closure Graph-Based Representation for Non-Slicing Floorplans (JML, YWC), pp. 764–769.

DATE-2001-LaiW #representation #slicing

Slicing tree is a complete floorplan representation (ML, DFW), pp. 228–232.

IWPC-J-1999-FrancelR01 #debugging #slicing

The value of slicing while debugging (MAF, SR), pp. 151–169.

CSMR-2001-BeszedesGSCG #c #maintenance #scalability #slicing #source code

Dynamic Slicing Method for Maintenance of Large C Programs (ÁB, TG, ZMS, JC, TG), pp. 105–113.

CSMR-2001-Villavicencion #automation #detection #program analysis #programming #slicing

Program Analysis for the Automatic Detection of Programming Plans Applying Slicing (GV), pp. 188–191.

ICSM-2001-HarmanHFDH #slicing

Pre/Post Conditioned Slicing (MH, RMH, CF, SD, JH), pp. 138–147.

ICSM-2001-OrsoSH #incremental #slicing

Incremental Slicing Based on Data-Dependences Types (AO, SS, MJH), p. 158–?.

ICSM-2001-RiccaT #slicing #web

Web Application Slicing (FR, PT), pp. 148–157.

IWPC-2001-DengKN #slicing

Program Slice Browser (YD, SCK, YN), pp. 50–59.

PASTE-2001-AgrawalG #slicing

Evaluating explicitly context-sensitive program slicing (GA, LG), pp. 6–12.

PASTE-2001-Griswold #slicing

Making slicing practical: the final mile (Abstract) (WGG), p. 1.

SCAM-2001-ByersK #morphism #parametricity #polymorphism #slicing

Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.

SCAM-2001-Lucia #slicing

Program Slicing: Methods and Applications (ADL), pp. 144–151.

SCAM-2001-RillingK #framework #hybrid #slicing

A Hybrid Program Slicing Framework (JR, BK), pp. 14–25.

WCRE-2001-HarmanHDHLF #calculus #slicing

Node Coarsening Calculi for Program Slicing (MH, RMH, SD, JH, MRL, CF), pp. 25–34.

WCRE-2001-HarmanHMZ #named #slicing

GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation (MH, LH, MM, XZ), pp. 271–280.

WCRE-2001-VillavicencioO #slicing

Reverse Program Calculation Supported by Code Slicing (GV, JNO), p. 35–?.

SAS-2001-KomondoorH #identification #slicing #source code #using

Using Slicing to Identify Duplication in Source Code (RK, SH), pp. 40–56.

STOC-2001-Muller-OlmS #on the #parallel #slicing #source code

On optimal slicing of parallel programs (MMO, HS), pp. 647–656.

AdaEurope-2001-ChenBY #ada #slicing

Slicing Tagged Objects in Ada (ZC, BX, HY), pp. 100–112.

SAC-2001-ChungLYK #slicing #specification

Program slicing based on specification (ISC, WKL, GSY, YRK), pp. 605–609.

DAC-2000-ChangCWW #representation

B*-Trees: a new representation for non-slicing floorplans (YCC, YWC, GMW, SWW), pp. 458–463.

DAC-2000-PangBLC #constraints #representation #symmetry

Block placement with symmetry constraints based on the O-tree non-slicing representation (YP, FB, KL, CKC), pp. 464–467.

CSMR-2000-Zhao #approach #architecture #reuse

A Slicing-based Approach to Extracting Reusable Software Architectures (JZ), pp. 215–223.

IWPC-2000-BinkleyRSH #comprehension #empirical #slicing

An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool (DB, LRR, CS, MH), pp. 161–170.

ICPR-v3-2000-GuaragnellaS #algorithm #estimation #object-oriented

Object Oriented Motion Estimation by Sliced-Block Matching Algorithm (CG, EDS), pp. 3865–3868.

ISMM-2000-PlakalF #concurrent #garbage collection #parallel #slicing #thread #using

Concurrent Garbage Collection Using Program Slices on Multithreaded Processors (MP, CNF), pp. 94–100.

ISSTA-2000-NandaR #concurrent #slicing #source code

Slicing concurrent programs (MGN, SR), pp. 180–190.

DAC-1999-GuoCY #representation

An O-Tree Representation of Non-Slicing Floorplan and Its Applications (PNG, CKC, TY), pp. 268–273.

DATE-1999-MaurerS #performance #simulation

Software Bit-Slicing: A Technique for Improving Simulation Performance (PMM, WJS), pp. 786–787.

ICSM-1999-LiangH #interprocedural #pointer #recursion #slicing

Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion (DL, MJH), p. 421–?.

IWPC-1999-FrancelR #comprehension #debugging #slicing

The Relationship of Slicing and Debugging to Program Understanding (MAF, SR), pp. 106–113.

IWPC-1999-Zhao #concurrent #java #slicing #source code

Slicing Concurrent Java Programs (JZ), pp. 126–133.

PEPM-1999-DwyerH #slicing

Slicing Software for Model Construction (MBD, JH), pp. 105–118.

SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread #virtual machine

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.

PPDP-1999-NeumerkelM #logic programming #source code

Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices (UN, FM), pp. 328–342.

PADL-1999-Vasconcelos #flexibility #framework #logic programming #slicing #source code

A Flexible Framework for Dynamic and Static Slicing of Logic Programs (WWV), pp. 259–274.

SAC-1999-Binkley #dependence #graph #slicing #using

Computing Amorphous Program Slices Using Dependence Graphs (DB), pp. 519–525.

ESEC-FSE-1999-GyimothyBF #debugging #performance #slicing

An Efficient Relevant Slicing Method for Debugging (TG, ÁB, IF), pp. 303–321.

ICSE-1999-NishimatsuJKI #performance #slicing

Call-Mark Slicing: An Efficient and Economical Way of Reducing Slice (AN, MJ, SK, KI), pp. 422–431.

ICSE-1999-SinhaHR #control flow #interprocedural #slicing #source code

System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow (SS, MJH, GR), pp. 432–441.

ICSM-1998-HarmanSD #analysis #memory management #slicing #using

Analysis of Dynamic Memory Access Using Amorphous Slicing (MH, YS, SD), p. 336–?.

ICSM-1998-LiangH #dependence #graph #slicing #using

Slicing Objects Using System Dependence Graphs (DL, MJH), pp. 358–367.

IWPC-1998-KorelR #comprehension #scalability #slicing #source code

Program Slicing in Understanding of Large Programs (BK, JR), pp. 145–152.

PASTE-1998-Krinke #slicing #source code #thread

Static Slicing of Threaded Programs (JK), pp. 35–42.

SAS-1998-Gouranton #case study #semantics #slicing

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing (VG), pp. 115–133.

ICSE-1998-HarroldC #interprocedural #slicing

Reuse-Driven Interprocedural Slicing (MJH, NC), pp. 74–83.

CC-1998-Steindl #object-oriented #slicing #source code

Intermodular Slicing of Object-oriented Programs (CS), pp. 264–279.

ICSM-1997-CifuentesF #bytecode #slicing

Intraprocedural Static Slicing of Binary Executables (CC, AF), p. 188–?.

WPC-1997-HarmanD #slicing

Amorphous Program Slicing (MH, SD), pp. 70–79.

WPC-1997-KorelR #comprehension #execution #slicing

Dynamic Program Slicing in Understanding of Program Execution (BK, JR), pp. 80–89.

PLDI-1997-BodikG #slicing #using

Partial Dead Code Elimination using Slicing Transformations (RB, RG), pp. 159–170.

TOOLS-ASIA-1997-ChenWC #dependence #graph #object-oriented #slicing

An Object-Oriented Dependency Graph for Program Slicing (JLC, FJW, YLC), pp. 121–130.

ESEC-FSE-1997-ForgacsB #slicing

Feasible Test Path Selection by Principal Slicing (IF, AB), pp. 378–394.

ESEC-FSE-1997-HeimdahlW #reduction #slicing #state machine

Reduction and Slicing of Hierarchical State Machines (MPEH, MWW), pp. 450–467.

ICSE-1997-TonellaAFM #analysis #c++ #morphism #pointer #polymorphism #slicing

Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing (PT, GA, RF, EM), pp. 433–443.

ASF+SDF-1997-DineshT #approach #case study #fault

A case study of a slicing-based approach for locating type errors (TBD, FT), p. 8.

WPC-1996-LuciaFM #behaviour #comprehension #slicing

Understanding Function Behaviors through Program Slicing (ADL, ARF, MM), pp. 9–10.

SAS-1996-SchoenigD #algorithm #prolog #slicing

A Backward Slicing Algorithm for Prolog (SS, MD), pp. 317–331.

SAS-1996-Snelting #constraints #metric #slicing #theorem proving #validation

Combining Slicing and Constraint Solving for Validation of Measurement Software (GS), pp. 332–348.

FME-1996-ComuzziH #slicing #using

Program Slicing Using Weakest Preconditions (JJC, JMH), pp. 557–575.

ICPR-1996-LinF #fourier #re-engineering #slicing #theorem #using

Range data reconstruction using Fourier slice theorem (SSL, CSF), pp. 874–878.

ICPR-1996-NamuduriRR #algorithm #image #named #segmentation #slicing #using

SVBS: a high-resolution medical image compression algorithm using slicing with variable block size segmentation (KRN, NR, HR), pp. 919–923.

ICPR-1996-TozakiKNOEM #3d #analysis #image #using

Three-dimensional analysis of lung areas using thin-slice CT images (TT, YK, NN, HO, KE, NM), pp. 548–552.

SEKE-1996-HuangTS #maintenance #slicing

Generalized Program Slicing for Software Maintenance (HH, WTT, SS), pp. 261–268.

SEKE-1996-WangTCR #analysis #slicing

The Role of Program Slicing in Ripple Effect Analysis (YW, WTT, XC, SR), pp. 369–376.

OOPSLA-1996-TipCFR #c++ #slicing

Slicing Class Hierarchies in C++ (FT, JDC, JF, GR), pp. 179–197.

ICSE-1996-LarsenH #object-oriented #slicing

Slicing Object-Oriented Software (LL, MJH), pp. 495–505.

ISSTA-1996-DeMilloPS #fault #locality #slicing

Critical Slicing for Software Fault Localization (RAD, HP, EHS), pp. 121–134.

ISSTA-1996-SloaneH #slicing

Beyond Traditional Program Slicing (AMS, JH), pp. 180–186.

ICSM-1995-CimitileLM #case study #identification #reuse #slicing #specification #using

Identifying reusable functions using specification driven program slicing: a case study (AC, ADL, MM), pp. 124–133.

ICSM-1995-KamkarK #distributed #slicing #source code

Dynamic slicing of distributed programs (MK, PK), p. 222–?.

SEKE-1995-KuhnSG #composition #slicing

The Decomposition Slice Display System (BMK, DJS, KBG), pp. 328–333.

POPL-1995-FieldRT #parametricity #slicing

Parametric Program Slicing (JF, GR, FT), pp. 379–392.

FSE-1995-GuptaS #approach #hybrid #information management #slicing #using

Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.

PLDI-1994-Agrawal #on the #slicing #source code

On Slicing Programs with Jump Statements (HA), pp. 302–312.

PLILP-1994-FieldT #dependence #slicing #term rewriting

Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing (JF, FT), pp. 415–431.

FSE-1994-RepsHSR #slicing

Speeding up Slicing (TWR, SH, SS, GR), pp. 11–20.

ISSTA-1994-KorelY #slicing

Forward Computation of Dynamic Program Slices (BK, SY), pp. 66–79.

CSM-1993-KamkarFS #how #interprocedural #slicing #testing

Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing (MK, PF, NS), pp. 386–395.

CSM-1993-LanubileV #slicing

Function Recovery Based on Program Slicing (FL, GV), pp. 396–404.

ICSE-1993-BeckE #interface #reverse engineering #slicing

Program and Interface Slicing for Reverse Engineering (JB, DE), pp. 509–518.

SIGIR-1992-GrandiTZ #parallel

Frame-Sliced Partitioned Parallel Signature Files (FG, PT, PZ), pp. 286–297.

PLILP-1992-KamkarSF #interprocedural #slicing

Interprocedural Dynamic Slicing (MK, NS, PF), pp. 370–384.

PLDI-1991-Venkatesh #approach #semantics #slicing

The Semantic Approach to Program Slicing (GAV), pp. 107–119.

TAV-1991-AgrawalDS #pointer #slicing

Dynamic Slicing in the Presence of Unconstrained Pointers (HA, RAD, EHS), pp. 60–73.

PLDI-1990-AgrawalH #slicing

Dynamic Program Slicing (HA, JRH), pp. 246–256.

PLILP-1990-KamkarNF #algorithm #debugging #locality #slicing

Bug Localization by Algorithmic Debugging and Program Slicing (MK, NS, PF), pp. 60–74.

ICSE-1989-OttT #slicing

The Relationship between Slices and Module Cohesion (LMO, JJT), pp. 198–204.

PLDI-1988-HorwitzRB #dependence #graph #interprocedural #slicing #using

Interprocedural Slicing Using Dependence Graphs (SH, TWR, DB), pp. 35–46.

Best-of-PLDI-1988-HorwitzRB88a #dependence #graph #interprocedural #slicing #using

Interprocedural slicing using dependence graphs (with retrospective) (SH, TWR, DB), pp. 229–243.

DAC-1986-Szepieniec #slicing

Integrated placement/routing in sliced layouts (AAS), pp. 300–307.

DAC-1984-SastryP #logic #on the #slicing

On the relation between wire length distributions and placement of logic on master slice ICs (SS, ACP), pp. 710–711.

VLDB-1984-Tanaka #algorithm

Bit-Sliced VLSI Algorithm for Search and Sort (YT), pp. 225–234.

DAC-1982-MatsudaFTMNKG #design #layout #low cost #named

LAMBDA: A quick, low cost layout design system for master-slice LSI s (TM, TF, KT, HM, HN, FK, SG), pp. 802–808.

ICSE-1981-Weiser #slicing

Program Slicing (MW), pp. 439–449.

DAC-1980-ShiraishiH #performance #slicing

Efficient placement and routing techniques for master slice LSI (HS, FH), pp. 458–464.

DAC-1979-Goto #2d #algorithm #layout #problem #slicing

A two-dimensional placement algorithm for the master slice LSI layout problem (SG), pp. 11–17.

DAC-1976-IkemotoSIK

Correction and wiring check-system for master-slice LSI (YI, TS, KI, HK), pp. 336–343.

DAC-1976-KamikawaiKOYC

Placement and routing program for master-slice LSI’s (RK, KK, AO, IY, TC), pp. 245–250.

DAC-1974-OzawaMS #design #slicing

Master slice LSI Computer Aided Design system (YO, MM, KS), pp. 19–25.