Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue	Slicing Methods Using Static and Dynamic Analysis Information.	APSEC	1999	DBLP DOI BibTeX RDF
15	Tarja Systä	On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software.	WCRE	1999	DBLP DOI BibTeX RDF
15	Toshinori Hosokawa, Toshihiro Hiraoka, Tomoo Inoue, Hideo Fujiwara	Static and Dynamic Test Sequence Compaction Methods for Acyclic Sequential Circuits Using a Time Expansion Model.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Time expansion model, acyclic sequential circuit, reverse transformation fault simulation, template, Test sequence compaction
15	Kostadis Roussos, Nawaf Bitar, Robert English	Deterministic Batch Scheduling without Static Partitioning.	JSSPP	1999	DBLP DOI BibTeX RDF
15	Min Zhao 0001, Sachin S. Sapatnekar	Timing-driven partitioning for two-phase domino and mixed static/domino implementations.	ICCAD	1999	DBLP DOI BibTeX RDF
15	Chandramouli Visweswariah, Andrew R. Conn	Formulation of static circuit optimization with reduced size, degeneracy and redundancy by timing graph manipulation.	ICCAD	1999	DBLP DOI BibTeX RDF
15	Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose	Controlling State Explosion in Static Simulation by Selective Composition.	VLSI Design	1999	DBLP DOI BibTeX RDF
15	Yu-Kwong Kwok, Anthony A. Maciejewski, Howard Jay Siegel, Arif Ghafoor, Ishfaq Ahmad	Evaluation of a Semi-Static Approach to Mapping Dynamic Iterative Tasks onto Heterogeneous Computing Systems.	ISPAN	1999	DBLP DOI BibTeX RDF	iterative task graphs, genetic algorithms, scheduling, parallel processing, mapping, heterogeneous computing, automatic target recognition
15	Christopher E. Smith, Nikolaos P. Papanikolopoulos	Grasping of Static and Moving Objects Using a Vision-Based Control Approach.	J. Intell. Robotic Syst.	1997	DBLP DOI BibTeX RDF	experimental computer vision, systems and applications, vision-guided robotics, active and real-time vision
15	Tan-Li Chou, Kaushik Roy 0001	Estimation of activity for static and domino CMOS circuits considering signal correlations and simultaneous switching.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
15	Tai M. Chung, Henry G. Dietz	Static scheduling of hard real-time code with instruction-level timing accuracy.	RTCSA	1996	DBLP DOI BibTeX RDF	timing fault, instruction-level timing accuracy, high-level language code, instruction-level, compiler code scheduling, genetic search algorithm, real-time systems, timing analysis, processor scheduling, search space
15	David R. Surma, Edwin Hsing-Mean Sha	Static Communication Scheduling for Minimizing Collisions in Application Specific Parallel Systems.	ASAP	1996	DBLP DOI BibTeX RDF	tightly-coupled networks, scheduling, real-time systems, Communication, graph modeling
15	Brad Calder, Dirk Grunwald, Donald C. Lindsay, James H. Martin, Michael Mozer, Benjamin G. Zorn	Corpus-Based Static Branch Prediction.	PLDI	1995	DBLP DOI BibTeX RDF	C
15	Jason R. C. Patterson	Accurate Static Branch Prediction by Value Range Propagation.	PLDI	1995	DBLP DOI BibTeX RDF
15	Andrew T. Yang, Yu Liu, Jack T. Yao	An efficient nonquasi-static diode model for circuit simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
15	Jong-Deok Choi, Jeanne Ferrante	Static Slicing in the Presence of Goto Statements.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	testing, debugging, program analysis, slicing
15	Brian Reistad, David K. Gifford	Static Dependent Costs for Estimating Execution Time.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
15	Marc Sabatella	Lazy evaluation of C++ static constructors.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	C++
15	Philippe Granger	Improving the Results of Static Analyses Programs by Local Decreasing Iteration.	FSTTCS	1992	DBLP DOI BibTeX RDF
15	Michael I. Schwartzbach	Static Correctness of Hierarchical Procedures.	ICALP	1990	DBLP DOI BibTeX RDF
15	Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli	On the scope of static checking in definitional languages.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
15	Michael Yoeli, Shlomo Rinon	Application of Ternary Algebra to the Study of Static Hazards.	J. ACM	1964	DBLP DOI BibTeX RDF
14	Aviral Shrivastava, Jongeun Lee, Reiley Jeyapaul	Cache vulnerability equations for protecting data in embedded processor caches from soft errors.	LCTES	2010	DBLP DOI BibTeX RDF	cache vulnerability, static analysis, embedded processors, soft errors, code transformation, compiler technique
14	Ivan Lazar Miljenovic	The SourceGraph program.	PEPM	2010	DBLP DOI BibTeX RDF	graph theory, static analysis, haskell, software analysis, call graph
14	Garima Thakral, Saraju P. Mohanty, Dhruva Ghai, Dhiraj K. Pradhan	A DOE-ILP assisted conjugate-gradient based power and stability optimization in High-K Nano-CMOS SRAM.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	nano-CMOS, power, leakage, SRAM, static noise margin
14	Brian Demsky, Patrick Lam 0001	Views: object-inspired concurrency control.	ICSE (1)	2010	DBLP DOI BibTeX RDF	concurrency, language design, static verification
14	Siliang Li, Gang Tan	Finding bugs in exceptional situations of JNI programs.	CCS	2009	DBLP DOI BibTeX RDF	static analysis, taint analysis, java native interface
14	Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
14	Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman	TAJ: effective taint analysis of web applications.	PLDI	2009	DBLP DOI BibTeX RDF	security, java, static analysis, web application, program analysis, slicing, taint analysis
14	Nivedita R. Kadaba, Pourang P. Irani, Jason Leboe	Analyzing animated representations of complex causal semantics.	APGV	2009	DBLP DOI BibTeX RDF	animated graphs, cause-effect, visualization, semantics, animation, perception, causality, static
14	Artur Boronat, José Meseguer 0001	Algebraic Semantics of OCL-Constrained Metamodel Specifications.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic
14	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino	Semantics-Based Design for Secure Web Services.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	call-by-contract, Web services, static analysis, language-based security, system verification
14	Leonid Libkin, Cristina Sirangelo	Reasoning about XML with Temporal Logics and Automata.	LPAR	2008	DBLP DOI BibTeX RDF	Query automata, XML, static analysis, temporal logics
14	Nomair A. Naeem, Ondrej Lhoták	Validating temporal properties of interacting objects.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	tracematches, static analysis, typestate
14	Jeremy G. Siek, Manish Vachharajani	Gradual typing with unification-based inference.	DLS	2008	DBLP DOI BibTeX RDF	gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing
14	Italo Dacosta, Neel Mehta, Evan Metrock, Jonathon T. Giffin	Security Analysis of an IP Phone: Cisco 7960G.	IPTComm	2008	DBLP DOI BibTeX RDF	IP phone, static binary analysis, embedded system security, VoIP security
14	Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin	A security domain model to assess software for exploitable covert channels.	PLAS	2008	DBLP DOI BibTeX RDF	automated program verification, security domain model, static analysis, specification language, covert channel, dynamic slicing
14	Damir Kirasic, Danko Basch	Ontology-Based Design Pattern Recognition.	KES (1)	2008	DBLP DOI BibTeX RDF	ontology-based system, OWL application, formal pattern definition, knowledge-based system, description logics, static code analysis
14	Zhiyu Liu, Sherif A. Tawfik, Volkan Kursun	Statistical Data Stability and Leakage Evaluation of FinFET SRAM Cells with Dynamic Threshold Voltage Tuning under Process Parameter Fluctuations.	ISQED	2008	DBLP DOI BibTeX RDF	static noise margin distribution, robust operation, active power, standby power distribution, double gate MOSFET, process variations, Cache memory
14	Ondrej Lhoták	Comparing call graphs.	PASTE	2007	DBLP DOI BibTeX RDF	comparison tools, interpreting analysis results, static analysis, dynamic analysis, call graph
14	Minh Ngoc Ngo, Hee Beng Kuan Tan	Detecting large number of infeasible paths through recognizing their patterns.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	empirical properties, static analysis, structural testing, coverage analysis, infeasible paths
14	Gary Wassermann, Zhendong Su 0001	Sound and precise analysis of web applications for injection vulnerabilities.	PLDI	2007	DBLP DOI BibTeX RDF	string analysis, static analysis, web applications
14	Dereje H. Woldegebreal, Stefan Valentin, Holger Karl	Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison.	MSWiM	2007	DBLP DOI BibTeX RDF	static and adaptive protocols, network coding, performance comparison, outage probability, cooperative transmission
14	Christian Boucheny, Georges-Pierre Bonneau, Jacques Droulez, Guillaume Thibault, Stéphane Ploix	A perceptive evaluation of volume rendering techniques.	APGV	2007	DBLP DOI BibTeX RDF	perception of transparency, static and dynamic cues, Direct Volume Rendering
14	Catherine Pugin, Rolf Ingold	Combination of transformation and schema languages described by a complete formal semantics.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	static type checking, XML, integration, transformation, schema
14	Ahmed E. Hassan, Richard C. Holt	Replaying development history to assess the effectiveness of change propagation tools.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Historical co-change, Static dependency, Source control systems, Mining software repositories, Change propagation
14	Antoine Miné	The octagon abstract domain.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
14	Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers	MultiJava: Design rationale, compiler implementation, and applications.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
14	Sonia Fagorzi, Elena Zucca	A Framework for Type Safe Exchange of Mobile Code.	TGC	2006	DBLP DOI BibTeX RDF	parametric calculus, static and dynamic typechecking, subtyping, mobile code
14	Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten	Bridging the gap between web application firewalls and web applications.	FMSE	2006	DBLP DOI BibTeX RDF	run-time enforcement, shared data repository, web spplication girewall, static verification
14	Tamer Dag, Oral Gokgol	A Priority Based Packet Scheduler with Deadline Considerations.	CNSR	2006	DBLP DOI BibTeX RDF	QoS, packet scheduling, deadline, Earliest Deadline First, packet loss, Static Priority
14	Giovanni Lagorio, Elena Zucca	Introducing safe unknown types in Java-like languages.	SAC	2006	DBLP DOI BibTeX RDF	java-like languages, type-systems, static typing
14	Xin Li, H. James Hoover, Piotr Rudnicki	Towards Automatic Exception Safety Verification.	FM	2006	DBLP DOI BibTeX RDF	model checking, verification, static analysis, exceptions
14	Cormac Flanagan	Hybrid type checking.	POPL	2006	DBLP DOI BibTeX RDF	dynamic checking, type systems, contracts, static checking
14	Philippe Meunier, Robert Bruce Findler, Matthias Felleisen	Modular set-based analysis from contracts.	POPL	2006	DBLP DOI BibTeX RDF	modular analysis, runtime contracts, static debugging, set-based analysis
14	Kenichi Shinkai, Masanori Hashimoto, Atsushi Kurokawa, Takao Onoye	A gate delay model focusing on current fluctuation over wide-range of process and environmental variability.	ICCAD	2006	DBLP DOI BibTeX RDF	gate delay model, variability, static timing analysis, statistical timing analysis
14	Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia	Role-Based access control consistency validation.	ISSTA	2006	DBLP DOI BibTeX RDF	security, Java, static analysis, RBAC, role-based access control, J2EE, Java EE
14	Xiaolan Zhang 0001, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng	The case for analysis preserving language transformation.	ISSTA	2006	DBLP DOI BibTeX RDF	language transformation, security, Java, verification, static analysis, C, language translation
14	Mohammad Sharifkhani, Manoj Sachdev	A low power SRAM architecture based on segmented virtual grounding.	ISLPED	2006	DBLP DOI BibTeX RDF	static-random access memory, write power reduction, low-power, SRAM, leakage reduction
14	Akira Mori, Tomonori Izumida, Toshimi Sawada, Tadashi Inoue	A tool for analyzing and detecting malicious mobile code.	ICSE	2006	DBLP DOI BibTeX RDF	OS execution emulation, code simulation, static code analysis, malicious code detection
14	Jaime Spacco, David Hovemeyer, William W. Pugh	Tracking defect warnings across versions.	MSR	2006	DBLP DOI BibTeX RDF	bug histories, bug tracking, Java, static analysis, FindBugs
14	Sam Weber, Paul A. Karger, Amit M. Paradkar	A software flaw taxonomy: aiming tools at security.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	argument validation, asynchronous attacks, security taxonomies, testing, static analysis, buffer overflows, security flaws
14	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	static race detection, parallelization, Symbolic analysis
14	Michael F. Ringenburg, Dan Grossman	Preventing format-string attacks via automatic and efficient dynamic checking.	CCS	2005	DBLP DOI BibTeX RDF	dynamic checking, format-string attacks, white-lists, static analysis
14	W. Eric Wong, Yu Qi, Kendra M. L. Cooper	Source code-based software risk assessing.	SAC	2005	DBLP DOI BibTeX RDF	dynamic test coverage, static code complexity, software quality, risk assess, risk model
14	Roberta Gori, Francesca Levi	A New Occurrence Counting Analysis for BioAmbients.	APLAS	2005	DBLP DOI BibTeX RDF	Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation
14	Paolo Tonella	Reverse engineering of object oriented code.	ICSE	2005	DBLP DOI BibTeX RDF	diagram recovery, object oriented programming, static code analysis
14	Amit Chowdhary, Karthik Rajagopal, Satish Venkatesan, Tung Cao, Vladimir Tiourin, Yegna Parasuram, Bill Halpin	How accurately can we model timing in a placement engine?	DAC	2005	DBLP DOI BibTeX RDF	differential timing analysis, linear programming, static timing analysis, timing-driven placement
14	Ludmila Cherkasova, Minaxi Gupta	Analysis of enterprise media server workloads: access patterns, locality, content evolution, and rates of change.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	content evolution, enterprise media servers, sharing patterns, static and temporal properties, locality, dynamics, access patterns, workload analysis
14	Hisao Kameda	Bounds on Benefits and Harms of Adding Connections to Noncooperative Networks.	NETWORKING	2004	DBLP DOI BibTeX RDF	Braess paradox, coincident cost degradation and improvement, computer and communication networks, Nash equilibrium, network routing, distributed computer systems, source routing, shortest path routing, Wardrop equilibrium, static load balancing
14	Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler	Correlation exploitation in error ranking.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	error ranking, static analysis, program checking
14	Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay	Session Types for Functional Multithreading.	CONCUR	2004	DBLP DOI BibTeX RDF	static typechecking, specification of communication protocols, concurrent programming, Session types
14	Said Hamdioui, Zaid Al-Ars, Ad J. van de Goor, Mike Rodgers	Dynamic Faults in Random-Access-Memories: Concept, Fault Models and Tests.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	static faults, fault models, fault coverage, memory tests, dynamic faults, fault primitives
14	Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek	To Store or Not to Store.	CAV	2003	DBLP DOI BibTeX RDF	Timed automata model checking, Static analysis
14	Eric Bodden	A high-level view of Java applications.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	call graph visualization, Java, static analysis
14	Wei Zhao 0006, Lu Zhang 0023, Yin Liu, Jing Luo, Jiasu Sun	Understanding How the Requirements Are Implemented in Source Code.	APSEC	2003	DBLP DOI BibTeX RDF	information retrieval, static analysis, software maintenance, program comprehension, traceability
14	Jesse C. Rabek, Roger I. Khazan, Scott M. Lewandowski, Robert K. Cunningham	Detection of injected, dynamically generated, and obfuscated malicious code.	WORM	2003	DBLP DOI BibTeX RDF	intrusion detection, static analysis, anomaly detection, dynamic analysis, system calls, code analysis, execution monitoring, malicious code detection
14	Yichen Xie 0001, Andy Chou, Dawson R. Engler	ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun
14	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment.	RTCSA	2003	DBLP DOI BibTeX RDF	Real-Time Java (RTJ), Distributed RTJ, Static Analysis Environment, Distributed Run-Time Environment, High-Integrity Systems
14	K. Rustan M. Leino, Greg Nelson	Data abstraction and information hiding.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Abstract variables, abstraction dependencies, modifies clauses, object-oriented programming, specifications, modular verification, extended static checking
14	Kaveh Shakeri, James D. Meindl	Temperature Variable Supply Voltage for Power Reduction.	ISVLSI	2002	DBLP DOI BibTeX RDF	CMOS, Temperature, Power reduction, Dynamic Power, MOSFET, Static Power
14	Yingxu Wang 0001	Real-Time Process Algebra and Its Applications.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification
14	Jindrich Zejda, Paul Frain	General framework for removal of clock network pessimism.	ICCAD	2002	DBLP DOI BibTeX RDF	clock network reconvergence, voltage and temperature delay variation, process, static timing analysis, deep sub-micron
14	Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf	DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.	Ada-Europe	2002	DBLP DOI BibTeX RDF	language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical
14	Ahmed Khoumsi, Soumaya Cherkaoui	Use of Agents for Resolving Feature Interactions.	MATA	2001	DBLP DOI BibTeX RDF	Feature interaction resolution, static and mobile agents
14	Michael S. Hsiao, Srimat T. Chakradhar	Test Set Compaction Using Relaxed Subsequence Removal.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	static test set compaction, support sets, recurrence subsequence, ATPG
14	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
14	S.-Y. Lee, C.-H. Cho	Load Balancing for Minimizing Execution Time of a Target Job on a Network of Heterogeneous Workstations.	JSSPP	2000	DBLP DOI BibTeX RDF	Round-robin job scheduling, Stochastic model, Network of workstation, Dynamic load balancing, Execution time, Standard deviation, Static load balancing
14	Bert O. de Brock	Declarative Specifications of Complex Transactions.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF	transaction design, database dynamics, declarative specifications of database behavior, (static and dynamic) integrity constraints, (allowable versus available) transitions, cascading deletes, adaptations, semantics, Transactions, transaction models
14	Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan	Strategies and Techniques of Freeze/Melt.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Freeze, Melt, Freeze-enclosure strategy, Semi-freeze strategy, Dynamic and static interaction technique
14	Kim B. Bruce, Martin Odersky, Philip Wadler	A Statically Safe Alternative to Virtual Types.	ECOOP	1998	DBLP DOI BibTeX RDF	virtual types, static type checking, Language design, parametric polymorphism
14	Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen	DrScheme: A Pedagogic Programming Environment for Scheme.	PLILP	1997	DBLP DOI BibTeX RDF	Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
14	Kenneth L. Shepard, Vinod Narayanan, Peter C. Elmendorf, Gutuan Zheng	Global harmony: coupled noise analysis for full-chip RC interconnect networks.	ICCAD	1997	DBLP DOI BibTeX RDF	interconnect, noise, static timing analysis
14	Oscar González 0002, H. Shrikumar, John A. Stankovic, Krithi Ramamritham	Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling.	RTSS	1997	DBLP DOI BibTeX RDF	adaptive fault tolerance, dynamic hard real-time scheduling, static redundancy allocation, variable environments, redundancy strategy, radar tracking software, AWACS, early warning aircraft, timing-centric performance metric, quality of service, fault tolerant computing, timing constraints, temporal constraints, resource constraints, QoS guarantees, graceful degradation
14	Richard D. Dietz, Thomas L. Casavant, Todd E. Scheetz, Terry A. Braun, Mark S. Andersland	Modeling the impact of run-time uncertainty on optimal computation scheduling using feedback.	ICPP	1997	DBLP DOI BibTeX RDF	run-time uncertainty, computation scheduling, run-time variance, static-dynamic scheduling, SEDIA, monitoring intrusion, parallel architectures, parallel architectures, feedback
14	Olivier Danvy, Karoline Malmkjær, Jens Palsberg	Eta-Expansion Does The Trick.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization
14	Erik Jacobsen, Eric Rotenberg, James E. Smith 0001	Assigning Confidence to Conditional Branch Predictions.	MICRO	1996	DBLP DOI BibTeX RDF	branch correctness, conditional branch predictions, dynamic branches, processor resources, static branches, resource allocation
14	David Van Campenhout, Trevor N. Mudge, Karem A. Sakallah	Timing verification of sequential domino circuits.	ICCAD	1996	DBLP DOI BibTeX RDF	domino gates, sequential domino circuits, static timing verification, logic testing, input signals
14	Greet Bilsen, Rudy Lauwereins, J. A. Peperstraete	Compile-time scheduling with resource-constraints.	HICSS (2)	1995	DBLP DOI BibTeX RDF	multiple execution, CPU-usage, run-time performance, nonCPU resource requirements, performance evaluation, resource allocation, signal processing, digital signal processing, program compilers, processor scheduling, resource-constraints, static schedule, compile-time scheduling, scheduling method, DSP-applications
14	Jaume A. Segura 0001, Miquel Roca 0001, Diego Mateo, Antonio Rubio 0001	An approach to dynamic power consumption current testing of CMOS ICs.	VTS	1995	DBLP DOI BibTeX RDF	dynamic power consumption current testing, logic behavior, parametric defect, quiescent power supply current testing, consumption current testing time, on-chip sensor, static power consumption, fault diagnosis, logic testing, integrated circuit testing, automatic testing, adders, CMOS logic circuits, I/sub DDQ/ testing, CMOS ICs, full adders, open defects, electric current measurement, bridging defects, transient current