Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	B. Chung, J. B. Kuo	Gate-Level Dual-Threshold Static Power Optimization Methodology (GDSPOM) Using Path-Based Static Timing Analysis (STA) Technique.	PATMOS	2006	DBLP DOI BibTeX RDF
19	Sriram Sankaranarayanan 0001, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta	Static Analysis in Disjunctive Numerical Domains.	SAS	2006	DBLP DOI BibTeX RDF
19	Patrick Hochstenbach, Henry N. Jerez, Herbert Van de Sompel	The OAI-PMH Static Repository and Static Repository Gateway.	JCDL	2003	DBLP DOI BibTeX RDF	System issues, Design, Standards, Standardization, Experimentation, OAI-PMH, metadata harvesting
19	David A. Wagner 0001	Static Analysis and Software Assurance.	SAS	2001	DBLP DOI BibTeX RDF
19	K. Rustan M. Leino	Applications of Extended Static Checking.	SAS	2001	DBLP DOI BibTeX RDF
19	Kenichi Asai	Binding-Time Analysis for Both Static and Dynamic Expressions.	SAS	1999	DBLP DOI BibTeX RDF
19	Qin Tang, Amir Zjajo, Michel Berkelaar, Nick van der Meijs	RDE-based transistor-level gate simulation for statistical static timing analysis.	DAC	2010	DBLP DOI BibTeX RDF	non-Monte Carlo, transistor-level modeling, statistical static timing analysis
19	Chao-Hsuan Hsu, Chester Liu, En-Hua Ma, James Chien-Mo Li	Static timing analysis for flexible TFT circuits.	DAC	2010	DBLP DOI BibTeX RDF	flexible electronics, static timing analysis
19	Jean-Yves Marion, Romain Péchoux	Sup-interpretations, a semantic method for static analysis of program resources.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	static analysis of first-order languages, Resources control
19	Thi Huyen Chau Nguyen, Pascal Richard, Enrico Bini	Approximation techniques for response-time analysis of static-priority tasks.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Uniprocessor real-time scheduling, Static-priority tasks, Approximation scheme, Worst-case response time
19	Yungbum Jung, Hakjoo Oh, Kwangkeun Yi	Identifying static analysis techniques for finding non-fix hunks in fix revisions.	CIKM-DSMM	2009	DBLP DOI BibTeX RDF	static analysis, mining software repository
19	Ismail Sengör Altingövde, Rifat Ozcan, Özgür Ulusoy	Exploiting query views for static index pruning in web search engines.	CIKM	2009	DBLP DOI BibTeX RDF	query view, static inverted index pruning
19	Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
19	Surajit Chaudhuri, Vivek R. Narasayya, Manoj Syamala	Bridging the application and DBMS divide using static analysis and dynamic profiling.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	static analysis, database application, dynamic profiling
19	Guanjun Li, Jin Xu	The Dahlquist Constant Approach to Stability Analysis of the Static Neural Networks.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Dahlquist constant, Static neural network, Exponential stability
19	Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti	Experience report: OCaml for an industrial-strength static analysis framework.	ICFP	2009	DBLP DOI BibTeX RDF	software architecture, static analysis, plug-ins, OCaml
19	Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang	Static data race detection for concurrent programs with asynchronous calls.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	asynchronous programs, static data race detection, bootstrapping, pointer analysis
19	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
19	Ki Chul Chun, Pulkit Jain, Chris H. Kim	A 0.9V, 65nm logic-compatible embedded DRAM with > 1ms data retention time and 53% less static power than a power-gated SRAM.	ISLPED	2009	DBLP DOI BibTeX RDF	3T DRAM, gain cell, retention time, cache, static power, embedded DRAM
19	Mircea Trofin, John Murphy 0001	Static verification of component composition in contextual composition frameworks.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Contextual composition, Enterprise Java, Static analysis, Software components
19	Andreas Gal, Christian W. Probst, Michael Franz	Java bytecode verification via static single assignment form.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java bytecode verification, dataflow analysis, static single assignment form
19	Derrick Coetzee	TinyLex: static n-gram index pruning with perfect recall.	CIKM	2008	DBLP DOI BibTeX RDF	TinyLex, phrase searching, static pruning, pruning, n-gram, index
19	Stephen A. Edwards, Jia Zeng	Static elaboration of recursion for concurrent software.	PEPM	2008	DBLP DOI BibTeX RDF	SHIM, static elaboration, concurrency, recursion, partial evaluation
19	Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede	A type system for static typing of a domain-specific language.	FPGA	2008	DBLP DOI BibTeX RDF	static type checking, FPGA, type system
19	Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu 0005	Protecting web services from remote exploit code: a static analysis approach.	WWW	2008	DBLP DOI BibTeX RDF	static analysis, http, code injection attack
19	Rifat Ozcan, Ismail Sengör Altingövde, Özgür Ulusoy	Static query result caching revisited.	WWW	2008	DBLP DOI BibTeX RDF	query result caching, static caching, search engine
19	René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst	Static Validation of Licence Conformance Policies.	ARES	2008	DBLP DOI BibTeX RDF	static analysis, open systems, policy enforcement
19	Masaki Aida, Chisa Takano, Masayuki Murata 0001, Makoto Imase	A Proposal of Quasi-Static Approach for Analyzing the Stability of IP Telephony Systems.	ICN	2008	DBLP DOI BibTeX RDF	retry traffic, quasi-static, stability, IP telephony
19	Pietro Ferrara 0001	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.	TAP	2008	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
19	Zhengfeng Jiang, Shaobo Xu, Lei Chen	Testing Technology of Torsional Vibration Spring Static Stiffness.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	dual-mass flywheel, torsional vibration spring, static stiffness, LabVIEW
19	Nathaniel Ayewah, William W. Pugh	A report on a survey and study of static analysis users.	DEFECTS	2008	DBLP DOI BibTeX RDF	Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
19	Lin Xie, Azadeh Davoodi	Fast and Accurate Statistical Static Timing Analysis with Skewed Process Parameter Variation.	ISQED	2008	DBLP DOI BibTeX RDF	Skew-Normal, process variation, Gaussian, statistical static timing analysis
19	Gary Wassermann, Zhendong Su 0001	Static detection of cross-site scripting vulnerabilities.	ICSE	2008	DBLP DOI BibTeX RDF	static analysis, web applications, cross-site scripting, input validation
19	Na Meng 0001, Qianxiang Wang, Qian Wu, Hong Mei 0001	An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	general specification, prioritizing policyquality, quality, result merge, static analysis tool
19	Minjin Zhang, Huawei Li 0001, Xiaowei Li 0001	Static Crosstalk Noise Analysis with Transition Map.	DELTA	2008	DBLP DOI BibTeX RDF	static noise analysis, crosstalk, glitch
19	Hongyu Zhang 0002, Xiuzhen Zhang 0001	Comments on "Data Mining Static Code Attributes to Learn Defect Predictors".	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	accuracy measures, static code attributes, defect prediction, empirical
19	Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi	Lowering: a static optimization technique for transparent functional reactivity.	PEPM	2007	DBLP DOI BibTeX RDF	FRP, FrTime, lowering, optimization, static analysis, functional programming, scheme, lifting, reactive programming
19	Takaaki Tateishi, Hisashi Miyashita, Naoshi Tabuchi, Shin Saito, Kouichi Ono	DHTML Accessibility Checking Based on Static JavaScript Analysis.	HCI (7)	2007	DBLP DOI BibTeX RDF	DHTML accessibility, JavaScript, Static program analysis
19	Jens Knodel, Daniel Popescu 0001	A Comparison of Static Architecture Compliance Checking Approaches.	WICSA	2007	DBLP DOI BibTeX RDF	access rules, architecture compliance checking, conformance rules, SAVE, software architecture, static analysis, architecture evaluation
19	Tom Wanyama	Static and Dynamic Coalition Formation in Group-Choice Decision Making.	MDAI	2007	DBLP DOI BibTeX RDF	Group-Choice, Agent, Negotiation, Dynamic, Coalition-formation, Static
19	Robert B. K. Dewar	The compiler as a static analysis tool.	SIGAda	2007	DBLP DOI BibTeX RDF	ada, compilers, C++, static analysis, C, safety, certification
19	Jan Wen Voung, Ranjit Jhala, Sorin Lerner	RELAY: static race detection on millions of lines of code.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	static analysis, race detection
19	Eric Larson	SUDS: an infrastructure for dynamic software bug detection using static analysis.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	software engineering, software testing, static analysis, instrumentation, software verification, testing tools
19	Ali Dasdan, Ivan Hom	Handling inverted temperature dependence in static timing analysis.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	timing corners, voltage dependence, Static timing analysis, temperature dependence
19	Panagiotis Louridas	Static Code Analysis.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	static checkers, software testing, debugging
19	Yong-Tao Zhang, Hong-Kai Zhao, Jianliang Qian	High Order Fast Sweeping Methods for Static Hamilton-Jacobi Equations.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	fast sweeping methods, WENO approximation, static Hamilton-Jacobi equations, high order accuracy, Eikonal equations
19	Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William W. Pugh, Kristin Stephens	Improving your software using static analysis to find bugs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java, static analysis, FindBugs
19	Marc Aiguier, Karim Berkani, Pascale Le Gall	Feature Specification and Static Analysis for Interaction Resolution.	FM	2006	DBLP DOI BibTeX RDF	pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
19	Naoaki Ohkubo, Kimiyoshi Usami	Delay modeling and static timing analysis for MTCMOS circuits.	ASP-DAC	2006	DBLP DOI BibTeX RDF	interpolation., selective-MT, delay, leakage power, static timing analysis, MTCMOS
19	Shuo Zhou, Bo Yao, Hongyu Chen, Yi Zhu 0002, Chung-Kuan Cheng, Michael D. Hutton	Efficient static timing analysis using a unified framework for false paths and multi-cycle paths.	ASP-DAC	2006	DBLP DOI BibTeX RDF	biclique covering, false subgraphs, multi-cycle subgraphs, static timing analysis, time shifting
19	Dayang Rohaya Awang Rambli, Roy S. Kalawsky	Distance estimations in static images: does viewing distance matter?	CHINZ	2006	DBLP DOI BibTeX RDF	static image, viewing distance, distance estimation, display size
19	Yoonkyung Kim, Byeong-Mo Chang	Visualization of Permission Checks in Java Using Static Analysis.	WISA	2006	DBLP DOI BibTeX RDF	security, Java, static analysis, stack inspection
19	S. N. I. Mount, R. M. Newman, R. J. Low	ICODE: enabling the static checking of programs and their documentation.	SIGDOC	2006	DBLP DOI BibTeX RDF	ICODE, exstatic, static checking
19	Heng Lu 0001, W. K. Chan 0001, T. H. Tse	Static Slicing for Pervasive Programs.	QSIC	2006	DBLP DOI BibTeX RDF	Pervasive concurrent program, static slicing
19	Marco Cova, Viktoria Felmetsger, Greg Banks, Giovanni Vigna	Static Detection of Vulnerabilities in x86 Executables.	ACSAC	2006	DBLP DOI BibTeX RDF	binary static analysis, symbolic execution, Vulnerability analysis, taint analysis
19	Suan Hsi Yong, Susan Horwitz	Using Static Analysis to Reduce Dynamic Analysis Overhead.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	dynamic debugging, runtime types, static analysis
19	Akif Günes Koru, Hongfang Liu	An investigation of the effect of module size on defect prediction using static measures.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	static measures, software metrics, prediction models, defect prediction, software quality management
19	Ákos Kiss 0001, Judit Jász, Tibor Gyimóthy	Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	interprocedural slicing, binary executables, indirect function call, call graph, dynamic information, static slicing
19	Yasuhiko Minamide	Static approximation of dynamically generated Web pages.	WWW	2005	DBLP DOI BibTeX RDF	HTML validation, server-side scripting, static analysis, context-free grammars, cross-site scripting
19	Jens Knodel, Mikael Lindvall, Dirk Muthig	Static Evaluation of Software Architectures - A Short Summary.	WICSA	2005	DBLP DOI BibTeX RDF	PuLSE-DSSA, static architecture evaluatio, software architecture, product line architecture
19	Cong Liu 0013, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli	A structural approach to quasi-static schedulability analysis of communicating concurrent programs.	EMSOFT	2005	DBLP DOI BibTeX RDF	quasi-static scheduling, Petri nets, structural analysis
19	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPoPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
19	Chirayu S. Amin, Noel Menezes, Kip Killpack, Florentin Dartu, Umakanta Choudhury, Nagib Hakim, Yehea I. Ismail	Statistical static timing analysis: how simple can we get?	DAC	2005	DBLP DOI BibTeX RDF	statistical static timing analysis (SSTA), process variations
19	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints.	DAC	2005	DBLP DOI BibTeX RDF	quasi-static, dynamic voltage scaling
19	Karen Yorav, Orna Grumberg	Static Analysis for State-Space Reductions Preserving Temporal Logics.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	path reduction, (partially) dead variable reduction, temporal logic preservation, static analysis
19	Shengquan Wang, Dong Xuan, Riccardo Bettati, Wei Zhao 0001	Providing absolute differentiated services for real-time applications in static-priority scheduling networks.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	utilization-based, real time, admission control, differentiated services, delay bound, priority assignment, static-priority scheduling
19	Brian Chess, Gary McGraw	Static Analysis for Security.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	static analysis, source code, software development life cycle
19	Atanas Rountev, Scott Kagan, Michael Gibas	Evaluating the imprecision of static analysis.	PASTE	2004	DBLP DOI BibTeX RDF	analysis precision, static analysis, dynamic analysis
19	Hao Chen 0003, Jonathan S. Shapiro	Using build-integrated static checking to preserve correctness invariants.	CCS	2004	DBLP DOI BibTeX RDF	EROS, MOPS, model hecking, security, verification, static analysis, assurance
19	Luiz Alberto Pasini Melek, Márcio C. Schneider, Carlos Galup-Montoro	Body-bias compensation technique for SubThreshold CMOS static logic gates.	SBCCI	2004	DBLP DOI BibTeX RDF	body-bias compensation, static logic, low-power, CMOS, logic circuits, subthreshold
19	Misha Zitser, Richard Lippmann, Tim Leek	Testing static analysis tools using exploitable buffer overflows from open source code.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	test detection, security, evaluation, static analysis, source code, buffer overflow, exploit, false alarm
19	Atanas Rountev, Scott Kagan, Michael Gibas	Static and dynamic analysis of call chains in Java.	ISSTA	2004	DBLP DOI BibTeX RDF	call chains, static analysis, dynamic analysis, call graph
19	John Regehr, Alastair Reid 0001	HOIST: a system for automatically deriving static analyzers for embedded systems.	ASPLOS	2004	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, program verification, object code
19	Gianfranco Bilardi, Keshav Pingali	Algorithms for computing the static single assignment form.	J. ACM	2003	DBLP DOI BibTeX RDF	program transformation, optimizing compilers, program optimization, Control dependence, static single assignment form
19	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using static analysis to improve automatic test generation.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Static analysis, Bisimulation, Conformance testing, Slicing, Asynchronous systems
19	Qin Zhao, Bart Mesman, Twan Basten	Static resource models for code-size efficient embedded processors.	ACM Trans. Embed. Comput. Syst.	2003	DBLP DOI BibTeX RDF	Static resource models, phase coupling, scheduling, convex hull, constraint analysis
19	Barbara Catania, Elisa Bertino	Static Analysis of Logical Languages with Deferred Update Semantics.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	static analysis, update, Database system, logical language
19	Martin P. Robillard, Gail C. Murphy	Static analysis to support the evolution of exception structure in object-oriented systems.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	exception flow, exception structure, static analysis, exception handling, Error handling, program evolution
19	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
19	Peter Amey, Roderick Chapman	Static verification and extreme programming.	SIGAda	2003	DBLP DOI BibTeX RDF	Ada, extreme programming, SPARK, static verification, program proof, information-flow analysis
19	Claire Fang Fang, Rob A. Rutenbar, Markus Püschel, Tsuhan Chen	Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling.	DAC	2003	DBLP DOI BibTeX RDF	Static error analysis, custom floating-point, embedded hardware, probabilistic error bound, affine arithmetic
19	Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su	Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling.	APSEC	2002	DBLP DOI BibTeX RDF	Time Complex-Choice Petri Nets, time-extended quasi-static scheduling, code generation, real-time embedded software
19	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
19	Naotake Kamiura, Teijiro Isokawa, Nobuyuki Matsui	PODEM Based on Static Testability Measures and Dynamic Testability Measures for Multiple-Valued Logic Circuits.	ISMVL	2002	DBLP DOI BibTeX RDF	Static Testability Measures, Dynamic Testability Measures, Test Generation, Multiple-Valued Logic, PODEM
19	Brian Chess	Improving Computer Security Using Extended Static Checking.	S&P	2002	DBLP DOI BibTeX RDF	formal methods, vulnerability analysis, static checking
19	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Context Inference for Static Analysis of Java Card Object Sharing.	E-smart	2001	DBLP DOI BibTeX RDF	security, static analysis, objects, type inference, Java Card
19	Irith Pomeranz, Sudhakar M. Reddy	Procedures for Static Compaction of Test Sequences for Synchronous Sequential Circuits.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	synchronous sequential circuits, test application time, Static test compaction
19	Irith Pomeranz, Sudhakar M. Reddy	Static Test Compaction for Scan-Based Designs to Reduce Test Application Time.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	scan circuits, test application time, static test compaction
19	Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich	Static checking of system behaviors using derived component assumptions.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	chemical abstract machine model, static analysis, component-based systems, assumptions
19	Harish Patil, Joel S. Emer	Combining Static and Dynamic Branch Prediction to Reduce Destructive Aliasing.	HPCA	2000	DBLP DOI BibTeX RDF	Conditional branch prediction, static branch prediction, profile-based optimization
19	Liang-Chi Chen, Sandeep K. Gupta 0001, Melvin A. Breuer	A new framework for static timing analysis, incremental timing refinement, and timing simulation.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	incremental timing refinement, signal arrival, target fault, test generation efficiency, logic testing, delays, timing, test generation, integrated circuit testing, computation, automatic test pattern generation, ATPG, static timing analysis, delay model, timing simulation
19	Xijiang Lin, Wu-Tung Cheng, Irith Pomeranz, Sudhakar M. Reddy	SIFAR: Static Test Compaction for Synchronous Sequential Circuits Based on Single Fault Restoration.	VTS	2000	DBLP DOI BibTeX RDF	Test Segment, Parallel Pattern Simulator, Vector Restoration, Single Fault Restoration, Fault Coverage, Synchronous Sequential Circuits, Test Length, Static Test Compaction
19	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
19	Yu-Kwong Kwok, Ishfaq Ahmad	Static scheduling algorithms for allocating directed task graphs to multiprocessors.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	parallel processing, software tools, multiprocessors, DAG, automatic parallelization, task graphs, static scheduling
19	Patricia M. Hill, Fausto Spoto	Freeness Analysis Through Linear Refinement.	SAS	1999	DBLP DOI BibTeX RDF	linear refinement, freeness analysis, logic programming, static analysis, Abstract interpretation, abstract domain
19	Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum	Static Caching for Incremental Computation.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	intermediate results, program efficiency improvement, optimization, caching, static analysis, program transformation, dependence analysis, incremental computation, memoization, incremental programs
19	Robert Cherinka, C. Michael Overstreet, J. Ricci	Maintaining a COTS Integrated Solution - Are Traditional Static Analysis Techniques Sufficient for this New Programming Methodology?	ICSM	1998	DBLP DOI BibTeX RDF	Component-based Maintenance, Software Maintenance, Program Comprehension, Program Understanding, Data Flow Analysis, COTS, Static Code Analysis, COTS Integration, Component Object Model
19	François Fages, Roberta Gori	Analysis of Normal Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	logic programming, static analysis, interpretation, constructive negation
19	J. Ian Munro, Venkatesh Raman 0001	Succinct Representation of Balanced Parentheses, Static Trees and Planar Graphs.	FOCS	1997	DBLP DOI BibTeX RDF	balanced parentheses, static trees, rooted ordered tree, planar graphs, abstract data types, abstract data types, binary tree, adjacency, succinct representation
19	Hiroaki Takada, Ken Sakamura	Schedulability of generalized multiframe task sets under static priority assignment.	RTCSA	1997	DBLP DOI BibTeX RDF	generalized multiframe task set schedulability, static priority assignment, GMF task sets, priority-based preemptive scheduling, critical instant theorem, maximum interference junction, polynomial-time feasibility decision algorithm, scheduling, real time systems, execution times