The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase program behavior (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1977 (17) 1979-1988 (18) 1989-1992 (18) 1993-1995 (19) 1996-1998 (18) 1999-2000 (15) 2001-2002 (30) 2003 (25) 2004 (24) 2005 (27) 2006 (32) 2007 (33) 2008 (43) 2009-2010 (29) 2011-2012 (6)
Publication types (Num. hits)
article(64) inproceedings(290)
Venues (Conferences, Journals, ...)
ICSE(11) PLDI(11) IEEE Trans. Software Eng.(9) SIGMETRICS(9) IEEE Trans. Computers(8) CGO(7) ICS(6) IEEE PACT(6) ISCA(6) ISSTA(6) LCPC(6) PACT(6) Commun. ACM(5) Euro-Par(5) OOPSLA(5) DATE(4) More (+10 of total 196)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 552 occurrences of 395 keywords

Results
Found 354 publication records. Showing 354 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
3Takashi Yokota, Kanemitsu Ootsu, Takanobu Baba Introducing entropies for representing program behavior and branch predictor performance. Search on Bibsonomy Experimental Computer Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF architecture, information entropy, program behavior, prediction performance, branch predictors
2Mark Stephenson, Ram Rangan, Emmanuel Yashchin, Eric Van Hensbergen Statistically regulating program behavior via mainstream computing. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF collaborative community, mainstream computing
2Ruhi Sarikaya, Canturk Isci, Alper Buyuktosunoglu Program behavior prediction using a statistical metric model. Search on Bibsonomy SIGMETRICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF system performance measurement, monitoring and forecasting, computer architecture, workload characterization
2Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Feng Mao, Malcom Gethers, Xipeng Shen, Yaoqing Gao Exploiting statistical correlations for proactive prediction of program behaviors. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF correlation, program behavior
2Manuel Arenaz, Juan Touriño, Ramon Doallo Program Behavior Characterization Through Advanced Kernel Recognition. Search on Bibsonomy Euro-Par The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Nitzan Peleg, Bilha Mendelson Detecting Change in Program Behavior for Adaptive Optimization. Search on Bibsonomy PACT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang Software behavior oriented parallelization. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program behavior, speculative parallelization
2Wonbok Lee, Kimish Patel, Massoud Pedram B2Sim: : a fast micro-architecture simulator based on basic block characterization. Search on Bibsonomy CODES+ISSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF basic block, micro-architecture simulation, program behavior
2Philippe Clauss, Bénédicte Kenmei, Jean Christophe Beyler The Periodic-Linear Model of Program Behavior Capture. Search on Bibsonomy Euro-Par The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Richard C. Linger, Mark G. Pleszkoch Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. Search on Bibsonomy HASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2David N. Armstrong, Hyesoon Kim, Onur Mutlu, Yale N. Patt Wrong Path Events: Exploiting Unusual and Illegal Program Behavior for Early Misprediction Detection and Recovery. Search on Bibsonomy MICRO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Mark G. Pleszkoch, Richard C. Linger Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Wei Liu, Michael C. Huang EXPERT: expedited simulation exploiting program behavior repetition. Search on Bibsonomy ICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF behavior repetition, statistical sampling, fast simulation
2Kohei Tatara, Toshihiro Tabata, Kouichi Sakurai A Probabilistic Method for Detecting Anomalous Program Behavior. Search on Bibsonomy WISA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Intrusion detection, Bayesian network, Anomaly detection, System call
2Evelyn Duesterwald, Calin Cascaval, Sandhya Dwarkadas Characterizing and Predicting Program Behavior and its Variability. Search on Bibsonomy IEEE PACT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Christoph C. Michael Finding the Vocabulary of Program Behavior Data for Anomaly Detection. Search on Bibsonomy DISCEX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Timothy Sherwood, Erez Perelman, Greg Hamerly, Brad Calder Automatically characterizing large scale program behavior. Search on Bibsonomy ASPLOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Jinsuo Zhang The predictability of load address. Search on Bibsonomy SIGARCH Computer Architecture News The full citation details ... 2001 DBLP  DOI  BibTeX  RDF context predictor, global context predictor, last address predictor, load address prediction, stack coloring, stride predictor, program behavior, hybrid predictor
2Atsuhiro Tanaka Extension of the Working Set for Modeling Spatial Locality in Program Behavior. (PDF / PS) Search on Bibsonomy MASCOTS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Dingchao Li, Yuji Iwahori, Tatsuya Hayashi, Naohiro Ishii A Spill Code Placement Framework for Code Scheduling. Search on Bibsonomy LCPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Fine grain parallel architectures, program behavior analysis, compiler optimization, register spilling, code scheduling
2Hideki Koike, Manuba Aida A Bottom-Up Approach for Visualizing Program Behavior. (PDF / PS) Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF program behavior visualisation, program execution visualisation, concrete pictures, abstract picture, local pictures, local drawing rules, scaling mechanism, conceptual program structure, Scheme interpreter, visual programming, visual languages, program understanding, data visualisation, system monitoring, program interpreters, bottom-up approach
2David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. (PDF / PS) Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
2Vidyadhar Phalke, B. Gopinath An Inter-Reference Gap Model for Temporal Locality in Program Behavior. Search on Bibsonomy SIGMETRICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF memory replacement, trace compaction, prediction, Markov chains, trace driven simulation, dynamic memory management, locality of reference
2Roman Blasko Simulation based performance prediction by PEPSY. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF simulation based performance prediction, VFCS, Vienna Fortran Compilation System, PEPSY, performance prediction system, monitoring modes, parallel program behavior, monitoring facilities, performance analysis, parallel programming, parallel programs, compiler, virtual machines, software tools, discrete event simulation, discrete-event simulation, performance prediction, software performance evaluation, system monitoring, simulation tool, parallelising compilers, supercompiler
2Doug Kimelman, Pradeep Mittal, Edith Schonberg, Peter F. Sweeney, Ko-Yang Wang, Dror Zernik Visualizing the execution of High Performance Fortran (HPF) programs. (PDF / PS) Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF High Performance Fortran programs, data placement programming model, performance visualization systems, high level views, HPF program behavior, communication activity, array distribution, data placement program tuning, parallel programming, FORTRAN, visual programming, software performance evaluation, programming model, parallel languages, data distribution, program diagnostics
2Dipak Ghosal, Giuseppe Serazzi, Satish K. Tripathi The Processor Working Set and Its Use in Scheduling Multiprocessor Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF processor working set, PWS, parallel program behavior, transputer-based multiprocessor machine, processor allocation strategies, static allocation policy, scheduling, scheduling, multiprocessing systems, transputers
2James M. Butler, A. Yavuz Oruç PSB Graphs for Simulating Cooperative and Distributed Program Behavior. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
2Bogdan Korel Automated Software Test Data Generation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
2Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF real-time software testing, recorded execution history, noninterference monitoring architecture, program execution data, target real-time software system, replay mechanism, Motorola 68000 computer, Unix system environment, real-time software systems, real-time systems, program testing, program debugging, monitoring system, program behavior, timing errors
2Takashi Masuda, Tong-Haing Fin Program behavior and its models. Search on Bibsonomy Operating Systems Engineering The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
2Alan P. Batson, A. Wayne Madison Measurements of major locality phases in symbolic reference strings. Search on Bibsonomy SIGMETRICS The full citation details ... 1976 DBLP  DOI  BibTeX  RDF Reference strings, Locality, Memory management, Program behavior
2Arthur J. Bernstein Comment on the working set model for program behavior. Search on Bibsonomy Commun. ACM The full citation details ... 1970 DBLP  DOI  BibTeX  RDF paging rate, multiprogramming, demand paging, working set
2Laszlo A. Belady, C. J. Kuehner Dynamic space-sharing in computer systems. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF computer system design, memory management, storage management, multiprogramming, storage allocation, memory allocation, time-sharing, program behavior, demand-paging, space-sharing, replacement strategies, allocation strategies
2Tad B. Pinkerton Performance monitoring in a time-sharing system. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF multiprogramming performance, peformance measurement, software instrumentation, time-sharing performance, software measurement, performance monitoring, program behavior, system evaluation, software monitor, performance data
2Edward G. Coffman Jr., L. C. Varian Further experimental data on the behavior of programs in a paging environment. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF dynamic program behavior, machine language program interpretation, one-level storage, operating system simulation, paging systems, single-level storage, supervisor simulation, operating systems, paging, program behavior, virtual memory systems
1Paul Berube, José Nelson Amaral Combined profiling: A methodology to capture varied program behavior across multiple inputs. Search on Bibsonomy ISPASS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Frederik Vandeputte, Lieven Eeckhout Characterizing Time-Varying Program Behavior Using Phase Complexity Surfaces. Search on Bibsonomy T. HiPEAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Wirth, Herbert Prähofer, Roland Schatz A multi-level approach for visualization and exploration of reactive program behavior. Search on Bibsonomy VISSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Azam Peyvandi-Pour, Saeed Parsa Effective Software Fault Localization by Statistically Testing the Program Behavior Model. Search on Bibsonomy ICICA (LNCS) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ching-Chi Lin, Pangfeng Liu, Jan-Jan Wu A Novel Approach for Finding Optimization Opportunities in Multicore Architectures. Search on Bibsonomy ISPA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF parallel program behavior analysis, optimization opportunities for parallel programs, sampling based technique, multi-core architecture
1Ling Wu, Guangtai Liang, Shi Kui, Qianxiang Wang CEclipse: An Online IDE for Programing in the Cloud. Search on Bibsonomy SERVICES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Online IDE, Cloud Computing, Program Analysis, Service Composition, Program Behavior
1Chunying Zhao, Jun Kong, Kang Zhang Program Behavior Discovery and Verification: A Graph Grammar Approach. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF graph grammar induction, program comprehension, Visual language, reengineering
1Xiaomin Jia, Pingjing Lu, Caixia Sun, Minxuan Zhang Dynamic Program Behavior Identification for High Performance CMPs with Private LLCs. Search on Bibsonomy IEICE Transactions The full citation details ... 2010 DBLP  BibTeX  RDF
1Johannes Koskinen, Markus Kettunen, Tarja Systä Behavioral profiles - a way to model and validate program behavior. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ruhi Sarikaya, Alper Buyuktosunoglu A Unified Prediction Method for Predicting Program Behavior. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Microprocessor performance phase prediction, adaptive dynamic management, application program phase prediction
1Parijat Dube, Michael Tsao, Dan E. Poff, Li Zhang 0002, Alan Bivens Program behavior characterization in large memory systems. Search on Bibsonomy ISPASS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrew Kerr, Gregory F. Diamos, Sudhakar Yalamanchili Modeling GPU-CPU workloads and systems. Search on Bibsonomy GPGPU The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Ocelot, PTX, Rodinia, parboil, GPGPU, CUDA, OpenCL
1Omer Khan, Sandip Kundu A self-adaptive scheduler for asymmetric multi-cores. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF scheduling, modeling, power
1Omer Khan, Sandip Kundu A model to exploit power-performance efficiency in superscalar processors via structure resizing. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF modeling, power
1Chris Lewis 0002, Jim Whitehead Runtime repair of software faults using event-driven monitoring. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF message broker, runtime software-fault monitoring, temporal invariants, specifications, video games, rule engine, event-driven systems
1Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam Porter Using symbolic evaluation to understand behavior in configurable software systems. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software testing and analysis, empirical software engineering, software configurations
1Neha Rungta, Eric Mercer Slicing and dicing bugs in concurrent programs. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF underapproximation, concurrency, abstraction-refinement
1Gustavo L. Soares Making program refactoring safer. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing, refactoring
1Amin Ansari, Shuguang Feng, Shantanu Gupta, Scott A. Mahlke Necromancer: enhancing system throughput by animating dead cores. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF execution abstraction, heterogeneous core coupling, manufacturing defects
1Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller Generating test cases for specification mining. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF typestate analysis, test case generation, specification mining
1Hira Agrawal, Clifford Behrens, Balakrishnan Dasarathy, Leslie Lee Fook Learning Program Behavior for Run-Time Software Assurance. Search on Bibsonomy CISIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yingchao Zhao, Chun Jason Xue, Minming Li, Bessie C. Hu Energy-aware register file re-partitioning for clustered VLIW architectures. Search on Bibsonomy ASP-DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Muhammad Saleem 0002, Rasheed Hussain, Yasir Ismail, Shaikh Mohsin Cost effective software engineering using program slicing techniques. Search on Bibsonomy Int. Conf. Interaction Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software cost and time, software development phases, program slicing, program code
1Martin Kropp, Wolfgang Schwaiger Reverse generation and refactoring of fit acceptance tests for legacy code. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF testing, code generation, refactoring, maintenance, eclipse
1Sudipta Kundu, Zachary Tatlock, Sorin Lerner Proving optimizations correct using parameterized program equivalence. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compiler optimization, correctness, translation validation
1Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha Safe open-nested transactions through ownership. Search on Bibsonomy PPOPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF abstract serializability, open-nested transactions, ownership-aware transactions, safe nesting, semantic deadlock, serializability by modules, transactional memory semantics, xmodules, semantics, transactional memory, ownership types
1Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer Deconstructing concurrency heisenbugs. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Guowei Yang, Matthew B. Dwyer, Gregg Rothermel Regression model checking. Search on Bibsonomy ICSM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pilsung Kang 0002, Naresh K. C. Selvarasu, Naren Ramakrishnan, Calvin J. Ribbens, Danesh K. Tafti, Srinidhi Varadarajan Modular, Fine-Grained Adaptation of Parallel Programs. Search on Bibsonomy ICCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hugues Chabot, Raphael Khoury, Nadia Tawbi Generating In-Line Monitors for Rabin Automata. Search on Bibsonomy NordSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Monitoring Software Safety, Computer Security, Dynamic Analysis
1Claire Le Goues, Westley Weimer Specification Mining with Few False Positives. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Qiang Cheng, JianWen Cao, Bin Wang, Haibin Zhang Adjoint code generator. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF automatic differentiation, gradient, Hessian, adjoint model
1Xin Tang, Constantine N. Manikopoulos, Sotirios G. Ziavras Generalized Anomaly Detection Model for Windows-based Malicious Program Behavior . Search on Bibsonomy I. J. Network Security The full citation details ... 2008 DBLP  BibTeX  RDF
1Fabian Nowak, Rainer Buchty, Wolfgang Karl Adaptive Cache Infrastructure: Supporting Dynamic Program Changes following Dynamic Program Behavior. Search on Bibsonomy PASA The full citation details ... 2008 DBLP  BibTeX  RDF
1Chinnakrishnan S. Ballapuram, Ahmad Sharif, Hsien-Hsin S. Lee Exploiting access semantics and program behavior to reduce snoop power in chip multiprocessors. Search on Bibsonomy ASPLOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MESI protocol, internal and external snoops, self-modifying code, chip multiprocessors
1Mihai Mocanu, Emilian Gutuleac Understanding Distributed Program Behavior Using a Multicast Communication Scheme. Search on Bibsonomy IDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peifeng Hu, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse Fault Localization with Non-parametric Program Behavior Model. Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-parameter statistics, Fault localization
1Andrew Jensen Ko, Brad A. Myers Debugging reinvented: asking and answering why and why not questions about program behavior. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF whyline
1Frederik Vandeputte, Lieven Eeckhout Phase Complexity Surfaces: Characterizing Time-Varying Program Behavior. Search on Bibsonomy HiPEAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ben Liblit, Atanas Rountev WODA 2008: the sixth international workshop on dynamic analysis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF development of dynamic analysis tools and frameworks, efficient instrumentation techniques, fault detection and debugging, remote analysis and measurement of software systems, statistical reasoning techniques, synergies between static and dynamic analysis techniques, visualization and classification of program behavior, software testing, dynamic analysis, runtime monitoring, optimization techniques, program evolution
1Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner Introducing function extraction into software testing. Search on Bibsonomy DATA BASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF function extraction, software testing, software systems, program behavior
1Joxan Jaffar Constraint Logic Programming for program analysis. Search on Bibsonomy ACSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peng Li, Eric Wohlstadter View-based maintenance of graphical user interfaces. Search on Bibsonomy AOSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ioana Burcea, Stephen Somogyi, Andreas Moshovos, Babak Falsafi Predictor virtualization. Search on Bibsonomy ASPLOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF predictor virtualization, caches, metadata, memory hierarchy
1Alain Ketterlin, Philippe Clauss Prediction and trace compression of data access addresses through nested loop recognition. Search on Bibsonomy CGO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nested loop recognition, value prediction, data access, trace analysis, trace compression
1Domagoj 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
1Peng Li, Eric Wohlstadter Dynamic round-trip GUI maintenance. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF maintenance, gui
1Huaping Wang, Israel Koren, C. Mani Krishna An adaptive resource partitioning algorithm for SMT processors. Search on Bibsonomy PACT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simultaneous multithreading, resource partitioning
1George K. Baah, Andy Podgurski, Mary Jean Harrold The probabilistic program dependence graph and its application to fault diagnosis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF machine learning, fault diagnosis, program analysis, probabilistic graphical models
1Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha Safe open-nested transactions through ownership. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstract serializability, open-nested transactions, ownership-aware transactions, serializability by levels, serializability by modules, xmodules, transactional memory, ownership types
1Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte A programming model for concurrent object-oriented programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
1Zuohua Ding, Kao Zhang Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF continuous Petri net, Performance analysis, concurrent program, differential equation
1Fei Ren, Liang Hu, Hao Liang, Xiaobo Liu, Weiwu Ren Using Density-Based Incremental Clustering for Anomaly Detection. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Olivier Certner, Zheng Li, Pierre Palatin, Olivier Temam, Frederic Arzel, Nathalie Drach A Practical Approach for Reconciling High and Predictable Performance in Non-Regular Parallel Programs. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fei Pu, Yan Zhang Localizing Program Errors via Slicing and Reasoning. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chunying Zhao, Kang Zhang A Grammar-Based Reverse Engineering Framework for Behavior Verification. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Houman Homayoun, Alexander V. Veidenbaum, Jean-Luc Gaudiot Adaptive techniques for leakage power management in L2 cache peripheral circuits. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Juan Carlos Martinez Santos, Yunsi Fei Leveraging speculative architectures for run-time program validation. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bin Lei, Linzhang Wang, Xuandong Li UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF race condition, UML activity diagram
1Hongzhou Chen, Lingdi Ping, Xuezeng Pan, Kuijun Lu, Xiaoping Chen A Dissipative Resource Distribution policy for SMT processors. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Raimund Kirner, Peter P. Puschner Obstacles in Worst-Case Execution Time Analysis. Search on Bibsonomy ISORC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF measurement-based timing analysis, static analysis, WCET, worst-case execution time analysis
1Andrew R. Dalton, Jason O. Hallstrom A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications. Search on Bibsonomy ICPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anthony Cleve, Jean-Luc Hainaut Dynamic Analysis of SQL Statements for Data-Intensive Applications Reverse Engineering. Search on Bibsonomy WCRE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Westley Weimer, Nina Mishra Privately Finding Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF F.3.1.f Specification techniques, D.2.19 Software Quality/SQA, I.2.6 Learning, K.4.1.f Privacy
1Takashi Yokota, Kanemitsu Ootsu, Takanobu Baba Potentials of Branch Predictors: From Entropy Viewpoints. Search on Bibsonomy ARCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 354 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.