Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Ali Bastani, Charles A. Zukowski	A Low-Leakage High-Speed Monotonic Static CMOS 64b Adder in a Dual Gate Oxide 65-nm CMOS Technology.	ISQED	2006	DBLP DOI BibTeX RDF
23	Niklas Pettersson	Measuring precision for static and dynamic design pattern recognition as a function of coverage.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
23	Emli-Mari Nel, Johan A. du Preez, Ben M. Herbst	Estimating the Pen Trajectories of Static Signatures Using Hidden Markov Models.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	Pattern recognition, document analysis, handwriting analysis, document and text processing
23	Geun Rae Cho, Tom Chen 0001	Synthesis of single/dual-rail mixed PTL/static logic for low-power applications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
23	Kaustubh Patil, Kiran Seth, Frank Mueller 0001	Compositional static instruction cache simulation.	LCTES	2004	DBLP DOI BibTeX RDF	scheduling, real-time systems, caches, worst-case execution time
23	Geun Rae Cho, Tom Chen 0001	On Single/Dual-Rail Mixed PTL/Static Circuits in Floating-Body SOI and Bulk CMOS: A Comparative Assessment.	VLSI Design	2003	DBLP DOI BibTeX RDF
23	Jeremy W. Nimmer, Michael D. Ernst	Invariant inference for static checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF
23	Brad Calder, Dirk Grunwald, Michael P. Jones, Donald C. Lindsay, James H. Martin, Michael Mozer, Benjamin G. Zorn	Evidence-Based Static Branch Prediction Using Machine Learning.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	neural networks, performance evaluation, machine learning, decision trees, branch prediction, program optimization
21	Zvonimir Rakamaric	STORM: static unit checking of concurrent programs.	ICSE (2)	2010	DBLP DOI BibTeX RDF	unit checking, static analysis, concurrent programs
21	Dana N. Xu, Simon L. Peyton Jones, Koen Claessen	Static contract checking for Haskell.	POPL	2009	DBLP DOI BibTeX RDF	contract satisfaction, static contract checking
21	Bogdan D. Czejdo, Thompson Cummings	Extending Static Knowledge Diagrams to Include Dynamic Knowledge.	WSKS (2)	2009	DBLP DOI BibTeX RDF	Static and Dynamic Knowledge, UML, Knowledge, Inference
21	Vipindeep Vangala, Jacek Czerwonka, Phani Talluri	Test case comparison and clustering using program profiles and static execution.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	sustained engineering, machine learning, testing, static analysis
21	Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	2009	DBLP DOI BibTeX RDF	ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
21	Shihheng Tsai, Chung-Yang Huang	A false-path aware formal static timing analyzer considering simultaneous input transitions.	DAC	2009	DBLP DOI BibTeX RDF	critical path selection, multiple input transitioning, formal method, static timing analysis, false path
21	Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis	Static Program Analysis for Java Card Applets.	CARDIS	2008	DBLP DOI BibTeX RDF	temporal safety, Java Card, static program analysis
21	Igor Siveroni, Andrea Zisman, George Spanoudakis	Property Specification and Static Verification of UML Models.	ARES	2008	DBLP DOI BibTeX RDF	Model Checking, UML, Spin, Static Verification
21	Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang	Ontology Model-Based Static Analysis on Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning
21	Marko Rosenmüller, Norbert Siegmund, Gunter Saake, Sven Apel	Code generation to support static and dynamic composition of software product lines.	GPCE	2008	DBLP DOI BibTeX RDF	dynamic feature binding, static feature binding, software product lines, feature-oriented programming
21	José Nuno Oliveira	Extended Static Checking by Calculation Using the Pointfree Transform.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF	formal methods, Theoretical foundations, proof obligations, extended static checking
21	Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa	Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Bug predictor, static code metrics, open source software, empirical software engineering
21	Sarah Smith Heckman, Laurie A. Williams	On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques.	ESEM	2008	DBLP DOI BibTeX RDF	alert classification, alert prioritization, automated static analysis, benchmark creation, false positive mitigation
21	Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel	Predicting accurate and actionable static analysis warnings: an experimental approach.	ICSE	2008	DBLP DOI BibTeX RDF	experimental program analysis, logistic regression analysis, software quality, screening, static analysis tools
21	Amihood Amir, Gad M. Landau, Moshe Lewenstein, Dina Sokol	Dynamic text and static pattern matching.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	border trees, static pattern, Dynamic text
21	Cagkan Erbas, Andy D. Pimentel, Selin Cerav-Erbas	Static priority scheduling of event-triggered real-time embedded systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Simulated annealing search framework, Real-time embedded systems, Static priority scheduling
21	Artem Marchenko, Pekka Abrahamsson	Predicting Software Defect Density: A Case Study on Automated Static Code Analysis.	XP	2007	DBLP DOI BibTeX RDF	defect estimation, case study, quality, automation, embedded software, agile software development, static code analysis
21	Ruben E. Brown	AWE: improving software analysis through modular integration of static and dynamic analyses.	PASTE	2007	DBLP DOI BibTeX RDF	malicious software analysis, static analysis, dynamic analysis
21	Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black	Effect of static analysis tools on software security: preliminary investigation.	QoP	2007	DBLP DOI BibTeX RDF	vulnerability, software security, static analysis tools
21	Daniel Lüdtke, Dietmar Tutsch	Lossless static vs. dynamic reconfiguration of interconnection networks in parallel and distributed computer systems.	SCSC	2007	DBLP BibTeX RDF	static reconfiguration, performance, routing, interconnection networks, dynamic reconfiguration
21	Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley	Starc: static analysis for efficient repair of complex data.	OOPSLA	2007	DBLP DOI BibTeX RDF	static analysis, symbolic execution, data structure repair
21	Philip Brisk, Majid Sarrafzadeh	Interference graphs for procedures in static single information form are interval graphs.	SCOPES	2007	DBLP DOI BibTeX RDF	k-colorable subgraph problem, linear scan register allocation, static single information (SSI) form, compilers, register allocation, interval graph
21	Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino	Static Analysis of the Accuracy in Control Systems: Principles and Experiments.	FMICS	2007	DBLP DOI BibTeX RDF	Static analysis, control systems, floating-point computations
21	Debasish Das, Ahmed Shebaita, Yehea I. Ismail, Hai Zhou 0001, Kip Killpack	NostraXtalk: a predictive framework for accurate static timing analysis in udsm vlsi circuits.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	modeling, crosstalk, static timing analysis
21	Mun Wai Lee, Isaac Cohen	A Model-Based Approach for Estimating Human 3D Poses in Static Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Three-dimensional human pose estimation from static images, body parts detector, data driven Markov chain Monte Carlo, generative models
21	Wei Zhao 0006, Lu Zhang 0023, Yin Liu, Jiasu Sun, Fuqing Yang	SNIAFL: Towards a static noninteractive approach to feature location.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	BRCG, information retrieval, static analysis, Program comprehension, traceability, feature location
21	Jay-Evan J. Tevis, John A. Hamilton Jr.	Static analysis of anomalies and security vulnerabilities in executable files.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	PE format, executable file, software security vulnerabilities, static analysis
21	Nenad Jovanovic, Christopher Kruegel, Engin Kirda	Precise alias analysis for static detection of web application vulnerabilities.	PLAS	2006	DBLP DOI BibTeX RDF	scripting languages security, static analysis, program analysis, data flow analysis, PHP, alias analysis, cross-site scripting, web application security
21	Mayur Naik, Alex Aiken, John Whaley	Effective static race detection for Java.	PLDI	2006	DBLP DOI BibTeX RDF	static race detection, Java, concurrency, synchronization, multi-threading
21	Yuanchun Li, Guangjun Liu, Tao Hong, Keping Liu	Robust Control of a Two-Link Flexible Manipulator with Quasi-Static Deflection Compensation Using Neural Networks.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	quasi-static compensation, neural network, robust control, flexible manipulator
21	Tobias Mann, Morgan Deters, Rob LeGrand, Ron Cytron	Static determination of allocation rates to support real-time garbage collection.	LCTES	2005	DBLP DOI BibTeX RDF	allocation rate, static analysis, real-time garbage collection
21	David Hovemeyer, Jaime Spacco, William W. Pugh	Evaluating and tuning a static analysis to find null pointer bugs.	PASTE	2005	DBLP DOI BibTeX RDF	testing, static analysis
21	Chavdar Botev, Nadav Eiron, Marcus Fontoura, Ning Li, Eugene J. Shekita	Static score bucketing in inverted indexes.	CIKM	2005	DBLP DOI BibTeX RDF	static scoring, indexing, search engines
21	Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson	Using static analysis to validate the SAML single sign-on protocol.	WITS	2005	DBLP DOI BibTeX RDF	authentication, static analysis, process calculi, protocol validation
21	Ming Li 0002, Wei Zhao 0001	A Statistical Model for Detecting Abnormality in Static-Priority Scheduling Networks with Differentiated Services.	CIS (2)	2005	DBLP DOI BibTeX RDF	traffic constraint, static-priority scheduling networks, real-time systems, Anomaly detection, time series, differentiated services
21	Irith Pomeranz, Sudhakar M. Reddy	Static Test Compaction for Full-Scan Circuits Based on Combinational Test Sets and Nonscan Input Sequences and a Lower Bound on the Number of Tests.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Scan circuits, test application time, static test compaction
21	Laurent David, Isabelle Puaut	Static Determination of Probabilistic Execution Times.	ECRTS	2004	DBLP DOI BibTeX RDF	Probabilistic execution times, Static analysis, Soft real-time systems
21	Ramakrishnan Venkitaraman, Gopal Gupta 0001	Static program analysis of embedded executable assembly code.	CASES	2004	DBLP DOI BibTeX RDF	embedded software components, executable code, static analysis, abstract interpretation, assembly code
21	David Eng	Combining static and dynamic data in code visualization.	PASTE	2002	DBLP DOI BibTeX RDF	combining static and dynamic data, visualization, profiling, software understanding, intermediate languages
21	Said Hamdioui, Zaid Al-Ars, Ad J. van de Goor	Testing Static and Dynamic Faults in Random Access Memories.	VTS	2002	DBLP DOI BibTeX RDF	static faults, fault coverage, memory tests, dynamic faults, fault primitives
21	Enrico Vicario	Static Analysis and Dynamic Steering of Time-Dependent Systems.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Time-dependent systems, timeliness predictability, enumerative static analysis, dynamic task guarantee, quantitative timing estimation, Time Petri Nets, hard real-time systems
21	Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi	Distinctness and Sharing Domains for Static Analysis of Java Programs.	ECOOP	2001	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis
21	Michael S. Hsiao, Srimat T. Chakradhar	Test Set and Fault Partitioning Techniques for Static Test Sequence Compaction for Sequential Circuits.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	static test set compaction, vector-reordering, fault coverage curve, partitioning, ATPG
21	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using Static Analysis to Improve Automatic Test Generation.	TACAS	2000	DBLP DOI BibTeX RDF	static analysis, bisimulation, conformance testing, slicing, asynchronous systems
21	Ranganathan Sankaralingam, Rama Rao Oruganti, Nur A. Touba	Static Compaction Techniques to Control Scan Vector Power Dissipation.	VTS	2000	DBLP DOI BibTeX RDF	Static Compaction, Test Vector Compaction, Heat Minimization, Low Power, Built-In Self-Test, Design-for-Testability, Integrated Circuits, switching activity, Scan Chains, Peak power, Embedded Cores, Digital Testing
21	Liliana Favre, Liliana Martinez, Claudia Pereira	Transforming UML Static Models into Object-Oriented Code.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts
21	Vladimir I. Shelekhov, Sergey V. Kuksenko	On the Practical Static Checker of Semantic Run-Time Errors.	APSEC	1999	DBLP DOI BibTeX RDF	static analyzer, program analysis, data flow analysis
21	Min-You Wu, Wei Shu	On Parallelization of Static Scheduling Algorithms.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	parallel scheduling algorithm, macro dataflow graph, modified critical-path algorithm, Static scheduling
21	Dominique Boucher, Marc Feeley	Abstract Compilation: A New Implementation Paradigm for Static Analysis.	CC	1996	DBLP DOI BibTeX RDF	compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis
21	Frank Mueller 0001, David B. Whalley	Fast instruction cache analysis via static cache simulation.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	instruction cache analysis, static cache simulation, cache configuration, instruction reference, cache hit, counter incrementation, code execution frequency, local state information updating, frequency counters, program exit, virtual machines, cache storage, program diagnostics, dynamic simulation, cache miss
21	Leo Yuhsiang Liu, R. K. Shyamasundar	Static Analysis of Real-Time Distributed Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors
21	Emilio Luque, Ana Ripoll, Porfidio Hernández, Tomàs Margalef	Impact of task duplication on static-scheduling performance in multiprocessor systems with variable execution-time tasks.	ICS	1990	DBLP DOI BibTeX RDF	multiprocessor systems, heuristic algorithms, list scheduling, task duplication, static scheduling
21	Michal Young, Richard N. Taylor	Combining Static Concurrency Analysis with Symbolic Execution.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment
21	Frank Mueller 0001, David B. Whalley	Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation.	SAS	1994	DBLP DOI BibTeX RDF
21	Edwin A. Harcourt, Jon Mauney, Todd A. Cook	From Processor Timing Specifications to Static Intruction Scheduling.	SAS	1994	DBLP DOI BibTeX RDF
20	Sreeharsha Tavva, Dhireesha Kudithipudi	Variation tolerant 9T SRAM cell design.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	bitline leakage, static random access memory (SRAM), process variations, static noise margin, embedded sram
20	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
20	Edward P. F. Chan, Jie Zhang	Efficient Evaluation of Static and Dynamic Optimal Route Queries.	SSTD	2009	DBLP DOI BibTeX RDF
20	Daehyun Kim, Kwanghoon Sohn	Static text region detection in video sequences using color and orientation consistencies.	ICPR	2008	DBLP DOI BibTeX RDF
20	Harry I. A. Chen, Edward K. W. Loo, James B. Kuo, Marek Syrzycki	Triple-Threshold Static Power Minimization in High-Level Synthesis of VLSI CMOS.	PATMOS	2007	DBLP DOI BibTeX RDF
20	Aggelos Kiayias, Hong-Sheng Zhou	Trading Static for Adaptive Security in Universally Composable Zero-Knowledge.	ICALP	2007	DBLP DOI BibTeX RDF
20	An-Hsiang Wang, Kwo-Whei Lee, Yuan-Chang Hu	What is the effect of position for VDT dynamic/static displays on users' reading comprehension?	IV	2006	DBLP DOI BibTeX RDF	VDT, comprehension, dynamic display
20	Martín Abadi, Mathieu Baudet, Bogdan Warinschi	Guessing Attacks and the Computational Soundness of Static Equivalence.	FoSSaCS	2006	DBLP DOI BibTeX RDF
20	Gergei Bana, Payman Mohassel, Till Stegers	Computational Soundness of Formal Indistinguishability and Static Equivalence.	ASIAN	2006	DBLP DOI BibTeX RDF
20	Josh Dehlinger, Qian Feng, Lan Hu	SSVChecker: unifying static security vulnerability detection tools in an Eclipse plug-in.	ETX	2006	DBLP DOI BibTeX RDF	security auditing, software security, secure programming
20	Wolfgang Schröder-Preikschat, Daniel Lohmann, Fabian Scheler, Wasif Gilani, Olaf Spinczyk	Static and Dynamic Weaving in System Software with AspectC++.	HICSS	2006	DBLP DOI BibTeX RDF
20	John Goh, David Taniar	MUDSOM: Mobile User Database Static Object Mining.	AINA (1)	2006	DBLP DOI BibTeX RDF
20	David W. Binkley, Mark Harman, Jens Krinke	Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation.	SCAM	2006	DBLP DOI BibTeX RDF
20	Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky	Combined static and dynamic analysis for inferring program dependencies using a pattern language.	CASCON	2006	DBLP DOI BibTeX RDF
20	Arnaud Venet	Towards the Integration of Symbolic and Numerical Static Analysis.	VSTTE	2005	DBLP DOI BibTeX RDF
20	Mohammed A. Moharrum, Mohamed Eltoweissy	A study of static versus dynamic keying schemes in sensor networks.	PE-WASUN	2005	DBLP DOI BibTeX RDF	dynamic keying, exclusion-basis systems, sensor networks, key management, secure communications
20	Chen Liu 0001, Jean-Luc Gaudiot	Static Partitioning vs Dynamic Sharing of Resources in Simultaneous MultiThreading Microarchitectures.	APPT	2005	DBLP DOI BibTeX RDF
20	Veerle Desmet, Lieven Eeckhout, Koen De Bosschere	Using Decision Trees to Improve Program-Based and Profile-Based Static Branch Prediction.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
20	Emli-Mari Nel, Johan A. du Preez, Ben M. Herbst	Estimating the Pen Trajectories of Multi-Path Static Scripts Using Hidden Markov Models.	ICDAR	2005	DBLP DOI BibTeX RDF
20	Philo Juang, Kevin Skadron, Margaret Martonosi, Zhigang Hu, Douglas W. Clark, Phil Diodato, Stefanos Kaxiras	Implementing branch-predictor decay using quasi-static memory cells.	ACM Trans. Archit. Code Optim.	2004	DBLP DOI BibTeX RDF	Energy aware computing
20	Michael D. Ernst	Invited Talk Static and dynamic analysis: synergy and duality.	PASTE	2004	DBLP DOI BibTeX RDF
20	Ligang He, Stephen A. Jarvis, Daniel P. Spooner, Graham R. Nudd	Optimising Static Workload Allocation in Multiclusters.	IPDPS	2004	DBLP DOI BibTeX RDF
20	Katrina Falkner, Henry Detmold, Diana Howard, David S. Munro, Ronald Morrison, Stuart J. Norcross	Unifying Static and Dynamic Approaches to Evolution through the Compliant Systems Architecture.	HICSS	2004	DBLP DOI BibTeX RDF
20	John Hannan	On Extracting Static Semantics.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
20	Satish R. Thatte	Quasi-Static Typing.	POPL	1990	DBLP DOI BibTeX RDF
20	Mark A. Sheldon, David K. Gifford	Static Dependent Types for First Class Modules.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	LISP
20	Thomas L. Sterling, D. Scott Wills, Ellery Y. Chan	Tokenless static data flow using associative templates.	SC	1988	DBLP DOI BibTeX RDF
19	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
19	Matteo Zoppi, Rezia M. Molfino	Equilibrium analysis of multi-limbs walking and climbing robots.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Climbing and walking robots, Quasi-static locomotion, On-line equilibrium, Robot equilibrium modeling, Robots with ropes/tethers/strings
19	Guangfeng Ji, Han-Wei Shen	Dynamic View Selection for Time-Varying Volumes.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	static view selection, image based method, dynamic view selection, optimization, information entropy
19	Stefan Brass, Jürgen Dix, Teodor C. Przymusinski	Super logic programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models
19	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without runtime checks or garbage collection.	LCTES	2003	DBLP DOI BibTeX RDF	automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management
19	Peter Bunus, Peter Fritzson	A Debugging Scheme for Declarative Equation Based Modeling Languages.	PADL	2002	DBLP DOI BibTeX RDF	Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica
19	Michael Weber, Viren Shah, Chris Ren	A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization.	SCAM	2001	DBLP DOI BibTeX RDF	static analysis, buffer overflow, software security, software certification
19	Pablo González de Santos, María Antonia Jiménez, Manuel A. Armada	Dynamic Effects in Statically Stable Walking Machines.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	quadruped walking machines, static stability, dynamic stability margin, legged locomotion
19	Taghi M. Khoshgoftaar, Robert M. Szabo, Jeffrey M. Voas	Detecting program modules with low testability.	ICSM	1995	DBLP DOI BibTeX RDF	aircraft computers, program module detection, low testability, static software product measures, dynamic quality measure, real time avionics software system, component program modules, classification performance, discriminant modeling methodology, real-time systems, software quality, software metrics, program testing, testability, testability analysis, principal components
19	Yiming Li 0005, Chih-Hong Hwang, Shao-Ming Yu	Numerical Simulation of Static Noise Margin for a Six-Transistor Static Random Access Memory Cell with 32nm Fin-Typed Field Effect Transistors.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	computational statistics, SRAM, modeling and simulation, FinFET