|
|
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 |
27 | Weiping Shi |
A fast algorithm for area minimization of slicing floorplans. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima |
Static Slicing of Concurrent Object-Oriented Programs. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
27 | G. A. Venkatesh |
Experimental Results from Dynamic Slicing of C Program. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
program analysis, program slice |
27 | John Field, G. Ramalingam, Frank Tip |
Parametric Program Slicing. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
27 | Cheng-Hsi Chen, Ioannis G. Tollis |
Parallel algorithms for slicing floorplan designs. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Hiralal Agrawal, Joseph Robert Horgan |
Dynamic Program Slicing. |
PLDI |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Lukas P. P. P. van Ginneken, Ralph H. J. M. Otten |
Optimal slicing of plane point placements. |
EURO-DAC |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Chad D. Mano, Andrew Blaich, Qi Liao 0002, Yingxin Jiang, David A. Cieslak, David Salyers, Aaron Striegel |
RIPPS: Rogue Identifying Packet Payload Slicer Detecting Unauthorized Wireless Hosts Through Network Traffic Conditioning. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
rogue systems, network security, traffic conditioning |
25 | Xiuling Zhou, Chengyi Sun, Ning Mao, Wenjuan Li |
Generalization of HSO algorithm for computing hypervolume for multiobjective optimization problems. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Nannan He, Michael S. Hsiao |
Bounded model checking of embedded software in wireless cognitive radio systems. |
ICCD |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Wenlong Li, Eric Q. Li, Carole Dulong, Yen-Kuang Chen, Tao Wang 0003, Yimin Zhang 0002 |
Workload Characterization of a Parallel Video Mining Application on a 16-Way Shared-Memory Multiprocessor System. |
IISWC |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Xavier Rival |
Abstract Dependences for Alarm Diagnosis. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge |
State-Space Reduction Techniques in Agent Verification. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Bo Yao, Hongyu Chen, Chung-Kuan Cheng, Ronald L. Graham |
Revisiting floorplan representations. |
ISPD |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Shuo Zhou, Sheqin Dong, Chung-Kuan Cheng, Jun Gu |
ECBL: an extended corner block list with solution space including optimum placement. |
ISPD |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Masahiro Ishikawa, Hanxiong Chen, Kazutaka Furuse, Jeffrey Xu Yu, Nobuo Ohbo |
MB+Tree: A Dynamically Updatable Metric Index for Similarity Searches. |
Web-Age Information Management |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Leonidas J. Guibas, Douglas K. Wyatt |
Compilation and Delayed Evaluation in APL. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
25 | Md. Abul Hassan Samee, Mohammad Tanvir Irfan, Md. Saidur Rahman 0001 |
Computing beta -Drawings of 2-Outerplane Graphs in Linear Time. |
WALCOM |
2008 |
DBLP DOI BibTeX RDF |
Proximity Drawing, ?-Drawing, Proximity Graph, 2-Outerplane graph, Slicing Path, Good Slicing Path, Graph Drawing |
25 | Keith B. Gallagher, Lucas Layman |
Are Decomposition Slices Clones?. |
IWPC |
2003 |
DBLP DOI BibTeX RDF |
Decomposition Slicing, Software Maintenance, Program Slicing, Clone Detection, Software Comprehension |
23 | Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto |
Contract-Based Slicing Helps on Safety Reuse. |
ICPC |
2010 |
DBLP DOI BibTeX RDF |
safety reuse, design-bycontract, slicing, Component reuse |
23 | Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer |
Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
error injection, error propagation analysis, debugging, slicing |
23 | Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou |
A Multidimensional Array Slicing DSL for Stream Programming. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
array slicing, data rearrangement, stream, multi-core, dsl |
23 | Anna Beletska, Wlodzimierz Bielecki, Albert Cohen 0001, Marek Palkowski, Krzysztof Siedlecki |
Coarse-Grained Loop Parallelization: Iteration Space Slicing vs Affine Transformations. |
ISPDC |
2009 |
DBLP DOI BibTeX RDF |
iteration space slicing, affine transformations, loop parallelization |
23 | Seunghun Park, HyeonJeong Kim, Doo-Hwan Bae |
Change Impact Analysis of a Software Process Using Process Slicing. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
process slicing, software process, impact analysis, process change |
23 | Xiaohong Deng, Guowen Xu, Guang Sun, Junfeng Man |
Software Watermarking Based on Dynamic Program Slicing. |
IIH-MSP |
2008 |
DBLP DOI BibTeX RDF |
content security, reverse engineering, software watermarking, dynamic program slicing |
23 | Astrid Rakow |
Slicing Petri Nets with an Application to Workflow Verification. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
Net Reduction, Workflow nets, Verification, Slicing, CTL |
23 | Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga |
On bytecode slicing and aspectJ interferences. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program analysis, slicing, AspectJ, interference analysis |
23 | Pietro Camarda, Giovanni Tommaso Carone, Domenico Striccoli |
A smoothing algorithm for time slicing DVB-H video transmission with bandwidth constraints. |
MobiMedia |
2006 |
DBLP DOI BibTeX RDF |
smoothing, available bandwidth, DVB-H, time slicing |
23 | John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby |
Slicing and partial evaluation of CORBA component model designs for avionics system. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing |
23 | Frank Tip, T. B. Dinesh |
A slicing-based approach for locating type errors. |
ACM Trans. Softw. Eng. Methodol. |
2001 |
DBLP DOI BibTeX RDF |
semantics-based tool generation, abstract interpretation, program slicing, type-checking, static semantics |
23 | Akira Nishimatsu, Minoru Jihira, Shinji Kusumoto, Katsuro Inoue |
Call-Mark Slicing: An Efficient and Economical Way of Reducing Slice. |
ICSE |
1999 |
DBLP DOI BibTeX RDF |
execution overhead, dependence analysis, dynamic slice, static slicing |
23 | István Forgács, Antonia Bertolino |
Feasible Test Path Selection by Principal Slicing. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
PDG, ddgraph, influencing predicates, principal definition, slicing, automatic test data generation |
23 | William W. Pugh, Evan Rosser |
Iteration Space Slicing and Its Application to Communication Optimization. |
International Conference on Supercomputing |
1997 |
DBLP DOI BibTeX RDF |
message coalescing, program slicing, communication optimization, latency tolerance |
23 | Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo |
Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
reverse engineering, C++, C++, program understanding, polymorphism, slicing, points-to analysis, flow analysis |
23 | Koji Koyamada, Takayuki Ito |
Fast generation of spherical slicing surfaces for irregular volume rendering. |
Vis. Comput. |
1995 |
DBLP DOI BibTeX RDF |
Isosurface and generation, Tetrahedral cells, Spherical slicing surfaces, Seed cells, Volume rendering, irregular |
23 | Jong-Deok Choi, Jeanne Ferrante |
Static Slicing in the Presence of Goto Statements. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
testing, debugging, program analysis, slicing |
22 | Alaa Awad Abdellatif, Amr Abo-eleneen, Amr Mohamed 0001, Aiman Erbad, Nikhil V. Navkar, Mohsen Guizani |
Intelligent-Slicing: An AI-Assisted Network Slicing Framework for 5G-and-Beyond Networks. |
IEEE Trans. Netw. Serv. Manag. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Mohammad J. K. Abood, Ghassan Abdul-Majeed |
Classification of network slicing threats based on slicing enablers: A survey. |
Int. J. Intell. Networks |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Biswojit Nayak, B. N. Bhramar Ray |
ISP: An Improved Slicing Pair Code for Skewed Slicing Floorplan. |
VLSID |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Youssouf Drif |
Le "network slicing" dans les réseaux 5G : intégration d'un lien satellite avec continuité de service. (« Network Slicing in 5G » : Satellite Link Integration with Service Continuity). |
|
2022 |
RDF |
|
22 | Nathalie Naddeh |
Impact of slicing on radio resource management in 5G for vehicular URLLC and eMBB. (Impact du slicing sur la gestion des ressources radio en 5G pour les URLLC véhiculaires et eMBB). |
|
2022 |
RDF |
|
22 | Mandar Datar 0001 |
Resource Allocation and Pricing in 5G Network Slicing. (Allocation des ressources et tarification dans 5G Network Slicing). |
|
2022 |
RDF |
|
22 | Bogdan Alexandru Stoica, Swarup Kumar Sahoo, James R. Larus, Vikram S. Adve |
Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Adrien Gausseran |
Optimization algorithms for network slicing for 5G. (Algorithmes d'optimisation pour le network slicing pour la 5G). |
|
2021 |
RDF |
|
22 | Lulu Wang 0001, Bixin Li, Xianglong Kong |
Type slicing: An accurate object oriented slicing based on sub-statement level dependence graph. |
Inf. Softw. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Takamitsu Iwai, Akihiro Nakao |
Progressive Slicing for Application Identification in Application-Specific Network Slicing. |
GLOBECOM |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Daisuke Nojima, Yuki Katsumata, Yoshifumi Morihiro, Takahiro Asai, Akira Yamada 0003, Shigeru Iwashina |
RAN Slicing to Realize Resource Isolation Utilizing Ordinary Radio Resource Management for Network Slicing. |
IEICE Trans. Commun. |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Phuong Luu Vo, Minh N. H. Nguyen, Tuan-Anh Le, Nguyen Hoang Tran |
Slicing the Edge: Resource Allocation for RAN Network Slicing. |
IEEE Wirel. Commun. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco 0001 |
Slicing from formal semantics: Chisel - a tool for generic program slicing. |
Int. J. Softw. Tools Technol. Transf. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev |
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). |
TACAS (2) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Isabella Mastroeni, Damiano Zanardini |
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing. |
ACM Trans. Comput. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Anteneh A. Gebremariam, Muhammad Usman 0003, Ping Du, Akihiro Nakao, Fabrizio Granelli |
Towards E2E Slicing in 5G: A Spectrum Slicing Testbed and Its Extension to the Packet Core. |
GLOBECOM Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Isabella Mastroeni, Damiano Zanardini |
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
22 | Lijun Lun, Xin Chi, Hui Xu |
The Relationship between Forward Slicing and Backward Slicing for Software Architecture. |
Comput. J. |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Shin Yoo, David W. Binkley, Roger D. Eastman |
Seeing Is Slicing: Observation Based Slicing of Picture Description Languages. |
SCAM |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Johannes Hoffmann, Martin Ussath, Thorsten Holz, Michael Spreitzenbarth |
Slicing droids: program slicing for smali code. |
SAC |
2013 |
DBLP DOI BibTeX RDF |
|
22 | László Vidács, Árpád Beszédes, Tibor Gyimóthy |
Combining preprocessor slicing with C/C++ language slicing. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Che-Wei Chang, Cheng-Ru Wu, Huang-Chu Chen |
Using expert technology to select unstable slicing machine to control wafer slicing quality via fuzzy AHP. |
Expert Syst. Appl. |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Debao Zhou, Mark R. Claffee, Kok-Meng Lee, Gary V. McMurray |
Cutting, 'by Pressing and Slicing', applied to the Robotic Cut of Bio-materials. II. Force during Slicing and Pressing Cuts. |
ICRA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan |
Property-aware program sampling. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
property-aware monitoring, slice fragments, static analysis, sampling, profiling, program slicing, instrumentation |
21 | Shin Nakajima 0001 |
Semi-automated diagnosis of FODA feature diagram. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
FODA feature diagram, graph slicing, satisfiability checking |
21 | Xiangye Xiao, Qiong Luo 0001, Dan Hong, Hongbo Fu 0001, Xing Xie 0001, Wei-Ying Ma |
Browsing on small displays by transforming Web pages into hierarchically structured subpages. |
ACM Trans. Web |
2009 |
DBLP DOI BibTeX RDF |
Web page adaptation, slicing tree, Proxy, Web browsing, small displays, thumbnails |
21 | Wes Masri, Andy Podgurski |
Measuring the strength of information flows in programs. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Dynamic information flow analysis, information flow length, information flow strength, entropy, correlation, dynamic slicing, program dependence, information leakage |
21 | Michael Leuschel, Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit |
SOC: a slicer for CSP specifications. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
software engineering, program slicing |
21 | Daniel Wasserrab, Denis Lohner, Gregor Snelting |
On PDG-based noninterference and its modular proof. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
modularity, program slicing, noninterference, correctness proof, program dependence graph |
21 | Manuel Costa, Jon Crowcroft, Miguel Castro 0001, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham 0001 |
Vigilante: End-to-end containment of Internet worm epidemics. |
ACM Trans. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment |
21 | Yameng Bai, Xingming Sun, Guang Sun, Xiaohong Deng, Xiaoming Zhou |
Dynamic K-Gram Based Software Birthmark. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
Software Theft, k-gram, Obfuscation, Dynamic Program Slicing, Software Birthmark |
21 | Salvador Cavadini |
Secure slices of insecure programs. |
AsiaCCS |
2008 |
DBLP DOI BibTeX RDF |
information flow, program slicing, non-interference, program dependences |
21 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
21 | Dan Zhu, Tun Li, Yang Guo 0003, Sikun Li |
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
cutpoints, Program slicing, Sequential equivalence checking |
21 | David W. Binkley, Nicolas Gold, Mark Harman |
An empirical study of static program slice size. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
slice size, Program slicing |
21 | Abbas Heydarnoori, Krzysztof Czarnecki 0001 |
Mining implementation recipes of framework-provided concepts in dynamic framework API interaction traces. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
FUDA demonstration, framework comprehension, object-oriented software frameworks, data mining, clustering, dynamic slicing |
21 | Abbas Heydarnoori, Krzysztof Czarnecki 0001 |
Comprehending implementation recipes of framework-provided concepts through dynamic analysis. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
FUDA, framework comprehension, object-oriented software frameworks, data mining, clustering, dynamic slicing |
21 | Julian Dolby, Mandana Vaziri, Frank Tip |
Finding bugs efficiently with a SAT solver. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
model checking, specification, slicing, SAT solving |
21 | Manuel Costa, Miguel Castro 0001, Lidong Zhou, Lintao Zhang, Marcus Peinado |
Bouncer: securing software by blocking bad input. |
SOSP |
2007 |
DBLP DOI BibTeX RDF |
precondition slicing, symbolic execution |
21 | Björn Metzler 0001 |
Decomposing Integrated Specifications for Verification. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
Integrated Formal Specifications, Model Checking, Decomposition, Program Slicing, Compositional Verification |
21 | Bin Xin 0001, Xiangyu Zhang 0001 |
Efficient online detection of dynamic control dependence. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
dynamic control dependence, dynamic information flow, dynamic post-dominance, irregular control flow, dynamic program slicing |
21 | Yuan Zhang, Evelyn Duesterwald |
Barrier matching for programs with textually unaligned barriers. |
PPoPP |
2007 |
DBLP DOI BibTeX RDF |
static analysis, MPI, slicing, barrier synchronization, path expressions |
21 | Gregor Snelting, Torsten Robschink, Jens Krinke |
Efficient path conditions in dependence graphs for software safety analysis. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
program slicing, information flow control, Safety analysis, path condition |
21 | Tie Feng, Jonathan I. Maletic |
Applying Dynamic Change Impact Analysis in Component-based Architecture Design. |
SNPD |
2006 |
DBLP DOI BibTeX RDF |
software architecture, program slicing, Change impact analysis, component composition |
21 | Haeng-Kon Kim, Hae Sool Yang |
Security Framework to Verify the Low Level Implementation Codes. |
ICCSA (2) |
2005 |
DBLP DOI BibTeX RDF |
Security features, Reduced Control Flow Graph, Slicing, State Transition Diagram |
21 | Christian Hammer 0001, Gregor Snelting |
An improved slicer for Java. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
object trees, static program slicing, Java |
21 | Gustavo J. Bobeff, Jacques Noyé |
Component specialization. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
component generator, program slicing, partial evaluation, component-based software development |
21 | Xinyu Wang 0001, Jianling Sun, Xiaohu Yang 0001, Zhijun He 0001, Srinivasa R. Maddineni |
Business Rules Extraction from Large Legacy Systems. |
CSMR |
2004 |
DBLP DOI BibTeX RDF |
Domain Variable, Program Slicing, Legacy System, Business Rules, Call-Graph |
21 | Tobias Schüle, Klaus Schneider 0001 |
Abstraction of assembler programs for symbolic worst case execution time analysis. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
program slicing assembler programs, real-time systems, abstraction, worst case execution time, symbolic simulation |
21 | Ricky E. Sward, A. T. Chamillard |
AdaSlicer: an Ada program slicer. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
program slicing, ASIS |
21 | Duoduo Liao, Shiaofen Fang |
Fast volumetric CSG modeling using standard graphics system. |
Symposium on Solid Modeling and Applications |
2002 |
DBLP DOI BibTeX RDF |
3D scan conversion, object slicing, slice stack, slice sweeping, tree pruning, volume Scene Tree, volumetric CSG modeling, voxelization |
21 | Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu 0005, Sebastian Danicic, Joachim Wegener |
VADA: A Transformation-Based System for Variable Dependence Analysis. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
Variable Dependence Analysis, Program Transformation, Program Slicing |
21 | Darren C. Atkinson, William G. Griswold |
Implementation Techniques for Efficient Data-Flow Analysis of Large Programs. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
program understanding, program slicing, data-flow analysis |
21 | Katsuhisa Maruyama, Kenichi Shima |
An Automatic Class Generation Mechanism by Using Method Integration. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
program integration, Object-oriented programming, program transformation, inheritance, program slicing, dependency analysis |
21 | Saurabh Sinha, Mary Jean Harrold |
Analysis and Testing of Programs with Exception Handling Constructs. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
control dependence analysis, Exception handling, program slicing, data flow analysis, structural testing, control flow analysis |
21 | Harry M. Sneed |
Source Animation as a Means of Program Comprehension. |
IWPC |
2000 |
DBLP DOI BibTeX RDF |
Control Flow Slicing, UML, Animation, Object-Orientation, C++, Dynamic Analysis, Concept Lattices, Sequence Diagrams, State Transition |
21 | Karsten Bormann |
An Adaptive Occlusion Culling Algorithm for Use in Large VEs. |
VR |
2000 |
DBLP DOI BibTeX RDF |
Frustum Slicing, detail elision (LOD), Hierarchical Occlusion Map, large virtual environments, real-time graphics |
21 | Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic |
Program Simplification as a Means of Approximating Undecidable Propositions. |
IWPC |
1999 |
DBLP DOI BibTeX RDF |
Testing, Transformation, Slicing |
21 | Jianjun Zhao 0001 |
Multithreaded Dependence Graphs for Concurrent Java Programs. |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Concurrency, software maintenance, program slicing, dependence graph |
21 | T. Y. Chen, Y. Y. Cheung |
Structural Properties of Post-Dominator Trees. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
post dominator trees, program slicing, trees (mathematics), test suite reduction, structural properties, construction algorithm, code optimisation |
21 | Salwa K. Abd-El-Hafiz |
Effects of Decomposition Techniques on Knowledge-Based Program Understanding. |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
reverse engineering, Knowledge base, program understanding, slicing, loops, program decomposition |
21 | Wie Ming Lim, John V. Harrison |
Parallel Approaches for Discovering Functional Dependencies from Data for Information System Design Recovery. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
Functional dependencies discovery, parallel discovery models, horizontal, vertical and matrix slicing techniques, parallel synchronous pipelining technique |
21 | Katsuhisa Maruyama, Kenichi Shima |
New Software Components with an Autonomous Changing Mechanism. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
program integration, source code reuse, program slicing, graph matching, program modification |
21 | Jean-Marie Favre |
Preprocessors from an Abstract Point of View. |
WCRE |
1996 |
DBLP DOI BibTeX RDF |
program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP |
Displaying result #301 - #400 of 3885 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|