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