|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1368 occurrences of 674 keywords
|
|
|
Results
Found 3885 publication records. Showing 3885 according to the selection in the facets
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 |
|
Displaying result #201 - #300 of 3885 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|