Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Florent de Dinechin, Sophie Robert	Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations.	ASAP	1996	DBLP DOI BibTeX RDF	hierarchical static analysis, structured systems, ALPHA language, polyhedral domains, complex algorithms, parameterized structures, ALPHA programs, type-checking process, single assignment rule, programming environments, program verification, specification languages, Gaussian elimination, affine recurrence equations
19	G. Enrique Fernandez, R. Sridhar	Dual rail static CMOS architecture for wave pipelining.	VLSI Design	1996	DBLP DOI BibTeX RDF	dual rail static CMOS architecture, gate capacitance, storage elements, DRSCMOS, multi-functional basic building blocks, combinational logic block, delays, timing, throughput, combinational circuits, power consumption, pipeline processing, CMOS logic circuits, digital systems, capacitance, wave pipelining, delay variations
19	Frédéric Dufaux, Fabrice Moscheni, Andrew Lippman	Spatio-temporal segmentation based on motion and static segmentation.	ICIP	1995	DBLP DOI BibTeX RDF	static segmentation, coherent motion, matching technique, image segmentation, image segmentation, motion estimation, motion estimation, image sequences, image sequence, efficiency, image matching, image representation, simulation results, motion segmentation, image sequence analysis, image regions, scene representation, motion information, spatiotemporal segmentation
19	Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim	An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.	APSEC	1995	DBLP DOI BibTeX RDF	language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering
19	Irith Pomeranz, Sudhakar M. Reddy	Static compaction for two-pattern test sets.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	two-pattern test sets, static compaction procedure, test set size reduction, redundant tests removal, redundant patterns removal, CMOS stuck open faults, reordering of tests, digital logic circuits, fault diagnosis, logic testing, delays, built-in self test, integrated circuit testing, ATPG, combinational circuits, combinational circuits, automatic testing, fault coverage, CMOS logic circuits, delay faults
19	Manjit Borah, Mary Jane Irwin, Robert Michael Owens	Minimizing power consumption of static CMOS circuits by transistor sizing and input reordering.	VLSI Design	1995	DBLP DOI BibTeX RDF	power consumption minimisation, static CMOS circuits, input reordering, high fan-out gates, power constrained module generator, PowerSizer, logic CAD, circuit layout CAD, CMOS logic circuits, logic circuits, minimisation, arithmetic circuits, circuit optimisation, integrated circuit layout, transistor sizing
19	Sanjay Ranka, Jhy-Chun Wang, Geoffrey C. Fox	Static and Run-Time Algorithms for All-to-Many Personalized Communication on Permutation Networks.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	run-time algorithms, static algorithms, all-to-many personalized communication, scheduling, performance evaluation, multiprocessor interconnection networks, permutation networks, CM-5, run-time scheduling
19	Jie Li 0002, Hisao Kameda	A Decomposition Algorithm for Optimal Static Load Balancing in Tree Hierarchy Network Configurations.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	decompositionalgorithm, optimal static load balancing, tree hierarchy network configurations, Dafermos-Sparrow algorithm, FlowDeviation algorithm, star network configuration, computational complexity, load balancing, resource allocation, computer networks, convergence, multiprocessor interconnection networks, distributed memory systems, optimization problem, distributed computer system, convergence of numerical methods, algorithm performance, CPU time
19	Oscar G. Plata, Francisco F. Rivera	Combining static and dynamic scheduling on distributed-memory multiprocessors.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	dynamic and static scheduling, load balancing, message-passing, distributed-memory multiprocessors, loop scheduling
19	Kurt M. Olender, Leon J. Osterweil	Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Cecil, sequencing constraint language, automatic static analysis generation, general mechanism, dataflow analysis algorithms, compiler code optimization, custom-built, dataflow conditions, dataflow analysis problems, parallel programming, specification languages, program compilers, automatic programming
19	Jun-Ichi Aoe	An Efficient Implementation of Static String Pattern Matching Machines.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	keyword location, static string pattern matching machines, transition table, triple arrays, Johnsons's data structure, retrieval program, reduced data structure, finite straight program, information retrieval, data structures, finite-state machine, subroutines, implementation technique
19	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
18	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
18	Saurabh Chheda, Osman S. Unsal, Israel Koren, C. Mani Krishna 0001, Csaba Andras Moritz	Combining compiler and runtime IPC predictions to reduce energy in next generation architectures.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	fetch throttling, low power design, instruction level parallelism, compiler architecture interaction, adaptive voltage scaling
18	Yongjian Brandon Guo, K. Wayne Current	Voltage Comparator Circuits for Multiple-Valued CMOS Logic.	ISMVL	2002	DBLP DOI BibTeX RDF	voltage comparator, MVL, low-power, CMOS
18	Selvakumar Samuel, Kesava Pillai Rajadorai	Mobile multimedia database common issues and future considerations.	MoMM	2009	DBLP DOI BibTeX RDF	mobile cloud computing, mobile multimedia databases, mobile target (server), static client, static target, security, testing, SaaS, LTE, IaaS, PaaS, mobile client
18	Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg	The ExoVM system for automatic VM and application reduction.	PLDI	2007	DBLP DOI BibTeX RDF	VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination
18	Soonhoi Ha, Edward A. Lee	Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	data-flow program graphs, data-dependent iteration, fully dynamic, static-assignment, fully static, scheduling, parallel programming, programming, program compilers, assignment, parallel processors, self-timed, compile time scheduling, idle time, program processors, probability mass function
18	Alexandru Nicolau	Run-Time Disambiguation: Coping with Statically Unpredictable Dependencies.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	statically unpredictable dependencies, run-time disambiguation, indirect memory references, run-time behavior, static transformations, static dependency analysis, Bulldog compiler, parallelism, code, program compilers, antialiasing, memory disambiguation, compile time, RTD
18	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.	OOPSLA	2009	DBLP DOI BibTeX RDF	architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture
18	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster	Profile-guided static typing for dynamic scripting languages.	OOPSLA	2009	DBLP DOI BibTeX RDF	RIL, profile guided anlaysis, scripting languages, ruby
18	David Röthlisberger, Marcel Harry, Alex Villazón, Danilo Ansaloni, Walter Binder, Oscar Nierstrasz, Philippe Moret	Augmenting static source views in IDEs with dynamic metrics.	ICSM	2009	DBLP DOI BibTeX RDF
18	Qichang Chen, Liqiang Wang, Zijiang Yang 0006, Scott D. Stoller	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.	FASE	2009	DBLP DOI BibTeX RDF
18	Jaime Gallego, Montse Pardàs, José Luis Landabaso	Segmentation and tracking of static and moving objects in video surveillance scenarios.	ICIP	2008	DBLP DOI BibTeX RDF
18	Weiqing Guo, Yu Zhong, Tom Burd	Context-sensitive static transistor-level IR analysis.	ICCAD	2008	DBLP DOI BibTeX RDF
18	Sultan M. Al-Harbi, Fadel Noor, Fadi M. Al-Turjman	March DSS: A New Diagnostic March Test for All Memory Simple Static Faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
18	Qihua Wang, Ninghui Li	Direct static enforcement of high-level security policies.	AsiaCCS	2007	DBLP DOI BibTeX RDF
18	David Guerrero Martos, Alejandro Millán 0001, Jorge Juan-Chico, Manuel J. Bellido, Paulino Ruiz-de-Clavijo, Enrique Ostúa, Julian Viejo	Static Power Consumption in CMOS Gates Using Independent Bodies.	PATMOS	2007	DBLP DOI BibTeX RDF
18	Kamran Sartipi, Nima Dezhkam	An Amalgamated Dynamic and Static Architecture Reconstruction Framework to Control Component Interactions 259.	WCRE	2007	DBLP DOI BibTeX RDF
18	Jinseong Jeon, Keoncheol Shin, Hwansoo Han	Layout Transformations for Heap Objects Using Static Access Patterns.	CC	2007	DBLP DOI BibTeX RDF
18	Andreas Moser, Christopher Kruegel, Engin Kirda	Limits of Static Analysis for Malware Detection.	ACSAC	2007	DBLP DOI BibTeX RDF
18	Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano	A light-weight static approach to analyzing UML behavioral properties.	ICECCS	2007	DBLP DOI BibTeX RDF
18	Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen	A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.	SAS	2007	DBLP DOI BibTeX RDF
18	Dan Huang, Sing Kiong Nguang	Robust Hinfin static output feedback control of fuzzy systems: an ILMI approach.	IEEE Trans. Syst. Man Cybern. Part B	2006	DBLP DOI BibTeX RDF
18	Kiran Seth, Aravindh Anantaraman, Frank Mueller 0001, Eric Rotenberg	FAST: Frequency-aware static timing analysis.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	scheduling, Real-time systems, dynamic voltage scaling, worst-case execution time analysis
18	Thomas Burger, Alexandre Benoît, Alice Caplier	Extracting Static Hand Gestures in Dynamic Context.	ICIP	2006	DBLP DOI BibTeX RDF
18	Yiu-Pong Lai, Man-Hung Siu	Consistent Modeling of the Static and Time-Derivative Cepstrums for Speech Recognition Using HSPTM.	ISCSLP	2006	DBLP DOI BibTeX RDF
18	Han Li, Yili Fu, He Xu, Yulin Ma	Avoiding Static and Dynamic Objects in Navigation.	IROS	2006	DBLP DOI BibTeX RDF
18	Chunping Sui, Hongguang Wang, Lijin Fang, Mingyang Zhao	Static Measuring Model and Deadweight Compensation of a Stewart Platform Based Force/Torque Sensor.	IROS	2006	DBLP DOI BibTeX RDF
18	Katy Cooper, Oscar de Bruijn, Robert Spence, Mark Witkowski	A comparison of static and moving presentation modes for image collections.	AVI	2006	DBLP DOI BibTeX RDF	rapid serial visual presentation (RSVP), user preference, eye-gaze tracking
18	Nadia Belblidia, Mourad Debbabi	Formalizing AspectJ Weaving for Static Pointcuts.	SEFM	2006	DBLP DOI BibTeX RDF
18	François Bodin, Isabelle Puaut	A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems.	ECRTS	2005	DBLP DOI BibTeX RDF
18	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	Enforcing Resource Bounds via Static Verification of Dynamic Checks.	ESOP	2005	DBLP DOI BibTeX RDF
18	Laurent Isenegger, Luis Salgado, Narciso García	Moving Objects Segmentation Based on Automatic Foreground / Background Identification of Static Elements.	ACIVS	2005	DBLP DOI BibTeX RDF
18	Li Deng 0001, Jasha Droppo, Alex Acero	Estimating cepstrum of speech under the presence of noise using a joint prior of static and dynamic features.	IEEE Trans. Speech Audio Process.	2004	DBLP DOI BibTeX RDF
18	Ramadass Nagarajan, Sundeep K. Kushwaha, Doug Burger, Kathryn S. McKinley, Calvin Lin, Stephen W. Keckler	Static Placement, Dynamic Issue (SPDI) Scheduling for EDGE Architectures.	IEEE PACT	2004	DBLP DOI BibTeX RDF
18	Chuanjun Zhang, Jun Yang 0002, Frank Vahid	Low Static-Power Frequent-Value Data Caches.	DATE	2004	DBLP DOI BibTeX RDF
18	Hans Langmaack	Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
18	Masud H. Chowdhury, Yehea I. Ismail	Possible Noise Failure Modes in Static and Dynamic Circuits.	IWSOC	2004	DBLP DOI BibTeX RDF
18	Avrim Blum, Shuchi Chawla 0001, Adam Kalai	Static Optimality and Dynamic Search-Optimality in Lists and Trees.	Algorithmica	2003	DBLP DOI BibTeX RDF	Adaptive data structures, Experts Analysis, Competitive Analysis, Binary search trees
18	Björn Andersson, Jan Jonsson	The Utilization Bounds of Partitioned and Pfair Static-Priority Scheduling on Multiprocessors are 50%.	ECRTS	2003	DBLP DOI BibTeX RDF
18	Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones	Integrity Static Analysis of COTS/SOUP.	SAFECOMP	2003	DBLP DOI BibTeX RDF
18	Kiran Seth, Aravindh Anantaraman, Frank Mueller 0001, Eric Rotenberg	FAST: Frequency-Aware Static Timing Analysis.	RTSS	2003	DBLP DOI BibTeX RDF
18	Ken Tseng, Vinod Kariat	Static noise analysis with noise windows.	DAC	2003	DBLP DOI BibTeX RDF	noise, crosstalk, signal integrity
18	Avrim Blum, Shuchi Chawla 0001, Adam Kalai	Static optimality and dynamic search-optimality in lists and trees.	SODA	2002	DBLP BibTeX RDF
18	Thomas Eisenbarth 0003, Rainer Koschke, Gunther Vogel	Static Trace Extraction.	WCRE	2002	DBLP DOI BibTeX RDF
18	Wuwei Shen, Kevin J. Compton, James Huggins	A Toolset for Supporting UML Static and Dynamic Model Checking.	COMPSAC	2002	DBLP DOI BibTeX RDF
18	Geun Rae Cho, Tom Chen 0001	On The Impact of Technology Scaling On Mixed PTL/Static Circuits.	ICCD	2002	DBLP DOI BibTeX RDF
18	Yanbin Jiang, Sachin S. Sapatnekar, Cyrus Bamji	Technology mapping for high-performance static CMOS and pass transistor logic designs.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
18	Till Mossakowski, Bartek Klin	Institution Independent Static Analysis for CASL.	WADT	2001	DBLP DOI BibTeX RDF
18	Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers	Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization.	PASTE	2001	DBLP DOI BibTeX RDF	calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation
18	Nahomi Kikuchi, Tohru Kikuno	Improving the Testing Process by Program Static Analysis.	APSEC	2001	DBLP DOI BibTeX RDF
18	Guillaume P. Brat, Willem Visser	Combining Static Analysis and Model Checking for Software Analysis.	ASE	2001	DBLP DOI BibTeX RDF
18	Manuvir Das	Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk).	PEPM	2000	DBLP DOI BibTeX RDF
18	John C. Grundy, John G. Hosking	High-Level Static and Dynamic Visualization of Software Architectures.	VL	2000	DBLP DOI BibTeX RDF
18	Kenneth L. Shepard, Vinod Narayanan, Ron Rose	Harmony: static noise analysis of deep submicron digital integrated circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
18	Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli	Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
18	Vinod Narayanan, Barbara A. Chappell, Bruce M. Fleischer	Static timing analysis for self resetting circuits.	ICCAD	1996	DBLP DOI BibTeX RDF
18	Cristina Cifuentes, Vishv M. Malhotra	Binary Translation: Static, Dynamic, Retargetable?	ICSM	1996	DBLP DOI BibTeX RDF
18	Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison	Accurate Static Estimators for Program Optimization.	PLDI	1994	DBLP DOI BibTeX RDF	C
18	Richard C. Bodner	A comparison of identification rates of static and animated buttons.	CASCON	1994	DBLP BibTeX RDF
17	Mangala Gowri Nanda, Monika Gupta 0002, Saurabh Sinha, Satish Chandra 0001, David Schmidt, Pradeep Balachandran	Making defect-finding tools work for you.	ICSE (2)	2010	DBLP DOI BibTeX RDF	defect differencing, defect merging, defect prioritization, defect views, static analysis portal
17	Naoko Nitta, Yoshimasa Takahashi, Noboru Babaguchi	Automatic personalized video abstraction for sports videos using metadata.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Dynamic video abstract, Static video abstract, Personalization, Metadata, Video abstraction
17	Dipankar Das 0002, P. P. Chakrabarti 0001, Rajeev Kumar 0004	Scenario-based timing verification of multiprocessor embedded applications.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	execution scenarios, real time systems, static timing analysis, Timing verification
17	Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski	Stack bounds analysis for microcontroller assembly code.	WESS	2009	DBLP DOI BibTeX RDF	model checking, verification, static analysis, embedded software, assembly code
17	Takanori Komatsu, Hideaki Kaneko, Takashi Komeda	Investigating the Effects of Gain and Loss of Esteem on Human-Robot Interaction.	FIRA	2009	DBLP DOI BibTeX RDF	gain and loss of esteem, static/dynamic design, verbal instruction
17	Nomair A. Naeem, Ondrej Lhoták	Typestate-like analysis of multiple interacting objects.	OOPSLA	2008	DBLP DOI BibTeX RDF	tracematches, static analysis, typestate
17	Pietro Ferrara 0001, Francesco Logozzo, Manuel Fähndrich	Safer unsafe code for .NET.	OOPSLA	2008	DBLP DOI BibTeX RDF	bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
17	Ben Wiedermann, Ali Ibrahim, William R. Cook	Interprocedural query extraction for transparent persistence.	OOPSLA	2008	DBLP DOI BibTeX RDF	databases, static analysis, programming languages, attribute grammars, object-relational mapping
17	Amit Pabalkar, Aviral Shrivastava, Arun Kannan, Jongeun Lee	SDRM: Simultaneous Determination of Regions and Function-to-Region Mapping for Scratchpad Memories.	HiPC	2008	DBLP DOI BibTeX RDF	Code overlay, Compilers, Scratchpad memory, Static code analysis
17	David Hovemeyer, William W. Pugh	Status report on JSR-305: annotations for software defect detection.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, specifications, static analysis, software quality, bugs
17	Jean Souyris, David Delmas	Experimental Assessment of Astrée on Safety-Critical Avionics Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety
17	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
17	Hyungwoo Kang, Kibom Kim, Soon Jwa Hong, Dong Hoon Lee 0001	A Model for Security Vulnerability Pattern.	ICCSA (3)	2006	DBLP DOI BibTeX RDF	Abstract Syntax Tree (AST), Static analysis, Buffer overflow, Software security, Pushdown Automata (PDA)
17	Pablo González de Santos, Joaquín Estremera, Elena Garcia, Manuel A. Armada	Including Joint Torques and Power Consumption in the Stability Margin of Walking Robots.	Auton. Robots	2005	DBLP DOI BibTeX RDF	walking locomotion, static stability, legged robots, stability measurements
17	Dennis Brylow, Jens Palsberg	Deadline Analysis of Interrupt-Driven Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	multiresolution static analysis, Real time, testing oracles
17	Bruno Blanchet	Escape analysis for JavaTM: Theory and practice.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	stack allocation, synchronization elimination, Java, optimization, static analysis
17	Dennis Brylow, Jens Palsberg	Deadline analysis of interrupt-driven software.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	multi-resolution static analysis, real time, testing oracles
17	L. P. Breker, Carey L. Williamson	A Simulation Study of Usage-Based Pricing Strategies for Packet-Switched Networks.	LCN	1996	DBLP DOI BibTeX RDF	usage-based pricing strategies, static strategy simulations, price per packet, dynamic pricing strategy simulations, user bandwidth demand, network efficiency, performance evaluation, computer networks, packet-switched networks, simulation study, revenue, network utilization
17	Wei Wu, Wei Lu, Masao Sakauchi	An object-oriented model for drawing understanding and its ability of noise absorption.	ICDAR	1995	DBLP DOI BibTeX RDF	drawing understanding, noise absorption, MTDM, Matching Tree Driving Model, dynamic description, static description, matching tree, multitarget platform, multipurpose platform, object-oriented programming, image recognition, document image processing, object-oriented model, tree structure
17	Amal Chakraborty, Donald C. S. Allison, Calvin J. Ribbens, Layne T. Watson	The Parallel Complexity of Embedding Algorithms for the Solution of Systems of Nonlinear Equations.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	embedding algorithms, static rectangular grid mapping, mathematical software package, dynamicassignment, parallel algorithms, computational complexity, hypercube, nonlinear equations, nonlinear equations, Jacobian matrix, parallel complexity
17	Silvian Calman, Jianwen Zhu	Increasing the Scope and Resolution of Interprocedural Static Single Assignment.	SAS	2009	DBLP DOI BibTeX RDF	dataflow, constant propagation, SSA, interprocedural
17	Michael Huggett, Joel Lanir	Static reformulation: a user study of static hypertext for query-based reformulation.	JCDL	2007	DBLP DOI BibTeX RDF	associative similarity networks, automatically-constructed hypertext, query by reformulation, search versus browse
17	Xavier Allamigeon, Wenceslas Godard, Charles Hymans	Static Analysis of String Manipulations in Critical Embedded C Programs.	SAS	2006	DBLP DOI BibTeX RDF
17	Eric Goubault, Sylvie Putot	Static Analysis of Numerical Algorithms.	SAS	2006	DBLP DOI BibTeX RDF
17	Samson Abramsky	Algorithmic Game Semantics and Static Analysis.	SAS	2005	DBLP DOI BibTeX RDF
17	Charles Hymans, Eben Upton	Static Analysis of Gated Data Dependence Graphs.	SAS	2004	DBLP DOI BibTeX RDF
17	Ted Kremenek, Dawson R. Engler	Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.	SAS	2003	DBLP DOI BibTeX RDF
17	Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv	Compactly Representing First-Order Structures for Static Analysis.	SAS	2002	DBLP DOI BibTeX RDF
17	Matthieu Martel	Static Analysis of the Numerical Stability of Loops.	SAS	2002	DBLP DOI BibTeX RDF	Relational Analysis, Semantics of Floating-point Numbers, Abstract Interpretation, Numerical Precision