Search results for "slicing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Harry M. Sneed	Object-Oriented Cobol Recycling.	WCRE	1996	DBLP DOI BibTeX RDF	object-oriented COBOL recycling, tool supported process, automated slicing techniques, object-COBOL class, elementary operations, reverse engineering, human interaction, object extraction
21	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Program dependence analysis of concurrent logic programs and its applications.	ICPADS	1996	DBLP DOI BibTeX RDF	program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs
21	David W. Binkley, Susan Horwitz, Thomas W. Reps	Program Integration for Languages with Procedure Calls.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	flow-insensitive summary information, semantics-based program integration, program slicing, data-flow analysis, data dependence, control dependence, program dependence graph
21	Jeong-Ki Kim, Jae-Woo Chang	A New Dynamic Signature File Method in Parallel Processing Environment	DEXA	1995	DBLP DOI BibTeX RDF	dynamic signature files, frame-slicing technique, performance evaluation, parallel databases, extendible hashing
21	Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta	An independent software-modification method.	ICSM	1995	DBLP DOI BibTeX RDF	independent software modification method, independent software-modification method, specification changes, functional enhancements, program slicing techniques, non modified parts, modified parts, software maintenance, regression testing, automatic programming, program diagnostics, program modification
21	David W. Binkley	Precise Executable Interprocedural Slices.	LOPLAS	1993	DBLP DOI BibTeX RDF	program slicing, data dependence, control dependence, program dependence graph
19	Daniela Carneiro da Cruz, Pedro Rangel Henriques	Exploring, visualizing and slicing the soul of XML documents.	SAC	2010	DBLP DOI BibTeX RDF
19	Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori	MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers.	SIGCSE	2010	DBLP DOI BibTeX RDF	compiler course, rich internet application (ria), visualization, code generation, program understanding
19	Neha Rungta, Eric Mercer	Slicing and dicing bugs in concurrent programs.	ICSE (2)	2010	DBLP DOI BibTeX RDF	underapproximation, concurrency, abstraction-refinement
19	Jia Lv, Ying Jing, Minghui Wu 0001, Canghong Jin	Crosscutting invariant and an efficient checking algorithm using program slicing.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety
19	Fei Pu, Yan Zhang	Localizing Program Errors via Slicing and Reasoning.	HASE	2008	DBLP DOI BibTeX RDF
19	Eike Best, Astrid Rakow	A Slicing Technique for Business Processes.	UNISCON	2008	DBLP DOI BibTeX RDF
19	Shruti Patil, Venkatesan Muthukumar	Maximizing Resource Utilization by Slicing of Superscalar Architecture.	DSD	2008	DBLP DOI BibTeX RDF
19	Po-Lun Lai, Alper Yilmaz	Efficient object shape recovery via slicing planes.	CVPR	2008	DBLP DOI BibTeX RDF
19	Edoardo Ardizzone, Haris Dindo, Giuseppe Mazzola	Restoration of Digitized Damaged Photos using Bit-Plane Slicing.	ICME	2007	DBLP DOI BibTeX RDF
19	Jen-Chieh Ou, Daniel G. Saab, Qiang Qiang, Jacob A. Abraham	Reducing verification overhead with RTL slicing.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	verification, test, CAD
19	Chao Liu 0001, Xiangyu Zhang 0001, Yu Zhang 0044, Jiawei Han 0001, Bharat K. Bhargava	Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach.	ICSM	2007	DBLP DOI BibTeX RDF
19	Engin Uzuncaova, Sarfraz Khurshid	Program slicing for declarative models.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
19	Hassan Al-Sukhni, David Lindberg, James Holt, Michele Reese	Workload Slicing for Characterizing New Features in High Performance Microprocessors.	MTV	2006	DBLP DOI BibTeX RDF
19	Swatee Rekha Mohanty, Durga Prasad Mohapatra, Himansu Sekhar Behara	A Novel Approach for Static Slicing of Inter-Procedural Programs.	ICIT	2006	DBLP DOI BibTeX RDF
19	Christian Zinner, Wilfried Kubinger	ROS-DMA: A DMA Double Buffering Method for Embedded Image Processing with Resource Optimized Slicing.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
19	Zhuopeng Zhang, Hongji Yang, William C. Chu	Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration.	QSIC	2006	DBLP DOI BibTeX RDF
19	Hai Huang 0011, Wei-Tek Tsai, Raymond A. Paul	Proof Slicing with Application to Model Checking Web Services.	ISORC	2005	DBLP DOI BibTeX RDF
19	Ingo Brückner, Heike Wehrheim	Slicing an Integrated Formal Method for Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
19	Néstor Cataño	Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.	TPHOLs	2005	DBLP DOI BibTeX RDF
19	Aassif Benassarou, Eric Bittar, N. W. John, Laurent Lucas	MC Slicing for Volume Rendering Applications.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
19	Alban Grastien, Marie-Odile Cordier, Christine Largouët	Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations.	AI*IA	2005	DBLP DOI BibTeX RDF
19	Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar 0004	An Efficient Technique for Dynamic Slicing of Concurrent Java Programs.	AACC	2004	DBLP DOI BibTeX RDF
19	Hoon-Joon Kouh, Ki-Tae Kim, Sun-Moon Jo, Weon-Hee Yoo	Debugging of Java Programs Using HDT with Program Slicing.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
19	Alper Sen 0001, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra	Formal Verification of a System-on-Chip Using Computation Slicing.	ITC	2004	DBLP DOI BibTeX RDF
19	Vivekananda M. Vedula, Whitney J. Townsend, Jacob A. Abraham	Program Slicing for ATPG-Based Property Checking.	VLSI Design	2004	DBLP DOI BibTeX RDF
19	Wing Seung Yuen, Evangeline F. Y. Young	Slicing floorplan with clustering constraint.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
19	Neeraj Mittal, Vijay K. Garg	Software Fault Tolerance of Distributed Programs Using Computation Slicing.	ICDCS	2003	DBLP DOI BibTeX RDF	pruning search-space, software-fault tolerance, testing and debugging, predicate detection, partial-order methods
19	Alper Sen 0001, Vijay K. Garg	Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.	OPODIS	2003	DBLP DOI BibTeX RDF
19	Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward	ConSUS: A Scalable Approach to Conditioned Slicing.	WCRE	2002	DBLP DOI BibTeX RDF
19	Vivekananda M. Vedula, Jacob A. Abraham, Jayanta Bhadra	Program Slicing for Hierarchical Test Generation.	VTS	2002	DBLP DOI BibTeX RDF
19	Yan Kit Siu, Sooi-thor Tan	Slicing and Contours Generation for Fabricating Heterogeneous Objects.	GMP	2002	DBLP DOI BibTeX RDF
19	Jens Krinke	Evaluating Context-Sensitive Slicing and Chopping.	ICSM	2002	DBLP DOI BibTeX RDF
19	Evangeline F. Y. Young, Martin D. F. Wong, Hannah Honghua Yang	On extending slicing floorplan to handle L/T-shaped modules andabutment constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
19	Wing Seung Yuen, Fung Yu Young	Slicing floorplan with clustering constraints.	ASP-DAC	2001	DBLP DOI BibTeX RDF
19	Florin Balasa	Device-level placement for analog layout: an opportunity for non-slicing topological representations.	ASP-DAC	2001	DBLP DOI BibTeX RDF
19	Raghavan Komondoor, Susan Horwitz	Using Slicing to Identify Duplication in Source Code.	SAS	2001	DBLP DOI BibTeX RDF
19	Vijay K. Garg, Neeraj Mittal	On Slicing a Distributed Computation.	ICDCS	2001	DBLP DOI BibTeX RDF
19	Yingxin Pang, Florin Balasa, Koen Lampaert, Chung-Kuan Cheng	Block placement with symmetry constraints based on the O-tree non-slicing representation.	DAC	2000	DBLP DOI BibTeX RDF
19	Evangeline F. Y. Young, Martin D. F. Wong, Hannah Honghua Yang	Slicing floorplans with boundary constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
19	Fung Yu Young, D. F. Wong 0001	Slicing Floorplans with Boundary Constraint.	ASP-DAC	1999	DBLP DOI BibTeX RDF
19	Lynette I. Millett, Tim Teitelbaum	Channel Dependence Analysis for Slicing Promela.	PDSE	1999	DBLP DOI BibTeX RDF
19	Hee Beng Kuan Tan, Tok Wang Ling	Correct Program Slicing of Database Operations.	IEEE Softw.	1998	DBLP DOI BibTeX RDF
19	Valérie Gouranton	Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing.	SAS	1998	DBLP DOI BibTeX RDF
19	Frank Tip	Generic Techniques for Source-Level Debugging and Dynamic Program Slicing.	TAPSOFT	1995	DBLP DOI BibTeX RDF
19	Hiralal Agrawal	On Slicing Programs with Jump Statements.	PLDI	1994	DBLP DOI BibTeX RDF
19	Jürgen M. Kleinhans, Georg Sigl, Frank M. Johannes, Kurt Antreich	GORDIAN: VLSI placement by quadratic programming and slicing optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
19	Mariam Kamkar, Nahid Shahmehri, Peter Fritzson	Bug Localization by Algorithmic Debugging and Program Slicing.	PLILP	1990	DBLP DOI BibTeX RDF
17	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
17	Dan R. Ghica, Adam Bakewell	Clipping: A Semantics-Directed Syntactic Approximation.	LICS	2009	DBLP DOI BibTeX RDF
17	Feng Zhang 0015, Sarah Tasneem, Lester Lipsky, Steve Thompson	Analysis of round-robin variants: favoring newly arrived jobs.	SpringSim	2009	DBLP DOI BibTeX RDF	foreground-background (FB), last-come-first-served with preemptive resume (LCFSPR), processor sharing (PS), round-robin (RR), shortest remaining processing time (SRPT)
17	Sharmeen Shahabuddin, Razib Iqbal, Ali A. Nazari Shirehjini, Shervin Shirmohammadi	Compressed domain spatial adaptation for H.264 video.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	spatial adaptation, H.264/avc, MPEG-21, cropping
17	Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry	SCA: a semantic conflict analyzer for parallel changes.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	data flow, semantic analysis, version management
17	Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li 0002, Laurence Tratt	A theoretical and empirical study of EFSM dependence.	ICSM	2009	DBLP DOI BibTeX RDF
17	Yan Huang 0002, Liqin Zhang, Pusheng Zhang	A Framework for Mining Sequential Patterns from Spatio-Temporal Event Data Sets.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Data mining, Spatial databases, Spatial databases and GIS
17	Rudolf Tanner, Martin Studer, Adriano Zanoli, Andreas Hartmann	People Detection and Tracking with TOF Sensor.	AVSS	2008	DBLP DOI BibTeX RDF
17	Anthony Tang 0001, Saul Greenberg, Sidney S. Fels	Exploring video streams using slit-tear visualizations.	AVI	2008	DBLP DOI BibTeX RDF	video history, information visualization, video analysis, timelines
17	Su Wang, Yuming Zhu, Chin-Sheng Chen, Xinxiong Zhu	Digital Design for Functionally Graded Material Components Rapid Prototyping Manufacturing.	GMP	2008	DBLP DOI BibTeX RDF	Rapid prototyping manufacturing, Adaptive slice, Functionally graded material components
17	Philipp Grabher, Johann Großschädl, Dan Page	Light-Weight Instruction Set Extensions for Bit-Sliced Cryptography.	CHES	2008	DBLP DOI BibTeX RDF
17	Yuzana, Khin Marlar Tun	A comparison of collation algorithm for Myanmar language.	ICDIM	2008	DBLP DOI BibTeX RDF
17	Muthusrinivasan Muthuprasanna, G. Manimaran, Zhengdao Wang	Unified Defense Against DDoS Attacks.	Networking	2007	DBLP DOI BibTeX RDF
17	Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Tóth	Verifying the Concept of Union Slices on Java Programs.	CSMR	2007	DBLP DOI BibTeX RDF
17	Guoqing Xu 0001, Atanas Rountev, Yan Tang, Feng Qin	Efficient checkpointing of java software using context-sensitive capture and replay.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	checkpoint, replay
17	Jia-Chang Wang, Chang-Yi Hung, Ming-Zhe Hsieh, Chih-Hao Yen	Apply spray coating technology to liquid based rapid prototyping system.	SMC	2007	DBLP DOI BibTeX RDF
17	Qingmin Shi, Joseph F. JáJá	Isosurface Extraction and Spatial Filtering using Persistent Octree (POT).	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	indexing, scientific visualization, isosurface extraction
17	Michael Waschbüsch, Stephan Würmlin, Markus H. Gross	Interactive 3D video editing.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Graph cuts, Video processing, Video editing, 3D video, Point-based graphics
17	Oztan Harmanci, A. Murat Tekalp	Rate-Distortion Optimal Video Transport Over IP with Bit Errors.	ICIP	2006	DBLP DOI BibTeX RDF
17	Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard	Generating optimized code from SCR specifications.	LCTES	2006	DBLP DOI BibTeX RDF	optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis
17	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.	ATVA	2005	DBLP DOI BibTeX RDF
17	Michael E. Kounavis, Frank L. Berry	A Systematic Approach to Building High Performance Software-Based CRC Generators.	ISCC	2005	DBLP DOI BibTeX RDF
17	Concettina Del Grosso, Giuliano Antoniol, Massimiliano Di Penta, Philippe Galinier, Ettore Merlo	Improving network applications security: a new heuristic to generate stress testing data.	GECCO	2005	DBLP DOI BibTeX RDF	security, test data generation, evolutionary testing, stress testing
17	Hon-Cheng Wong, Huamin Qu, Un-Hong Wong, Zesheng Tang	Perceptually-Based Comparisons of Direct Volume Rendered Images.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
17	Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie	A Theoretical Upper Bound for IP-Based Floorplanning.	COCOON	2005	DBLP DOI BibTeX RDF
17	David W. Binkley, Mark Harman	Forward slices are smaller than backward slices.	SCAM	2005	DBLP DOI BibTeX RDF
17	Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff	Kaveri: Delivering the Indus Java Program Slicer to Eclipse.	FASE	2005	DBLP DOI BibTeX RDF
17	Sumeet Kumar, Prateek Pujara, Aneesh Aggarwal	Bit-Sliced Datapath for Energy-Efficient High Performance Microprocessors.	PACS	2004	DBLP DOI BibTeX RDF
17	Jani Väre, Matti Puputti	Soft Handover in Terrestrial Broadcast Networks.	Mobile Data Management	2004	DBLP DOI BibTeX RDF
17	Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang	Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams.	ICSE	2004	DBLP DOI BibTeX RDF
17	Ben Breech, Anthony Danalis, Stacey A. Shindo, Lori L. Pollock	Online Impact Analysis via Dynamic Compilation Technology.	ICSM	2004	DBLP DOI BibTeX RDF
17	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
17	Sameer Singh 0002	PRISM-A novel framework for pattern recognition.	Pattern Anal. Appl.	2003	DBLP DOI BibTeX RDF	Classification complexity, Hypercuboids, Feature selection, Cells, PRISM, Data compactness
17	Xiangyu Zhang 0001, Rajiv Gupta 0001	Hiding Program Slices for Software Security.	CGO	2003	DBLP DOI BibTeX RDF
17	Wei Zhao 0006, Lu Zhang 0023, Yin Liu, Jing Luo, Jiasu Sun	Understanding How the Requirements Are Implemented in Source Code.	APSEC	2003	DBLP DOI BibTeX RDF	information retrieval, static analysis, software maintenance, program comprehension, traceability
17	Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke	Unions of Slices Are Not Slices.	CSMR	2003	DBLP DOI BibTeX RDF
17	Tun Li, Yang Guo 0003, Sikun Li	An Automatic Circuit Extractor for RTL Verification.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
17	Eitan Frachtenberg, Dror G. Feitelson, Fabrizio Petrini, Juan Fernández 0001	Flexible CoScheduling: Mitigating Load Imbalance and Improving Utilization of Heterogeneous Resources.	IPDPS	2003	DBLP DOI BibTeX RDF
17	James Law, Gregg Rothermel	Whole Program Path-Based Dynamic Impact Analysis.	ICSE	2003	DBLP DOI BibTeX RDF
17	Daniel Kästner, Stephan Wilhelm	Generic control flow reconstruction from assembly code.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	control flow reconstruction, embedded processors, call graph, retargetable compilers, assembly code, postpass optimization
17	Yoav Zibin, Joseph Gil	Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching.	OOPSLA	2002	DBLP DOI BibTeX RDF
17	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Effects of Pointers on Data Dependences.	IWPC	2001	DBLP DOI BibTeX RDF
17	Yunbo Deng, Suraj C. Kothari, Yogy Namara	Program Slice Browser.	IWPC	2001	DBLP DOI BibTeX RDF
17	Bahattin Koc, Yuan-Shin Lee, Yawei Ma	Max-fit biarc fitting to STL models for rapid prototyping processes.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF	STL files, biarc curve-fitting, biarc splines, rapid prototyping, CAD/CAM
17	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Computing Executable Slices for Concurrent Logic Programs.	APAQS	2001	DBLP DOI BibTeX RDF
17	J. Jenny Li, Joseph Robert Horgan	A Tool Suite for Diagnosis and Testing of Software Design Specifications.	DSN	2000	DBLP DOI BibTeX RDF	Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing
17	William Leinberger, George Karypis, Vipin Kumar 0001	Memory Management Techniques for Gang Scheduling.	Euro-Par	2000	DBLP DOI BibTeX RDF