Search results for "slicing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Engin Uzuncaova, Sarfraz Khurshid	Kato: A Program Slicing Tool for Declarative Specifications.	ICSE	2007	DBLP DOI BibTeX RDF
36	Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraham	Efficient Microprocessor Verification using Antecedent Conditioned Slicing.	VLSI Design	2007	DBLP DOI BibTeX RDF
36	Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Faster WCET flow analysis by program slicing.	LCTES	2006	DBLP DOI BibTeX RDF	hard real time, worst-case execution time analysis
36	Sébastien Labbé 0002, Arnault Lapitre	CARVER: A Slicing Tool for Communicating Automata Specifications.	ISoLA	2006	DBLP DOI BibTeX RDF
36	Claudio Ochoa, Josep Silva, Germán Vidal	A Slicing Tool for Lazy Functional Logic Programs.	JELIA	2006	DBLP DOI BibTeX RDF
36	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, Matthew B. Dwyer, John Hatcliff	A New Foundation for Control-Dependence and Slicing for Modern Program Structures.	ESOP	2005	DBLP DOI BibTeX RDF
36	Xiaodong Yi 0002, Ji Wang 0001, Xuejun Yang	Verification of C Programs using Slicing Execution.	QSIC	2005	DBLP DOI BibTeX RDF
36	Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar 0004	A Novel Approach for Dynamic Slicing of Distributed Object-Oriented Programs.	ICDCIT	2004	DBLP DOI BibTeX RDF
36	David Willmor, Suzanne M. Embury, Jianhua Shao 0001	Program Slicing in the Presence of a Database State.	ICSM	2004	DBLP DOI BibTeX RDF
36	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph.	ICSM	2004	DBLP DOI BibTeX RDF
36	Jens Krinke	Barrier Slicing and Chopping.	SCAM	2003	DBLP DOI BibTeX RDF
36	Ji Wang 0001, Wei Dong 0006, Zhichang Qi	Slicing Hierarchical Automata for Model Checking UML Statecharts.	ICFEM	2002	DBLP DOI BibTeX RDF
36	Vijay K. Garg	Algorithmic Combinatorics Based on Slicing Posets.	FSTTCS	2002	DBLP DOI BibTeX RDF
36	Sumit Kumar, Susan Horwitz	Better Slicing of Programs with Jumps and Switches.	FASE	2002	DBLP DOI BibTeX RDF
36	Gagan Agrawal, Liang Guo	Evaluating explicitly context-sensitive program slicing.	PASTE	2001	DBLP DOI BibTeX RDF
36	Jianjun Zhao 0001	A Slicing-based Approach to Extracting Reusable Software Architectures.	CSMR	2000	DBLP DOI BibTeX RDF
36	Yun-Chih Chang, Yao-Wen Chang, Guang-Ming Wu, Shu-Wei Wu	B*-Trees: a new representation for non-slicing floorplans.	DAC	2000	DBLP DOI BibTeX RDF
36	John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng	A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.	SAS	1999	DBLP DOI BibTeX RDF
36	Christoph Steindl	Intermodular Slicing of Object-oriented Programs.	CC	1998	DBLP DOI BibTeX RDF
36	Hee Beng Kuan Tan, Tok Wang Ling	Slicing Functional Components from Data-Intensive Business Programs.	COMPSAC	1996	DBLP DOI BibTeX RDF
36	Weiping Shi	An optimal algorithm for area minimization of slicing floorplans.	ICCAD	1995	DBLP DOI BibTeX RDF	floorplan, area optimization, area minimization
36	John Field, Frank Tip	Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing.	PLILP	1994	DBLP DOI BibTeX RDF
36	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural Slicing Using Dependence Graphs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
36	Thomas W. Reps, Wuu Yang	The Semantics of Program Slicing and Program Integration.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
36	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural Slicing Using Dependence Graphs.	PLDI	1988	DBLP DOI BibTeX RDF
36	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural slicing using dependence graphs (with retrospective)	Best of PLDI	1988	DBLP DOI BibTeX RDF
36	Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya	Syntax-Directed Amorphous Slicing.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	amorphous slicing, conditioned slicing, FermaT, transformation, WSL
36	Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel	System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow.	ICSE	1999	DBLP DOI BibTeX RDF	interprocedural slicing, program slicing, system dependence graph
33	Eric Larson	A plethora of paths.	ICPC	2009	DBLP DOI BibTeX RDF
33	Michael E. Kounavis, Frank L. Berry	Novel Table Lookup-Based Algorithms for High-Performance CRC Generation.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
33	Engin Uzuncaova, Sarfraz Khurshid	Constraint Prioritization for Efficient Analysis of Declarative Models.	FM	2008	DBLP DOI BibTeX RDF
33	Oztan Harmanci, A. Murat Tekalp	Rate-Distortion Optimal Video Transport Over IP Allowing Packets With Bit Errors.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
33	Selma Ikiz, Alper Sen 0001	Runtime Verification of k-Mutual Exclusion for SoCs.	MTV	2007	DBLP DOI BibTeX RDF
33	Vijayanand Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001, Neelam Gupta	ONTRAC: A system for efficient ONline TRACing for debugging.	ICSM	2007	DBLP DOI BibTeX RDF
33	Sara Van Langenhove, Albert Hoogewijs	SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.	WADT	2006	DBLP DOI BibTeX RDF
33	Neeraj Mittal, Alper Sen 0001, Vijay K. Garg, Ranganath Atreya	Finding Satisfying Global States: All for One and One for All.	IPDPS	2004	DBLP DOI BibTeX RDF
33	Kenichi Ida, Yosuke Kimura	Floorplan Design Using Improved Genetic Algorithm.	ISMIS	2003	DBLP DOI BibTeX RDF
33	Chad D. Sterling, Ronald A. Olsson	Automated bug isolation via program chipping.	AADEBUG	2005	DBLP DOI BibTeX RDF	bug isolation, program chipping, debugging, program slicing, data slicing
32	Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella	Trading-off security and performance in barrier slicing for remote software entrusting.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Security, Program slicing, Source code transformation
32	Dennis Giffhorn, Christian Hammer 0001	Precise slicing of concurrent programs.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Concurrency, Program analysis, Threads, Slicing
32	Ross Gore, Paul F. Reynolds Jr.	Causal Program Slicing.	PADS	2009	DBLP DOI BibTeX RDF	Simulation, Debugging, Validation, Program Slicing
32	Yu-Ning Chang, Yih-Lang Li, Wei-Tin Lin, Wen-Nai Cheng	Non-slicing floorplanning-based crosstalk reduction on gridless track assignment for a gridless routing system with fast pseudo-tile extraction.	ISPD	2008	DBLP DOI BibTeX RDF	crosstalk reduction, full-chip routing, gridless routing, implicit connection graph-based router, non-slicing floorplanning, detailed routing
32	Jung Ho Bae, KwangMin Lee, Heung Seok Chae	Modularization of the UML Metamodel Using Model Slicing.	ITNG	2008	DBLP DOI BibTeX RDF	UML metamodel, UML slicing, UML modeling tool
32	Haiou Zhang, Jiang Jiang, Haiping Zou, Guilan Wang	Multi-axis Path Planning for Hybrid Plasma Deposition and Milling Based on Slicing Characteristics.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	Overhang structure, Slicing characteristics, Process planning, robotic system
32	Joseph Gil, Yoav Zibin	Efficient dynamic dispatching with type slicing.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	CT (compact dispatch tables), type slicing, hierarchy, subtyping, message, incremental, dispatch, dynamic-typing
32	David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya	A formal relationship between program slicing and partial evaluation.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Conditioned program slicing, Partial evaluation
32	Paolo Tonella, Filippo Ricca	Web Application Slicing in Presence of Dynamic Code Generation.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Web applications, program slicing, system dependence graph
32	S. Ramesh 0001, Aditya Rajeev Kulkarni, Viraj Kamat	Slicing tools for synchronous reactive programs.	ISSTA	2004	DBLP DOI BibTeX RDF	formal verification, slicing, synchronous programs
32	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
32	Gustavo Villavicencio	Formal Program Reversing by Conditioned Slicing.	CSMR	2003	DBLP DOI BibTeX RDF	conditioned slicing, algebra of programming, formal methods, Reverse engineering, denotational semantics
32	Juergen Rilling, Tuomas Klemola	Identifying Comprehension Bottlenecks Using Program Slicing and Cognitive Complexity Metric.	IWPC	2003	DBLP DOI BibTeX RDF	program comprehension, program slicing, complexity measures
32	Donglin Liang, Mary Jean Harrold	Equivalence analysis and its application in improving the efficiency of program slicing.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	program slicing, data-flow analysis, Alias analysis
32	William G. Griswold	Making slicing practical: the final mile (Abstract).	PASTE	2001	DBLP DOI BibTeX RDF	program slicing
32	Margaret Ann Francel, Spencer Rugaber	The Relationship of Slicing and Debugging to Program Understanding.	IWPC	1999	DBLP DOI BibTeX RDF	reverse engineering, debugging, Program slicing
32	Taeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T. Huynh	Dynamic Software Architecture Slicing.	COMPSAC	1999	DBLP DOI BibTeX RDF	software architecture, dynamic slicing
32	J. T. Mowchenko, Y. Yang	Optimizing wiring space in slicing floorplans.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	wiring space optimisation, slicing floorplans, net density, sibling rectangles, circuit modules, routed layouts, VLSI, heuristic, network routing, circuit layout CAD, circuit optimisation, integrated circuit layout, branch and bound algorithm, wiring, IC layout
32	Keith Brian Gallagher, James R. Lyle	Using Program Slicing in Software Maintenance.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software maintenance problem, line number, single variable decomposition slices, set inclusion, slice-based decomposition, unmodified components, semantically consistent changes, software maintenance, program testing, program slicing, program slice, linear time
29	Aharon Abadi, Ran Ettinger, Yishai A. Feldman	Improving slice accuracy by compression of data and control flow paths.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	program slicing
29	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
29	Michael Leuschel, Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit	The MEB and CEB Static Analysis for CSP Specifications.	LOPSTR	2008	DBLP DOI BibTeX RDF	CSP, Concurrent Programming, Program Slicing
29	Xiangyu Zhang 0001, Sriraman Tallam, Neelam Gupta, Rajiv Gupta 0001	Towards locating execution omission errors.	PLDI	2007	DBLP DOI BibTeX RDF	execution omission, implicit dependence, potential dependence, predicate switching, relevant slicing, debugging
29	Xing Xie 0001, Chong Wang 0002, Li-Qun Chen, Wei-Ying Ma	An adaptive web page layout structure for small devices.	Multim. Syst.	2005	DBLP DOI BibTeX RDF	Slicing tree, Mobile device, Web browsing, Layout optimization, Adaptive content delivery
29	David W. Binkley, Mark Harman	A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity.	ICSM	2003	DBLP DOI BibTeX RDF	Semantics-Based Tools, Empirical Study, Program Slicing
29	Ulrich Kühn 0001	Improved Cryptanalysis of MISTY1.	FSE	2002	DBLP DOI BibTeX RDF	Slicing Attack, Cryptanalysis, Block cipher, Impossible Differential
29	Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons	Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.	IWPC	2001	DBLP DOI BibTeX RDF	Conditioned program slicing, program specialisation, path condition analysis
29	Jens Krinke, Torsten Robschink, Gregor Snelting	Software-Sicherheitsprüfung mit VALSOFT.	Inform. Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Meßgeräte, Software-Validierung, Pfadbedingung, Program-Slicing, Constraint-Solving
29	Takayuki Yamanouchi, Kazuo Tamakashi, Takashi Kambe	Hybrid floorplanning based on partial clustering and module restructuring.	ICCAD	1996	DBLP DOI BibTeX RDF	slicing structure, clustering, placement, floorplanning
29	Daniel Jackson 0001, Eugene J. Rollins	A New Model of Program Dependences for Reverse Engineering.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	dataflow dependence, reverse engineering, specifications, modularity, program slicing, program dependence graph
27	Çagatay Demiralp, Gregory Shakhnarovich, Song Zhang 0004, David H. Laidlaw	A Slicing-Based Coherence Measure for Clusters of DTI Integral Curves.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
27	Malay K. Ganai, Aarti Gupta	Tunneling and slicing: towards scalable BMC.	DAC	2008	DBLP DOI BibTeX RDF	CFG, partitioning, slice, SMT, tunnel, EFSM, CSR, BMC
27	Madhusmita Sahu, Durga Prasad Mohapatra	A Node-Marking Technique for Dynamic Slicing of Aspect-Oriented Programs.	ICIT	2007	DBLP DOI BibTeX RDF
27	Ingo Brückner	Slicing Concurrent Real-Time System Specifications for Verification.	IFM	2007	DBLP DOI BibTeX RDF
27	Antonio Fernández 0001, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal	Distributed Slicing in Dynamic Systems.	ICDCS	2007	DBLP DOI BibTeX RDF
27	Josep Silva	A Program Slicing Based Method to Filter XML/DTD Documents.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
27	Pierre Rousseau	A New Approach for Concurrent Program Slicing.	FORTE	2006	DBLP DOI BibTeX RDF
27	Federica Mandreoli, Riccardo Martoglia, Enrico Ronchetti	Supporting Temporal Slicing in XML Databases.	EDBT	2006	DBLP DOI BibTeX RDF
27	Attila Szegedi, Tibor Gyimóthy	Dynamic Slicing of Java Bytecode Programs.	SCAM	2005	DBLP DOI BibTeX RDF
27	Yajuan Pan, Dai Pan, Mei-Hwa Chen	Slicing Component-Based Systems.	ICECCS	2005	DBLP DOI BibTeX RDF
27	Venkatesh Prasad Ranganath, John Hatcliff	Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs.	CC	2004	DBLP DOI BibTeX RDF
27	Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar 0004	An Edge Marking Technique for Dynamic Slicing of Object-Oriented Programs.	COMPSAC	2004	DBLP DOI BibTeX RDF
27	Enrico Masala, Hua Yang, Kenneth Rose, Juan Carlos De Martin	Rate-Distortion Optimized Slicing, Packetization and Coding for Error Resilient Video Transmission.	Data Compression Conference	2004	DBLP DOI BibTeX RDF
27	Johan Berntsson, Maolin Tang	A Slicing Structure Representation for the Multi-layer Floorplan Layout Problem.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
27	Tankut Akgul, Vincent John Mooney III, Santosh Pande	A Fast Assembly Level Reverse Execution Method via Dynamic Slicing.	ICSE	2004	DBLP DOI BibTeX RDF
27	Zion Cien Shen, Chris C. N. Chu	Bounds on the number of slicing, mosaic, and general floorplans.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
27	Brandon Morel, Perry Alexander	A Slicing Approach for Parallel Component Adaptation.	ECBS	2003	DBLP DOI BibTeX RDF
27	Naoki Kobayashi 0001	Useless Code Elimination and Programm Slicing for the Pi-Calculus.	APLAS	2003	DBLP DOI BibTeX RDF
27	Jianjun Zhao 0001	Slicing Aspect-Oriented Software.	IWPC	2002	DBLP DOI BibTeX RDF
27	Silke Salewski, Erich Barke	An Upper Bound for 3D Slicing Floorplans.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
27	Fumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro Inoue	A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information.	APSEC	2001	DBLP DOI BibTeX RDF
27	Gustavo Villavicencio, José Nuno Oliveira	Reverse Program Calculation Supported by Code Slicing.	WCRE	2001	DBLP DOI BibTeX RDF
27	Katsuhisa Maruyama	Automated method-extraction refactoring by using block-based slicing.	SSR	2001	DBLP DOI BibTeX RDF
27	Neeraj Mittal, Vijay K. Garg	Computation Slicing: Techniques and Theory.	DISC	2001	DBLP DOI BibTeX RDF
27	Andrea De Lucia	Program Slicing: Methods and Applications.	SCAM	2001	DBLP DOI BibTeX RDF
27	Lucian Codrescu, D. Scott Wills	On Dynamic Speculative Thread Partitioning and the MEM-Slicing Algorithm.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Thread Partitioning, Multiscalar, Thread Speculation, Speculative Multithreading, Dynamic Partitioning
27	Peter M. Maurer, William J. Schilp	Software Bit-Slicing: A Technique for Improving Simulation Performance.	DATE	1999	DBLP DOI BibTeX RDF
27	Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue	Slicing Methods Using Static and Dynamic Analysis Information.	APSEC	1999	DBLP DOI BibTeX RDF
27	Jens Krinke	Static Slicing of Threaded Programs.	PASTE	1998	DBLP DOI BibTeX RDF
27	Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen	On the Effectiveness of Slicing Hierarchical State Machines: A Case Study.	EUROMICRO	1998	DBLP DOI BibTeX RDF
27	Mark Harman, Yoga Sivagurunathan, Sebastian Danicic	Analysis of Dynamic Memory Access Using Amorphous Slicing.	ICSM	1998	DBLP DOI BibTeX RDF
27	Rastislav Bodík, Rajiv Gupta 0001	Partial Dead Code Elimination using Slicing Transformations.	PLDI	1997	DBLP DOI BibTeX RDF