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