Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
50	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
43	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.)	Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
43	Jérôme Leroux, Grégoire Sutre	Flat counter automata almost everywhere!.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
43	Jörg Bauer 0001, Reinhard Wilhelm	Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
43	Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek	Reachability analysis of multithreaded software with asynchronous communication.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
43	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
41	Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel	Static logic implication with application to redundancy identification.	VTS	1997	DBLP DOI BibTeX RDF	static logic implication, redundancy identification, set algebra, indirect implications, static learning algorithm, redundancy, iterative method, redundant faults
37	Ning Li, Qian Li, YunYun Fan, LuPing Wang	Chirp scaling algorithm for bi-static SAR using a precise range model.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	bi-static SAR, chirp scaling factor, focusing
37	Puneet Sawhney, Haroon Rasheed	Static RAM generators with automated characterization techniques for a 0.5 micron triple-metal embedded array.	VLSI Design	1995	DBLP DOI BibTeX RDF	static RAM generators, automatic generator characterisation tool, triple-metal embedded array, metallized SRAMs, single-port static RAMs, dual-port static RAMs, user-defined size, 0.5 micron, application specific integrated circuits, integrated circuit design, circuit CAD, aspect ratio, ASIC design, SRAM chips, SRAM chips, module generators
36	Ashish Choudhary, Arpita Patra, B. V. Ashwinkumar, K. Srinathan, C. Pandu Rangan	Perfectly Reliable and Secure Communication Tolerating Static and Mobile Mixed Adversary.	ICITS	2008	DBLP DOI BibTeX RDF
36	Ali Bastani, Charles A. Zukowski	Monotonic static CMOS tradeoffs in sub-100nm technologies.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	gate leakage current, monotonic static CMOS logic, low power design, noise tolerance, static power
36	Yongbing Zhang, Katsuya Hakozaki, Hisao Kameda, Kentaro Shimizu	A performance comparison of adaptive and static load balancing in heterogeneous distributed systems.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	heterogeneous distributed system model, processing capacities, job transfer, system state-information exchange, system loads, static policies, simulation, performance evaluation, resource allocation, virtual machines, delays, distributed processing, local area networks, local area networks, performance comparison, overheads, adaptive policies, heterogeneous distributed systems, adaptive load balancing, static load balancing
36	Doron Rotem, Arie Segev	Algorithms for Multidimensional Partitioning of Static Files.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	multidimensional partitioning, static files, multidimensional file partitioning, search attribute space, physical disk locations, static algorithm, storage utilization, database management systems, database theory, database theory, range queries, file organisation, file organizations
33	Perry R. James, Patrice Chalin	Extended static checking in JML4: benefits of multiple-prover support.	SAC	2009	DBLP DOI BibTeX RDF	ESC, ESC4, JML4, theorem provers, Java modeling language, static verification, extended static checking
33	Domagoj Babic, Alan J. Hu	Calysto: scalable and precise extended static checking.	ICSE	2008	DBLP DOI BibTeX RDF	formal verification, static analysis, static checking
33	Christoph Csallner, Yannis Smaragdakis	Check 'n' crash: combining static checking and testing.	ICSE	2005	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking
32	Jason Sawin, Atanas Rountev	Improving static resolution of dynamic class loading in Java using dynamically gathered environment information.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	String analysis, Dynamic class loading, Static analysis, Reflection
32	Mark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams	Using groupings of static analysis alerts to identify files likely to contain field failures.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	field failures, static analysis, singular value decomposition
32	Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada	XML access control using static analysis.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	value-based access control, view schema, XML, Access control, static analysis, query optimization, XPath, XQuery, schema, automaton
32	Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada	XML access control using static analysis.	CCS	2003	DBLP DOI BibTeX RDF	XML, access control, static analysis, query optimization, XPath, XQuery, schema, automaton
32	Brian L. Deitrich, Ben-Chung Cheng, Wen-mei W. Hwu	Improving Static Branch Prediction in a Compiler.	IEEE PACT	1998	DBLP DOI BibTeX RDF	static branch prediction, profile-based compilation
31	Sumit Mehra, Peter J. Werkhoven, Marcel Worring	Navigating on handheld displays: Dynamic versus static peephole navigation.	ACM Trans. Comput. Hum. Interact.	2006	DBLP DOI BibTeX RDF	handheld displays, Human-computer interaction, navigation, visual perception
31	Jiang Zheng 0001, Laurie A. Williams, Nachiappan Nagappan, Will Snipes, John P. Hudepohl, Mladen A. Vouk	On the Value of Static Analysis for Fault Detection in Software.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Code inspections, walkthroughs
31	K. Rustan M. Leino, Peter Müller 0001	Modular Verification of Static Class Invariants.	FM	2005	DBLP DOI BibTeX RDF
30	Patricia Balbastre, Ismael Ripoll, Alfons Crespo	Control tasks delay reduction under static and dynamic scheduling policies.	RTCSA	2000	DBLP DOI BibTeX RDF	control task delay reduction, dynamic scheduling policy, static scheduling policy, control action delays, dynamic scheduling policies, data acquisition interval, control action interval, DAI, control design phase, scheduling, delays, control systems, industrial application, data acquisition, data acquisition, scheduling policies, static scheduling, control algorithms, EDF scheduling, industrial control, CAI, worst case response time, task decomposition, control performances, digital control
30	Ronan Gaugne	A Static Analysis for Program Understanding and Debugging.	ASE	1997	DBLP DOI BibTeX RDF	static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
29	Shuming Shi 0001, Bin Lu, Yunxiao Ma, Ji-Rong Wen	Nonlinear static-rank computation.	CIKM	2009	DBLP DOI BibTeX RDF	link aggregation, nonlinear static rank, probabilistic model
29	Rick Chern, Kris De Volder	The impact of static-dynamic coupling on remodularization.	OOPSLA	2008	DBLP DOI BibTeX RDF	hyperslices, static-dynamic coupling, subject-oriented programming, refactoring, language design, remodularization
29	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	Enforcing resource bounds via static verification of dynamic checks.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Resource bounds, dynamic, static
29	Deguang Kong, Quan Zheng 0002, Chao Chen, Jianmei Shuai, Ming Zhu	ISA: a source code static vulnerability detection system based on data fusion.	Infoscale	2007	DBLP DOI BibTeX RDF	static analysis, data fusion, vulnerability
29	V. Vipindeep, Pankaj Jalote	Efficient static analysis with path pruning using coverage data.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	testing, static analysis, program checking
29	Vishak Venkatraman, Atul Maheshwari, Wayne P. Burleson	Mitigating static power in current-sensed interconnects.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	interconnect circuits, static power, self-timed systems
28	Takeshi Yamakawa, Eiji Uchino, Tsutomu Miki, M. Takayama	An approach to design fuzzy IF-THEN rules for fuzzy-controlled static VAr compensator.	ANNES	1995	DBLP DOI BibTeX RDF	static VAr compensators, power system control, voltage control, fuzzy IF-THEN rule design, fuzzy-controlled static VAr compensator, three-phase electric power system, fuzzy-controlled nonlinear MIMO systems, automatic rule design, input-output data, fuzzy control, MIMO systems, expert knowledge, nonlinear control systems
28	Kevin Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
28	Brian M. Carlson, Lawrence W. Dowdy	Static Processor Allocation in a Soft Real-Time Multiprocessor Environment.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	static processor allocation, soft real-time multiprocessor environment, parallelenvironment, static allocation policies, equal partitions, two partitions, 16-node iPSC/2hypercube, real-time systems, resource allocation, hypercube networks, multiprocessing programs
27	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
27	Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad Debbabi	A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF	Static Analysis, Dynamic Analysis, Test-Data Generation, Security Testing, Security Automata
27	Stavros Petridis, Hatice Gunes, Sebastian Kaltwang, Maja Pantic	Static vs. dynamic modeling of human nonverbal behavior from multiple cues and modalities.	ICMI	2009	DBLP DOI BibTeX RDF	frame-based representation, multicue and multimodal fusion, static classification, window-based representation, dynamic classification
27	Wei Gu, Xin Wang 0004, Liqiang Geng	STFLS: A Heuristic Method for Static and Transportation Facility Location Allocation in Large Spatial Datasets.	Canadian AI	2009	DBLP DOI BibTeX RDF	Static facility, Transportation facility, Facility location problem
27	Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach	Static validation of XSL transformations.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, XML Schema, XSLT, DTD
27	Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou	Evaluating static analysis defect warnings on production software.	PASTE	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
27	Pilsung Choe, Chulwoo Kim, Mark R. Lehto, Jan P. Allebach	Experimental Comparison of Adaptive vs. Static Thumbnail Displays.	HCI (2)	2007	DBLP DOI BibTeX RDF	static display, thumbnail display, print defect diagnosis, information retrieval, search, diagnosis, keyword search, troubleshooting, Adaptive display
27	David Fisher, Olin Shivers	Static analysis for syntax objects.	ICFP	2006	DBLP DOI BibTeX RDF	extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros
27	Yutaka Matsuno, Atsushi Ohori	A type system equivalent to static single assignment.	PPDP	2006	DBLP DOI BibTeX RDF	type system, compiler optimization, static single assignment form
27	Nachiappan Nagappan, Thomas Ball	Static analysis tools as early indicators of pre-release defect density.	ICSE	2005	DBLP DOI BibTeX RDF	statistical methods, fault-proneness, defect density, static analysis tools
27	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
27	Geun Rae Cho, Tom Chen 0001	Mixed PTL/Static Logic Synthesis Using Genetic Algorithms for Low-Power Applications.	ISQED	2002	DBLP DOI BibTeX RDF	Mixed PTL/Static, Lower-Power Technology Mapping, Logic Synthesis, Pass Transistor Logic
27	Rajiv Gupta 0001, Mary Lou Soffa, John Howard	Hybrid Slicing: Integrating Dynamic Information with Static Analysis.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	dynamic call graph, hybrid slice, dynamic slice, breakpoint, static slice
26	Christoph Csallner, Yannis Smaragdakis	DSD-Crasher: a hybrid analysis tool for bug finding.	ISSTA	2006	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection
26	Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya	A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications.	EMSOFT	2008	DBLP DOI BibTeX RDF	actor-oriented design, mpsoc scheduling, software synthesis
26	Jun Chen 0018, Steve MacDonald	Towards a better collaboration of static and dynamic analyses for testing concurrent programs.	PADTAD	2008	DBLP DOI BibTeX RDF
26	Michele Bugliesi, Damiano Macedonio, Sabina Rossi	Static vs Dynamic Typing for Access Control in Pi-Calculus.	ASIAN	2007	DBLP DOI BibTeX RDF
26	Shinn-Der Lee, Daniel P. Friedman	Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes.	POPL	1993	DBLP DOI BibTeX RDF	SCHEME
25	Jack W. Davidson, John R. Rabung, David B. Whalley	Relating Static and Dynamic Machine Code Measurements.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	dynamic machine code measurements, static measurements, machine code instructions, addressing modes, static architecture measurements, dynamic architecture measurements, computer architecture, statistical analysis, regression analysis
25	Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan	Protocol Inference Using Static Path Profiles.	SAS	2008	DBLP DOI BibTeX RDF
25	Ben Liblit	Reflections on the Role of Static Analysis in Cooperative Bug Isolation.	SAS	2008	DBLP DOI BibTeX RDF
25	Denis Gopan, Thomas W. Reps	Guided Static Analysis.	SAS	2007	DBLP DOI BibTeX RDF
25	Manuvir Das	Unleashing the Power of Static Analysis.	SAS	2006	DBLP DOI BibTeX RDF
24	Jianbin Qiu, Gang Feng 0001, Jie Yang 0004	Robust H∞ static output feedback control of discrete-time switched polytopic linear systems with average dwell-time.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	static output feedback, average dwell-time, time-varying uncertainty, H ? control, linear matrix inequality, switched systems
24	Wei Gu, Xin Wang 0004, Liqiang Geng	GIS-FLSolution: A Spatial Analysis Platform for Static and Transportation Facility Location Allocation Problem.	ISMIS	2009	DBLP DOI BibTeX RDF	Static facility, Transportation facility, Geographical Information Systems (GIS), Facility location problem
24	Klaus Wolfmaier, Rudolf Ramler, Gábor Guta, Heinz Dobler	Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.	EUROCAST	2009	DBLP DOI BibTeX RDF	Automated Static Analysis, Defect Classification
24	Gürsel Serpen	Hopfield Network as Static Optimizer: Learning the Weights and Eliminating the Guesswork.	Neural Process. Lett.	2008	DBLP DOI BibTeX RDF	Static optimization, Liapunov function, Computational complexity, Adaptation, Learning, Training, Traveling salesman problem, Weights, Gradient descent, Hopfield neural network, Combinatorial
24	Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley	Securing web applications with static and dynamic information flow tracking.	PEPM	2008	DBLP DOI BibTeX RDF	model checking, static analysis, web applications, pattern matching, dynamic analysis, SQL injection, cross-site scripting
24	M. V. Arkhipova, Sergey V. Zelenov	Directed Generation of Test Data for Static Semantics Checker.	ISoLA	2008	DBLP DOI BibTeX RDF	context condition, grammar, specification based testing, static semantics, Automated test data generation
24	Hyungwoo Kang	Security Assessment Framework Using Static Analysis and Fault Injection.	ICIC (1)	2008	DBLP DOI BibTeX RDF	RPC (Remote Procedure Call), Static analysis, Fault injection, Buffer overflow, Software security, Security assessment
24	Dejan Baca, Bengt Carlsson, Lars Lundberg	Evaluating the cost reduction of static code analysis for software security.	PLAS	2008	DBLP DOI BibTeX RDF	coverity prevent, early fault detection, trouble report, security, source code, false positive, cost reduction, static code analysis
24	Gary Wassermann, Carl Gould 0001, Zhendong Su 0001, Premkumar T. Devanbu	Static checking of dynamically generated queries in database applications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	database queries, JDBC, Static checking, context-free language reachability
24	Minglan Lin, Anurag K. Srivastava 0001, Noel N. Schulz	Modeling considerations in static and dynamic voltage stability studies of shipboard power systems.	SCSC	2007	DBLP BibTeX RDF	PSCAD, numerical integration method, voltage stability, static analysis, dynamic analysis
24	Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia	Static specification mining using automata-based abstractions.	ISSTA	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, typestate, specification mining
24	Matthew B. Dwyer, Rahul Purandare	Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.	ASE	2007	DBLP DOI BibTeX RDF	optimizing run-time monitors, static error detection
24	Tamer Dag	SPD (Static Priority with Deadline Considerations) Packet Scheduling Algorithm for achieving better QoS.	ICNS	2007	DBLP DOI BibTeX RDF	QoS, packet scheduling, deadline, packet loss, Static Priority
24	David Delmas, Jean Souyris	Astrée: From Research to Industry.	SAS	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, abstract interpretation
24	Byeong-Mo Chang	Static check analysis for Java stack inspection.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	security, Java, Java, static analysis, stack inspection
24	Matthew Richardson, Amit Prakash, Eric Brill	Beyond PageRank: machine learning for static ranking.	WWW	2006	DBLP DOI BibTeX RDF	RankNet, static ranking, search engines, PageRank, relevance
24	Panagiotis Manolios, Daron Vroon 0001	Integrating static analysis and general-purpose theorem proving for termination analysis.	ICSE	2006	DBLP DOI BibTeX RDF	static analysis, theorem proving, termination, liveness, ACL2
24	S. N. I. Mount, Robert M. Newman, R. J. Low, Alan Mycroft	Exstatic: a generic static checker applied to documentation systems.	SIGDOC	2004	DBLP DOI BibTeX RDF	docstrings, exstatic, standards, static checking, javadoc
24	Keqin Li	On the Performance of Randomized Embedding of Reproduction Trees in Static Networks.	Int. J. Parallel Program.	2003	DBLP DOI BibTeX RDF	randomized tree embedding, reproduction tree, static network, dynamic load distribution
24	Huiyang Zhou, Mark C. Toburen, Eric Rotenberg, Thomas M. Conte	Adaptive mode control: A static-power-efficient cache design.	ACM Trans. Embed. Comput. Syst.	2003	DBLP DOI BibTeX RDF	adaptive mode control, Cache, static power
24	Aiman H. El-Maleh, Yahya E. Osais	Test vector decomposition-based static compaction algorithms for combinational circuits.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	Static compaction, class-based clustering, independent fault clustering, test vector decomposition, taxonomy, combinational circuits
24	Masanori Hashimoto, Yuji Yamada, Hidetoshi Onodera	Capturing crosstalk-induced waveform for accurate static timing analysis.	ISPD	2003	DBLP DOI BibTeX RDF	capacitive coupling noise, delay calculation, slope propagation, static timing analysis, crosstalk noise
24	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	A static analyzer for large safety-critical software.	PLDI	2003	DBLP DOI BibTeX RDF	verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
24	Zhigang Hu, Philo Juang, Phil Diodato, Stefanos Kaxiras, Kevin Skadron, Margaret Martonosi, Douglas W. Clark	Managing leakage for transient data: decay and quasi-static 4T memory cells.	ISLPED	2002	DBLP DOI BibTeX RDF	4T, decay, memory cell, quasi-static, transient data, leakage power
24	Peivand F. Tehrani, Shang Woo Chyou, Uma Ekambaram	Deep Sub-Micron Static Timing Analysis in Presence of Crosstalk.	ISQED	2000	DBLP DOI BibTeX RDF	simulation, VLSI, timing, Crosstalk, DSM, static, transistor
24	Vivek Sarkar, Kathleen Knobe	Enabling Sparse Constant Propagation of Array Elements via Array SSA Form.	SAS	1998	DBLP DOI BibTeX RDF	static single assignment (SSA) form, conditional constant propagation, Array SSA form, unreachable code elimination, constant propagation
24	Chengzhi Li, Riccardo Bettati, Wei Zhao 0001	Static priority scheduling for ATM networks.	RTSS	1997	DBLP DOI BibTeX RDF	dynamic priority scheduling, delay computation, priority assignment problems, potential cyclic dependency, unstable network, delay sensitive applications, worst case end to end delays, priority assignment methods, asynchronous transfer mode, ATM networks, numerical method, ATM switches, packet delays, arbitrary topology, delay constraints, priority assignment, traffic scheduling, static priority scheduling, computing error
24	Igor Tatarinov, Alex Rousskov, Valery Soloviev	Static caching in Web servers.	ICCCN	1997	DBLP DOI BibTeX RDF	implementation complexity an, static caching, cache policies, LRU-threshold, LFU, LRU-SIZE, LRU-MIN, LRU-k-threshold, Pitkow/Recker policy, Web document access patterns, request log file, small cache sizes, primary Web servers, CPU overhead, performance analysis, cache performance, log files, online front-ends
24	Cristina Cifuentes, Antoine Fraboulet	Intraprocedural Static Slicing of Binary Executables.	ICSM	1997	DBLP DOI BibTeX RDF	goto jumps, reverse engineering, binary code, disassembly, Static slicing
24	Derek L. Eager, Edward D. Lazowska, John Zahorjan	A Comparison of Receiver-Initiated and Sender-Initiated Adaptive Load Sharing.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
23	Christoph Csallner, Yannis Smaragdakis, Tao Xie 0001	DSD-Crasher: A hybrid analysis tool for bug finding.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, Automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection
23	Eric Bodden, Patrick Lam 0001, Laurie J. Hendren	Finding programming errors earlier by evaluating runtime monitors ahead-of-time.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	machine learning, static analysis, runtime verification, points-to analysis, static verification
23	Patrice Chalin	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
23	Jean Mayrand, François Coallier	System Acquisition Based on Software Product Assessment.	ICSE	1996	DBLP BibTeX RDF	Bell Canada, complex software product procurement, process capability assessment, risk management approach, software product assessment, static analysis based software product assessment, static source code metrics, system acquisition, software quality, risk management, inspections, software selection
23	Sanjay Rekhi, J. Donald Trotter	HAL: heuristic algorithms for layout synthesis.	ARVLSI	1995	DBLP DOI BibTeX RDF	layout synthesis, graph theory based algorithms, leaf cells, common poly gates, 1-1/2-d layout style, common circuit nodes, transistor sets, symbolic layouts, static dual type, static CMOS circuitry, pullup network, pulldown network, dynamic logic styles, graph theory, network topology, logic CAD, heuristic algorithms, circuit layout CAD, CMOS logic circuits, CMOS circuits, GENIE, run time efficient, layout area
23	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
23	Qichang Chen, Liqiang Wang, Zijiang Yang 0006	HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
23	Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu 0005	STILL: Exploit Code Detection via Static Taint and Initialization Analyses.	ACSAC	2008	DBLP DOI BibTeX RDF
23	Sriram K. Rajamani	Static and Dynamic Analysis: Better Together.	APLAS	2007	DBLP DOI BibTeX RDF
23	Song Mao, Praveer Mansukhani, George R. Thoma	Combining Static Classifiers and Class Syntax Models for Logical Entity Recognition in Scanned Historical Documents.	CVPR	2007	DBLP DOI BibTeX RDF
23	Wasif Gilani, Fabian Scheler, Daniel Lohmann, Olaf Spinczyk, Wolfgang Schröder-Preikschat	Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.	SC@ETAPS	2007	DBLP DOI BibTeX RDF