The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Static with no syntactic query expansion in all metadata.

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