Search results for "analyses"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
54	Karama Kanoun, Jean-Claude Laprie	Software Reliability Trend Analyses from Theoretical to Practical Considerations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software reliability trend analyses, software reliability growth characterization, reliability trend analyses, software testing, project management, project manager, software reliability, software validation
45	Stephen G. Eick, Joseph L. Steffen, Eric E. Sumner Jr.	Seesoft-A Tool For Visualizing Line Oriented Software Statistics.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Seesoft, line oriented software statistics, software visualization system, ISDN lamps, call forwarding, static analyses, dynamic analyses, high interaction graphics, code tuning, software tools, project management, project management, tool, direct manipulation, configuration management, data visualisation, discovery, development methodologies, version control systems
44	Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn	Variance analyses from invariance analyses.	POPL	2007	DBLP DOI BibTeX RDF	formal verification, program analysis, termination, liveness, software model checking
41	Zhilan Feng, Ulf Dieckmann, Simon A. Levin (eds.)	Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41		Preface.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP BibTeX RDF
41	Mike Boots, Masashi Kamo, Akira Sasaki	The implications of spatial structure within populations to the evolution of parasites.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41		Foreword.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP BibTeX RDF
41	David L. Smith, Maciej F. Boni, Ramanan Laxminarayan	Dynamics and control of antibiotic resistance in structured metapopulations.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	Troy Day, Sylvain Gandon	Insights from Price's equation into evolutionary epidemiology.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	John K. Kelly	Evolutionary and dynamic models of infection with internal host structure.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41		Editor's Introduction.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP BibTeX RDF
41	William J. Koppelman, Frederick R. Adler	Do rhinoviruses follow the neutral theory? The role of cross-immunity in maintaining the diversity of the common cold.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	Wayne M. Getz, James O. Lloyd-Smith	Basic methods for modeling the invasion and spread of contagious diseases.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	Robert D. Holt, Michael Barfield	Within-host pathogen dynamics: Some ecological and evolutionary consequences of transients, dispersal mode, and within-host spatial heterogeneity.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	Michael A. Charleston, Alison P. Galvani	A cophylogenetic perspective on host-pathogen evolution.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	Zhilan Feng, Libin Rong	The influence of anti-viral drug therapy on the evolution of HIV-1 pathogens.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	Wayne M. Getz, James O. Lloyd-Smith, Paul C. Cross, Shirli Bar-David, Philip L. F. Johnson, Travis C. Porco, Marís S. Sánchez	Modeling the invasion and spread of contagious diseases in heterogeneous populations.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	Alun L. Lloyd, Dominik Wodarz	Drug resistance in acute viral infections: Rhinovirus as a case study.	Disease Evolution: Models, Concepts, and Data Analyses	2006	DBLP DOI BibTeX RDF
41	Tobias Gedell, Daniel Hedin	Abstract Interpretation Plugins for Type Systems.	AMAST	2008	DBLP DOI BibTeX RDF
40	Maria João Frade, Ando Saabas, Tarmo Uustalu	Bidirectional data-flow analyses, type-systematically.	PEPM	2009	DBLP DOI BibTeX RDF	mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
40	Daniel von Dincklage, Amer Diwan	Explaining failures of program analyses.	PLDI	2008	DBLP DOI BibTeX RDF	analyses, reasons
39	Sabine Glesner, Wolf Zimmermann	Natural semantics as a static program analysis framework.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics
34	Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel	Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java.	ICSE Companion	2007	DBLP DOI BibTeX RDF
34	Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank	Integrating and Scheduling an Open Set of Static Analyses.	ASE	2006	DBLP DOI BibTeX RDF
34	Sorin Lerner, David Grove, Craig Chambers	Composing dataflow analyses and transformations.	POPL	2002	DBLP DOI BibTeX RDF
34	Jens Palsberg	Comparing Flow-Based Binding-Time Analyses.	TAPSOFT	1995	DBLP DOI BibTeX RDF
33	Guoqing Xu 0001, Atanas Rountev	AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software.	AOSD	2008	DBLP DOI BibTeX RDF	AspectJ, dataflow analysis, interprocedural analysis
32	Terry Joyce, Maki Miyake	Capturing the Structures in Association Knowledge: Application of Network Analyses to Large-Scale Databases of Japanese Word Associations.	LKR	2008	DBLP DOI BibTeX RDF	association knowledge, lexical knowledge, network analyses, large-scale databases of Japanese word associations, Associative Concept Dictionary (ACL), Japanese Word Association Database (JWAD), association network representations, Markov clustering (MCL), recurrent Markov clustering (RMCL), modularity, graph clustering
32	Jürgen Münch, Dietmar Pfahl, Ioana Rus	Virtual Software Engineering Laboratories in Support of Trade-off Analyses.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	software engineering laboratories, trade-off-analyses, decision support, software process modeling, software process simulation
30	Dominik Domis, Mario Trapp	Integrating Safety Analyses and Component-Based Design.	SAFECOMP	2008	DBLP DOI BibTeX RDF
30	Kyungwoo Lee, Xing Fang, Samuel P. Midkiff	Practical escape analyses: how good are they?	VEE	2007	DBLP DOI BibTeX RDF	analysis precision, Java, dynamic compilation, escape analysis
30	Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard	Modular Pluggable Analyses for Data Structure Consistency.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design
30	Susan Pancho-Festin, Dieter Gollmann	On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
30	Hong Oh Kim, Rae Young Kim, Jae Kun Lim	Quasi-Biorthogonal Frame Multiresolution Analyses and Wavelets.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	wavelets, frames, multiresolution analysis, shift-invariant spaces
30	D. V. Ravindra	Using Locality of Flow in Dataflow Analyses.	APLAS	2003	DBLP DOI BibTeX RDF
30	Atanas Rountev, Barbara G. Ryder	Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries.	CC	2001	DBLP DOI BibTeX RDF
30	Donglin Liang, Mary Jean Harrold	Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers.	PASTE	1999	DBLP DOI BibTeX RDF	data-flow analysis, alias analysis
30	Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers	Static Analyses for Eliminating Unnecessary Synchronization from Java Programs.	SAS	1999	DBLP DOI BibTeX RDF
29	Prahladavaradan Sampath, Shrawan Kumar	Composing Context Sensitive Analysis.	SEFM	2006	DBLP DOI BibTeX RDF
28	Tobias Nowack, Stefan Lutherdt, Manuel Möller, Peter Kurtz, Hartmut Witte	Improvement of the Design Quality of 3D-Input Devices Using Motion Analyses and Biomechanical Comparisons.	HCI (15)	2009	DBLP DOI BibTeX RDF	3D-input, evaluation software, reachable space of motion, ergonomically motivated equipment, motion analyses of input tasks, User-centred design
28	Stefan Lutherdt, Carsten Stiller, Katrin Lienert, Sabine Spittel, Fred Roß, Christoph Ament, Hartmut Witte	Design of an Assistance System for Elderly Based on Analyses of Needs and Acceptance.	HCI (5)	2009	DBLP DOI BibTeX RDF	assistance system for elderly, requirement analyses, user and service profiles, changing demography, information gathering, individualization
28	Takayuki Fujimoto, Muhammad Dzulqarnain bin Muhammad Nasir, Tokuro Matsuo	A Design on Collaborative-Cooperative Document Edit System Based on Cognitive Analyses.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Collaborative-Cooperative, Document Edit System, Cognitive Analyses, Collaboration ware
28	Jinge Wang 0001, Qiang Wang, Qian Yu	Numeric-Symbolic Solutions to Analyses of Forward Position and Singularity Configuration for 3-RPS Parallel Mechanism.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	forward position analyses, maneuverability, singularity configuration, Groebner base, parallel mechanism
28	Ken Kennedy, Nenad Nedeljkovic	Combining dependence and data-flow analyses to optimize communication.	IPPS	1995	DBLP DOI BibTeX RDF	data-flow analyses, regular communication, data-flow analysis method, overlapping communication, performance, compilers, dependence, program compilers, distributed memory systems, parallel languages, communication overhead, communication optimizations, distributed-memory machines, data-parallel languages
26	Ando Saabas, Tarmo Uustalu	Proof optimization for partial redundancy elimination.	PEPM	2008	DBLP DOI BibTeX RDF	program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination
26	Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao	Heap Analysis and Optimizations for Threaded Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis
26	Claudio Truzzi, Eric Beyne, Edwin Ringoot, J. Peeters	Signal propagation in high-speed MCM circuits.	ICCD	1995	DBLP DOI BibTeX RDF	thin film circuits, signal propagation, high-speed MCM circuits, thin-film multichip module substrate, timing analyses, lossy interconnection lines, timing, circuit analysis computing, circuit simulations, CMOS integrated circuits, CMOS integrated circuits, multichip modules, receivers, drivers, microsystems, substrates
26	William W. Agresti, William M. Evanco	Projecting Software Defects From Analyzing Ada Designs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software defects projection, context coupling, Ada designs, process characteristics, import-export of declarations, reuse level, regression analyses, Ada, static analysis, software quality, software quality, software metrics, software reliability, statistical analysis, visibility, defect density
26	Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer	Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic analysis, context sensitivity, bug detection
26	Martin Bravenboer, Yannis Smaragdakis	Strictly declarative specification of sophisticated points-to analyses.	OOPSLA	2009	DBLP DOI BibTeX RDF	DOOP, datalog, bdds, points-to analysis, declarative
26	Athos Antoniades, L. Loizou, Aristos Aristodimou, Constantinos S. Pattichis	A binary format for genetic data designed for large whole genome studies that enable both marker and strand based analyses.	BIBE	2008	DBLP DOI BibTeX RDF
26	Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann	Automatic Incrementalization of Prolog Based Static Analyses.	PADL	2007	DBLP DOI BibTeX RDF
26	Sam Kamin, Baris Aktemur, Michael Katelman	Staging static analyses for program generation.	GPCE	2006	DBLP DOI BibTeX RDF	static analysis, program generation, staging, run-time code generation
26	Megan Conklin, James Howison, Kevin Crowston	Collaboration using OSSmole: a repository of FLOSS data and analyses.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	project metrics, source control, data mining, open source software, data analysis, free software, data repository, libre software, defect tracking
26	Heejin Park, Sang-Kil Park, Ki-Ryong Kwon, Dong Kyue Kim	Probabilistic Analyses on Finding Optimal Combinations of Primality Tests in Real Applications.	ISPEC	2005	DBLP DOI BibTeX RDF
26	David C. Shepherd, Jeffrey Palm, Lori L. Pollock, Mark Chu-Carroll	Timna: a framework for automatically combining aspect mining analyses.	ASE	2005	DBLP DOI BibTeX RDF	machine learning, reverse engineering, program analysis, aspect mining
26	Megan Conklin, James Howison, Kevin Crowston	Collaboration using OSSmole: a repository of FLOSS data and analyses.	MSR	2005	DBLP DOI BibTeX RDF	project metrics, source control, data mining, open source software, data analysis, free software, data repository, libre software, defect tracking
26	Clara Segura, Ricardo Pena	Correctness of Non-determinism Analyses in a Parallel-Functional Language.	IFL	2003	DBLP DOI BibTeX RDF
26	Bostjan Brumen, Tatjana Welzer, Marjan Druzovec, Izidor Golob, Hannu Jaakkola	Protecting Medical Data for Analyses.	CBMS	2002	DBLP DOI BibTeX RDF
26	Seth Hallem, Benjamin Chelf, Yichen Xie 0001, Dawson R. Engler	A System and Language for Building System-Specific, Static Analyses.	PLDI	2002	DBLP DOI BibTeX RDF	error detection, extensible compilation
26	Robert Muth, Saumya K. Debray	On the Complexity of Flow-Sensitive Dataflow Analyses.	POPL	2000	DBLP DOI BibTeX RDF
26	Paolo Tonella	Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets.	CSMR	1999	DBLP DOI BibTeX RDF
25	Frank McSherry, Ratul Mahajan	Differentially-private network trace analysis.	SIGCOMM	2010	DBLP DOI BibTeX RDF	trace analysis, differential privacy
25	Daniel Grund, Jan Reineke 0001	Abstract Interpretation of FIFO Replacement.	SAS	2009	DBLP DOI BibTeX RDF	FIFO Replacement, Domain Cooperation, May/Must Reasoning, Cache Analysis
25	Florian Martin 0001	PAG - An Efficient Program Analyzer Generator.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction
22	Brian J. N. Wylie, Markus Geimer, Mike Nicolai, Markus Probst	Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L.	PVM/MPI	2007	DBLP DOI BibTeX RDF	performance analyses, application tuning, scalability
22	Kaj Helin, Juhani Viitaniemi, Jari Montonen, Susanna Aromaa, Timo Määttä	Digital Human Model Based Participatory Design Method to Improve Work Tasks and Workplaces.	HCI (12)	2007	DBLP DOI BibTeX RDF	Computer aided ergonomics, ergonomic analyses, participatory design, motion analysis, digital human model, posture, workplace design
22	Gabriel Ripoche, Jean-Paul Sansonnet	Experiences in Automating the Analysis of Linguistic Interactions for the Study of Distributed Collectives.	Comput. Support. Cooperative Work.	2006	DBLP DOI BibTeX RDF	distributed software problem management, large-scale automated analyses, interaction modeling, speech acts, computational tools
22	Bradley R. Schmerl, David Garlan, Hong Yan 0002	Dynamically discovering architectures with DiscoTect.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	architecture design tools and analyses, architecture discovery, reverse engineering
22	Bhaskaran Raman, Randy H. Katz, Anthony D. Joseph	Universal Inbox: providing extensible personal mobility and service mobility in an integrated communication network.	WMCSA	2000	DBLP DOI BibTeX RDF	Universal Inbox, extensible personal mobility, extensible service mobility, integrated communication network, end-devices, integrated service architecture, heterogeneous end-points, generic data type transformation, customizable communication redirection, user preference profiles, device name mapping, device name translation, reusable infrastructure components, GSM cellular phones, instant messaging service, performance analyses, user base, mobile computing, scalability, mobile communication, personal computing, electronic mail, voice-over-IP, telecommunication networks, Internet services, access networks, test-bed, telecommunication services, personal communication networks, voice-mail
22	Flemming Nielson, Hanne Riis Nielson	Type and Effect Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF	Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
22	Alfred Inselberg	Multidimensional detective.	INFOVIS	1997	DBLP DOI BibTeX RDF	multidimensional detective, multivariate dataset display, 2D pattern recognition problem, modeling relations, economic sectors, economic policies, trade-off analyses, approximate optimization, monitoring, knowledge discovery, decision support, data visualisation, competition, visual data mining, parallel coordinates, economic model, VLSI chip
22	Andrew D. Bagdanov, Junichi Kanai	Projection profile based skew estimation algorithm for JBIG compressed images.	ICDAR	1997	DBLP DOI BibTeX RDF	projection profile based skew estimation algorithm, fiducial point extraction, skew angle estimation, JBIG compressed image decoding, page images, single column test zones, linear regression analyses, decoding
22	Deng-Jyi Chen, Ming-Sang Chang, C. I. Yang, Kuo-Lung Ku	Multimedia task reliability analysis based on token ring network.	ICPADS	1996	DBLP DOI BibTeX RDF	multimedia task reliability analysis, reliability analyses, multimedia task reliability, time-constraint multimedia task reliability, multimedia systems, polynomial-time algorithms, reliability models, distributed multimedia system, token networks, token ring network
22	Ryouei Takahashi, Yukihiro Nakamura	The effect of interface complexity on program error density.	ICSM	1996	DBLP DOI BibTeX RDF	interface complexity, program error density, modified parts, unmodified parts, interfaced complexities, functionally related routines, discriminant analyses, reuse-ratio, optimal threshold, extended cyclomatic number, error density, software maintenance, regression analysis, subsystems, software maintainability, software errors, C-coding, software quality classification, AIC
22	Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson	Reliability analysis of CSP specifications using Petri nets and Markov processes.	HICSS (2)	1995	DBLP DOI BibTeX RDF	stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
22	Kim Lowell, Geoffrey Edwards, Kim H. Esbensen	Towards a more human (re)design of digital spatial technologies with emphasis on an uncertainty-based cartographic representation.	HICSS (4)	1995	DBLP DOI BibTeX RDF	human redesign, digital spatial technologies, uncertainty-based cartographic representation, technology development, remote sensing technique, spatial data handling, continual human participation, human analyses, geographic information systems, human factors, remote sensing, cartography, uncertainty handling, spatial data structures, data handling, decision-making process, spatial information systems, spatial data representation
22	Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems.	ICSM	1995	DBLP DOI BibTeX RDF	safety-critical software maintenance, Bylands, real-time existing code, high level design extraction, formal transformations, abstract representation, requirements analyses, very-high-level domain languages, real-time systems, reverse engineering, reverse engineering, software maintenance, systems analysis, safety-critical systems, high level languages, safety-critical software, temporal constraints
22	Sakti P. Ghosh	Numerical Operations on a Relational Database.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Codd, numerical operations, statistical analyses, bivariate frequency table, bivariate statistical operations, bivariate relational data structures, real-time automatic statistical quality control, category-numeric operations, relational database, relational databases, statistical analysis, database theory, relational algebra, manufacturing process, relational tables
22	Edward P. Lyvers, Owen Robert Mitchell, Mark L. Akey, Anthony P. Reeves	Subpixel Measurements Using a Moment-Based Edge Operator.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	subpixel measurements, edge location, moment-based edge operator, two-dimensional spatial moments, deterministic errors, edge orientation, imaged machined metal parts, noise analyses, pattern recognition, computer vision, picture processing, computerised picture processing, computerised pattern recognition, digitized images, table lookup, lookup table
22	Lobna Karoui, Marie-Aude Aufaure, Nacéra Bennacer	Analyses and Fundamental ideas for a Relation Extraction Approach.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
22	Lingzhi Luo, Srinivas Akella	Optimal scheduling of biochemical analyses on digital microfluidic systems.	IROS	2007	DBLP DOI BibTeX RDF
22	Bastian Schlich, Jann Löll, Stefan Kowalewski	Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.	FMICS	2007	DBLP DOI BibTeX RDF
22	Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001	Application of Safety Analyses in Model Driven Development.	SEUS	2007	DBLP DOI BibTeX RDF
22	Miryung Kim, David Notkin	Program element matching for multi-version program analyses.	MSR	2006	DBLP DOI BibTeX RDF	multi-version analysis, software evolution, matching
22	Nguyen-Xuan Thinh, Martin Behnisch, Alfred Ultsch	Examination of Several Results of Different Cluster Analyses with a Separate View to Balancing the Economic and Ecological Performance Potential of Towns and Cities.	GfKl	2006	DBLP DOI BibTeX RDF
22	Sankar P. Debnath, Sukumar Jairam, H. Udayakumar	A Methodology for Fast Vector Based Power Supply and Substrate Noise Analyses.	VLSI Design	2005	DBLP DOI BibTeX RDF
22	Jean Schoentgen, E. Dessalle, Abdellah Kacha, Francis Grenez	Issues in Clinical Applications of Bilateral Multi-step Predictive Analysis of Speech.	NOLISP	2005	DBLP DOI BibTeX RDF
22	Colleen Cunningham, Il-Yeol Song, Peter P. Chen	Data warehouse design to support customer relationship management analyses.	DOLAP	2004	DBLP DOI BibTeX RDF	data warehouse, customer relationship management
22	Fausto Spoto, Thomas P. Jensen	Class analyses as abstract interpretations of trace semantics.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Abstract interpretation, denotational semantics, class analysis
22	Frédéric Prost	A formalization of Static Analyses in System F.	CADE	1999	DBLP DOI BibTeX RDF
22	Rohini Gupta, Seok-Yoon Kim, Lawrence T. Pileggi	Domain characterization of transmission line models and analyses.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
22	Maurice Bruynooghe, Michael Codish, Anne Mulkers	Abstracting Unification: A Key Step in the Design of Logic Program Analyses.	Computer Science Today	1995	DBLP DOI BibTeX RDF
22	Michael Codish, Moreno Falaschi, Kim Marriott	Suspension Analyses for Concurrent Logic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, concurrent logic programming
22	Philippe Granger	Improving the Results of Static Analyses Programs by Local Decreasing Iteration.	FSTTCS	1992	DBLP DOI BibTeX RDF
20	Cormac Flanagan, Stephen N. Freund	The RoadRunner dynamic analysis framework for concurrent programs.	PASTE	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis
20	Ondrej Lhoták, Laurie J. Hendren	Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Interprocedural program analysis, cast safety analysis, Java, binary decision diagrams, context sensitivity, points-to analysis, call graph construction
20	Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine	Heap Decomposition for Concurrent Shape Analysis.	SAS	2008	DBLP DOI BibTeX RDF
20	Ian Toyn, Andy Galloway	Formal Validation of Hierarchical State Machines against Expectations.	ASWEC	2007	DBLP DOI BibTeX RDF